xref
: /
minix
/
external
/
bsd
/
llvm
/
dist
/
clang
/
test
/
Analysis
/
Inputs
/
Models
/
modeledFunction.model
(revision 0a6a1f1d)
Home
History
Annotate
Line#
Scopes#
Navigate#
Raw
Download
current directory
1
void modelled(intptr p) {
2
++*p;
3
}