llvm-for-llvmta/tools/clang/test/Analysis/Inputs/Models/modeledFunction.model

void modelled(intptr p) {
 ++*p;
}