1 #include <stdio.h>
2 #include "analyzer-decls.h"
3 
test_1(void)4 int test_1 (void)
5 {
6   int c = getchar ();
7   return c;
8 }
9 
10 int glob_2;
test_2(void)11 int 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