gcc/testsuite/gcc.dg/analyzer/malloc-paths-10.c

   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 }