Mercurial > hg > CbC > CbC_gcc

view gcc/testsuite/gcc.dg/analyzer/malloc-paths-10.c @ 158:494b0b89df80 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 1830386684a0
children
line wrap: on
line source

#include <stdlib.h>
#include "analyzer-decls.h"

int test (int flag)
{
  int other_flag;
  if (flag)
    other_flag = 1;
  else
    other_flag = 0;

  /* With state-merging, we lose the relationship between 'flag' and 'other_flag'.  */
  __analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */

  if (other_flag)
    __analyzer_eval (flag); /* { dg-warning "UNKNOWN" } */
  else
    __analyzer_eval (flag); /* { dg-warning "UNKNOWN" } */
}