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  }