1 /* { dg-do run }  */
2 /* { dg-additional-options "-std=c99" }  */
3 
4 #include <assert.h>
5 
6 long long decision_result;
7 long long val;
8 int truecount = 0;
9 
10 static void __attribute__((noinline))
buggy(int flag)11 buggy (int flag)
12 {
13   int condition;
14   if(flag == 0)
15     condition = val != 0;
16   else
17     condition = !decision_result;
18   if (condition)
19      truecount++;
20 }
21 
22 int
main(void)23 main (void)
24 {
25   decision_result = 1;
26   buggy(1);
27   assert (truecount == 0);
28   return 0;
29 }
30