| /* { dg-do run } */ | |
| /* { dg-additional-options "-std=c99" } */ | |
| #include <assert.h> | |
| long long decision_result; | |
| long long val; | |
| int truecount = 0; | |
| static void __attribute__((noinline)) | |
| buggy (int flag) | |
| { | |
| int condition; | |
| if(flag == 0) | |
| condition = val != 0; | |
| else | |
| condition = !decision_result; | |
| if (condition) | |
| truecount++; | |
| } | |
| int | |
| main (void) | |
| { | |
| decision_result = 1; | |
| buggy(1); | |
| assert (truecount == 0); | |
| return 0; | |
| } |