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