Clang Project

clang_source_code/test/Analysis/Inputs/Models/modeledFunction.model
1void modelled(intptr p) {
2 ++*p;
3}