Run DCE after a LoopFlatten test to reduce spurious output [nfc]

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

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