/* { dg-skip-if "" { *-*-* } { "-fno-fat-lto-objects" } { "" } } */ | |
#include "../analyzer-decls.h" | |
void test (int *p, int val, int count) | |
{ | |
int n = count; | |
__analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */ | |
while (n--) | |
{ | |
__analyzer_dump_exploded_nodes (0); /* { dg-warning "3 processed enodes" } */ | |
*p++ = val; | |
} | |
__analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */ | |
} |