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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

#include "analyzer-decls.h"

static void __attribute__((noinline))
__analyzer_callee_1 (void)
{
  /* empty.  */
}

void
test_1 (int flag)
{
  if (flag)
    __analyzer_callee_1 ();

  /* Verify that we merge state, whether or not the call happens.  */
  __analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */
}