Sign in
kernel
/
pub
/
scm
/
devel
/
sparse
/
sparse
/
refs/heads/master
/
.
/
validation
/
context-unreachable.c
blob: 8664962ea088aaa9e425309dc27056f1905a516b [
file
] [
log
] [
blame
]
int
fun
(
void
);
static
void
foo
(
void
)
{
__context__
(
1
);
if
(!
fun
())
{
__builtin_unreachable
();
return
;
}
__context__
(-
1
);
}
/*
* check-name: context-unreachable
*/