xref
: /
illumos-gate
/
usr
/
src
/
tools
/
smatch
/
src
/
validation
/
optim
/
null-phi.c
(revision da9bf00574dd2845efcb9b791f4b44ecf1d1548c)
Home
History
Annotate
Line#
Scopes#
Navigate#
Raw
Download
current directory
1
static
int
foo
(
void
)
2
{
3
if
(0)
4
return
0;
5
}
6
7
/*
8
* check-name: null-phi
9
*/
10