Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
toolchain
/
llvm-project
/
c29db84419592e98e71a08d1a9fb04a3d6b51a0c
/
.
/
clang
/
test
/
Analysis
/
Inputs
/
Models
/
notzero.model
blob: 26161029d6ed6f2ce414ccae9bf2f2b588a66a7f [
file
] [
log
] [
blame
]
Ted Kremenek
eeccb30
2014-08-27 15:14:15 +0000
[
diff
] [
blame
]
1
bool
notzero
(
int
i
)
{
2
return
i
!=
0
;
3
}