1  #include <stdio.h>
       2  #include <stdlib.h>
       3  #include "analyzer-decls.h"
       4  
       5  extern void foo ();
       6  extern void bar ();
       7  
       8  void test_1 (int i)
       9  {
      10    if (i == 42)
      11      abort ();
      12  
      13    __analyzer_eval (i != 42); /* { dg-warning "TRUE" } */
      14  }
      15  
      16  void test_2 (int i)
      17  {
      18    if (i)
      19      foo ();
      20    else
      21      bar ();
      22  
      23    foo ();
      24  
      25    if (i)
      26      foo ();
      27    else
      28      abort ();
      29  
      30    __analyzer_eval (i != 0); /* { dg-warning "TRUE" } */
      31  }
      32  
      33  /**************************************************************************/
      34  
      35  void calls_abort (const char *msg)
      36  {
      37    fprintf (stderr, "%s", msg);
      38    abort ();
      39  }
      40  
      41  void test_3 (void *ptr)
      42  {
      43    if (!ptr)
      44      calls_abort ("ptr was NULL");
      45  
      46    __analyzer_eval (ptr != 0); /* { dg-warning "TRUE" } */
      47  }
      48  
      49  /**************************************************************************/
      50  
      51  extern void marked_noreturn (const char *msg)
      52    __attribute__ ((__noreturn__));
      53  
      54  void test_4 (void *ptr)
      55  {
      56    if (!ptr)
      57      marked_noreturn ("ptr was NULL");
      58  
      59    __analyzer_eval (ptr != 0); /* { dg-warning "TRUE" } */
      60  }
      61  
      62  /**************************************************************************/
      63  
      64  /* Verify that we discover conditions from assertions if the assert macro
      65     isn't disabled, and that it has its failure-handler labelled with
      66     __attribute__ ((__noreturn__)).
      67     This attribute isn't present for all implementations of <assert.h>, so
      68     we have to test the idea using our own assert macro.  */
      69  
      70  extern void my_assert_fail (const char *expr, const char *file, int line)
      71    __attribute__ ((__noreturn__));
      72  
      73  #define MY_ASSERT(EXPR) \
      74    do { if (!(EXPR)) my_assert_fail (#EXPR, __FILE__, __LINE__); } while (0)
      75  
      76  void test_5 (int i)
      77  {
      78    MY_ASSERT (i < 10);
      79    __analyzer_eval (i < 10); /* { dg-warning "TRUE" } */
      80  }