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