Lines Matching defs:zero
97 const llvm::APSInt &zero = getBasicVals().getZeroWithPtrWidth();
99 return assumeSymNE(state, SymR->getSymbol(), zero, zero);
101 return assumeSymEQ(state, SymR->getSymbol(), zero, zero);
138 const llvm::APSInt &zero = BVF.getValue(0, T);
140 return assumeSymNE(State, Sym, zero, zero);
142 return assumeSymEQ(State, Sym, zero, zero);
200 const llvm::APSInt &Zero = getBasicVals().getValue(0, DiffTy);
204 return assumeSymRel(state, Subtraction, Op, Zero);
246 "Non-comparison ops should be rewritten as comparisons to zero.");
