clang/test/Analysis/Inputs/Models/modeledFunction.model - rust-lang/llvm-project - Git at Google

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