Lines Matching defs:zero
93 const llvm::APSInt &zero = BasicVals.getZeroWithPtrWidth();
95 return assumeSymNE(state, SymR->getSymbol(), zero, zero);
97 return assumeSymEQ(state, SymR->getSymbol(), zero, zero);
161 const llvm::APSInt &zero = BasicVals.getValue(0, T);
163 return assumeSymNE(state, sym, zero, zero);
165 return assumeSymEQ(state, sym, zero, zero);
181 const llvm::APSInt &zero = BasicVals.getValue(0, T);
183 return assumeSymRel(state, SE, op, zero);
210 "Non-comparison ops should be rewritten as comparisons to zero.");