OSDN Git Service

2012-04-13 Tom de Vries <tom@codesourcery.com>
[pf3gnuchains/gcc-fork.git] / gcc / testsuite / gcc.dg / pr52734.c
1 /* { dg-do run } */
2 /* { dg-options "-O2" } */
3
4 int bbb = 0;
5
6 int __attribute__((noinline,noclone)) aaa(void)
7 {
8     ++bbb;
9     return 0;
10 }
11
12 int __attribute__((noinline,noclone)) ccc(void)
13 {
14   int ddd;
15   /* bbb == 0 */
16   if (aaa())
17     return bbb;
18
19   /* bbb == 1 */
20   ddd = bbb;
21   /* bbb == ddd == 1 */
22   if (aaa ())
23     return 0;
24   /* bbb == 2, ddd == 1 */
25
26   return ddd;
27 }
28
29 int main(void)
30 {
31     if (ccc() != 1)
32         __builtin_abort();
33     return 0;
34 }
35