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