xref
: /
illumos-gate
/
usr
/
src
/
tools
/
smatch
/
src
/
validation
/
optim
/
null-phi.c
(revision 63f91fbc3c024870d86dc3332a4a0080fb29bc40)
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