Sign in
android
/
platform
/
external
/
google-fruit
/
251e883e3e52a6f706833803c9f3043dfb2c9583
/
.
/
configuration
/
bazel
/
msvc_assume.cpp
blob: cd9f6ed28743244192b7fca246f05b105240a6b2 [
file
] [
log
] [
blame
]
int
f
()
{
static
int
x
=
1
;
if
(
x
==
1
)
{
return
0
;
}
else
{
__assume
(
0
);
// Note: the lack of return here is intentional
}
}
int
main
()
{
return
f
();
}