llvm-for-llvmta/tools/clang/test/Analysis/Inputs/Models/notzero.model

3 lines
39 B
Plaintext
Raw Permalink Normal View History

2022-04-25 13:02:35 +02:00
bool notzero(int i) {
return i != 0;
}