1/* { dg-do run } */ 2/* { dg-additional-options "-std=c99" } */ 3 4#include <assert.h> 5 6long long decision_result; 7long long val; 8int truecount = 0; 9 10static void __attribute__((noinline)) 11buggy (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 22int 23main (void) 24{ 25 decision_result = 1; 26 buggy(1); 27 assert (truecount == 0); 28 return 0; 29} 30