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

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