gcc/testsuite/c-c++-common/analyzer/params-2.c

   1 #include <stdlib.h>
   2 #include "analyzer-decls.h"
   3
   4 static void ensure_equal (int a, int b)
   5 {
   6   if (a != b)
   7     abort ();
   8 }
   9
  10 void test(int i, int j)
  11 {
  12   __analyzer_eval (i == j); /* { dg-warning "UNKNOWN" } */
  13
  14   ensure_equal (i, j);
  15
  16   __analyzer_eval (i == j); /* { dg-warning "TRUE" } */
  17 }