Lines Matching defs:Zero

45     const llvm::APSInt &Zero = getBasicVals().getValue(0, SIE->getType());
46     return assumeSymRel(State, SIE, (Assumption ? BO_NE : BO_EQ), Zero);
68         const llvm::APSInt &Zero = getBasicVals().getValue(0, DiffTy);
72         return assumeSymRel(State, Subtraction, Op, Zero);
85         const llvm::APSInt &Zero = getBasicVals().getValue(0, ExprType);
88           return assumeSymNE(State, CanonicalEquality, Zero, Zero);
91         return assumeSymEQ(State, CanonicalEquality, Zero, Zero);
145   const llvm::APSInt &Zero = BVF.getValue(0, T);
147     return assumeSymNE(State, Sym, Zero, Zero);
149     return assumeSymEQ(State, Sym, Zero, Zero);