Sign in
rust
/
rust-lang
/
llvm-project
/
c39e100ad3cbb4c1b587224a6be2bb732c1d6bf4
/
.
/
clang
/
test
/
Analysis
/
Inputs
/
Models
/
modeledFunction.model
blob: 3aff5fc1b4435f066e0389fe043be9970789b71b [
file
] [
log
] [
blame
]
void
modelled
(
intptr p
)
{
++*
p
;
}
