#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" } */
}