Sign in
kernel
/
pub
/
scm
/
devel
/
sparse
/
sparse
/
f379325b2c35cd740a1b73b0b4378286886343ac
/
.
/
validation
/
linear
/
missing-return2.c
blob: 395dcc143e29208acba49ed76da9d64ccc82b89a [
file
] [
log
] [
blame
]
static
int
foo
(
int
a
)
{
switch
(
a
)
case
3
:
return
4
;
}
/*
* check-name: missing-return2
* check-command: sparse -vir -flinearize=last $file
*/