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