annotate gcc/testsuite/gcc.dg/pr20100.c @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* { dg-do run } */
kono
parents:
diff changeset
2 /* { dg-options "-O2" } */
kono
parents:
diff changeset
3
kono
parents:
diff changeset
4 int func_pure (void) __attribute__ ((pure));
kono
parents:
diff changeset
5 void func_other (int);
kono
parents:
diff changeset
6 int global_int;
kono
parents:
diff changeset
7 void abort ();
kono
parents:
diff changeset
8 void func_other(int a)
kono
parents:
diff changeset
9 {
kono
parents:
diff changeset
10 if (a != global_int)
kono
parents:
diff changeset
11 abort ();
kono
parents:
diff changeset
12 global_int++;
kono
parents:
diff changeset
13 }
kono
parents:
diff changeset
14
kono
parents:
diff changeset
15 int func_pure(void)
kono
parents:
diff changeset
16 {
kono
parents:
diff changeset
17 return global_int;
kono
parents:
diff changeset
18 }
kono
parents:
diff changeset
19
kono
parents:
diff changeset
20 int
kono
parents:
diff changeset
21 func_loop (int arg)
kono
parents:
diff changeset
22 {
kono
parents:
diff changeset
23 // global_int ++;
kono
parents:
diff changeset
24 while (arg--)
kono
parents:
diff changeset
25 func_other (func_pure ());
kono
parents:
diff changeset
26 }
kono
parents:
diff changeset
27
kono
parents:
diff changeset
28 int main(void)
kono
parents:
diff changeset
29 {
kono
parents:
diff changeset
30 func_loop(10);
kono
parents:
diff changeset
31 return 0;
kono
parents:
diff changeset
32 }