Sign in
gnu
/
gcc
/
ab810952eb7c061e37054ddd1dfe0aa033365131
/
.
/
gcc
/
testsuite
/
gcc.dg
/
analyzer
/
paths-1.c
blob: df5b3a660844e75d11980af27817e97be0cf67e4 [
file
] [
log
] [
blame
]
#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 "1 processed enode" } */
}