1 #include <stdio.h> 2 #include "analyzer-decls.h" 3 test_1(void)4int test_1 (void) 5 { 6 int c = getchar (); 7 return c; 8 } 9 10 int glob_2; test_2(void)11int test_2 (void) 12 { 13 int c; 14 glob_2 = 42; 15 __analyzer_eval (glob_2 == 42); /* { dg-warning "TRUE" } */ 16 c = getchar (); 17 __analyzer_eval (glob_2 == 42); /* { dg-warning "TRUE" } */ 18 return c; 19 } 20