[WinEH] Emit state stores for SEH scopes (#116546)

[llvm-project.git] / clang / test / Analysis / Inputs / Models / notzero.model

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