xref: /llvm-project-15.0.7/clang/test/Analysis/Inputs/Models/notzero.model (revision eeccb30b)

bool notzero(int i) {
 return i != 0;
}