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