Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
toolchain
/
llvm-project
/
cd23593f02db0decfa5af016b51f725c5d290d02
/
.
/
clang
/
test
/
Analysis
/
Inputs
/
Models
/
modeledFunction.model
blob: 3aff5fc1b4435f066e0389fe043be9970789b71b [
file
] [
log
] [
blame
]
Ted Kremenek
eeccb30
2014-08-27 15:14:15 +0000
[
diff
] [
blame
]
1
void
modelled
(
intptr p
)
{
2
++*
p
;
3
}