1  #include <stdlib.h>
       2  #include "analyzer-decls.h"
       3  
       4  int test (int flag)
       5  {
       6    int other_flag;
       7    if (flag)
       8      other_flag = 1;
       9    else
      10      other_flag = 0;
      11  
      12    /* With state-merging, we lose the relationship between 'flag' and 'other_flag'.  */
      13    __analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */
      14  
      15    if (other_flag)
      16      __analyzer_eval (flag); /* { dg-warning "UNKNOWN" } */
      17    else
      18      __analyzer_eval (flag); /* { dg-warning "UNKNOWN" } */
      19  }