gcc/testsuite/gcc.dg/analyzer/paths-2.c

   1 #include "analyzer-decls.h"
   2
   3 int test (int a)
   4 {
   5   if (a != 42 && a != 113) {
   6     return (-2);
   7   }
   8
   9   __analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */
  10
  11   return 0;
  12 }
  13
  14 int test_2 (int a)
  15 {
  16   if (a != 42 && a != 113 && a != 666) {
  17     return (-2);
  18   }
  19
  20   __analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */
  21
  22   return 0;
  23 }