gcc/testsuite/gcc.dg/analyzer/paths-1.c

#include "analyzer-decls.h"

struct foo
{
  int m_flag;
};

extern void bar (int);

void test (struct foo *pf)
{
  if (pf->m_flag)
    bar (0);
  else
    bar (1);
  __analyzer_dump_exploded_nodes (0); /* { dg-warning "3 exploded nodes" } */
  __analyzer_dump_exploded_nodes (0); /* { dg-warning "1 exploded node" } */
}