33 lines
705 B
C
33 lines
705 B
C
/* { dg-options "-O2 -fno-inline-functions" } */
|
|
/* { dg-do run } */
|
|
/* When there are no call-clobbered variables, we should still create
|
|
a .GLOBAL_VAR to model the side effects of functions. Without it,
|
|
we were moving the call to Faref() inside the second call to
|
|
Faset(). */
|
|
extern void abort (void);
|
|
extern void exit (int);
|
|
|
|
main ()
|
|
{
|
|
int table, c, elt;
|
|
int tem = Faref (table, elt);
|
|
Faset (table, elt, c);
|
|
Faset (table, c, tem);/* tem cannot be replaced with Faref (table, elt) */
|
|
exit (0);
|
|
}
|
|
|
|
int j = 0;
|
|
|
|
int __attribute__ ((noinline)) Faref (table, elt)
|
|
{
|
|
j = 1;
|
|
return 0;
|
|
}
|
|
|
|
int __attribute__ ((noinline)) Faset (table, elt, c)
|
|
{
|
|
if (j != 1)
|
|
abort ();
|
|
return 0;
|
|
}
|