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  }