gcc/testsuite/c-c++-common/analyzer/getchar-1.c

   1 /* { dg-skip-if "" { powerpc*-*-aix* } } */
   2
   3 #include <stdio.h>
   4 #include "../../gcc.dg/analyzer/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 }