llvm/clang/test/Analysis/Inputs/Models/modeledFunction.model

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