Cross Reference: modeledFunction.model
xref
: /
external
/
clang
/
test
/
Analysis
/
Inputs
/
Models
/
modeledFunction.model
Home
History
Annotate
Line#
Navigate
Download
only in
modeledFunction.model
modeledFunction.model revision 176edba5311f6eff0cad2631449885ddf4fbc9ea
1
void modelled(intptr p) {
2
++*p;
3
}