Lines Matching refs:APSInt

45     const llvm::APSInt &Zero = getBasicVals().getValue(0, SIE->getType());  in assumeSym()
68         const llvm::APSInt &Zero = getBasicVals().getValue(0, DiffTy);  in assumeSym()
85         const llvm::APSInt &Zero = getBasicVals().getValue(0, ExprType);  in assumeSym()
102     ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From,  in assumeSymInclusiveRange()
103     const llvm::APSInt &To, bool InRange) {  in assumeSymInclusiveRange()
111   llvm::APSInt Adjustment = WraparoundType.getZeroValue();  in assumeSymInclusiveRange()
117   llvm::APSInt ConvertedFrom = ComparisonType.convert(From);  in assumeSymInclusiveRange()
118   llvm::APSInt ConvertedTo = ComparisonType.convert(To);  in assumeSymInclusiveRange()
145   const llvm::APSInt &Zero = BVF.getValue(0, T);  in assumeSymUnsupported()
155                                                       const llvm::APSInt &Int) {  in assumeSymRel()
181   llvm::APSInt Adjustment = WraparoundType.getZeroValue();  in assumeSymRel()
186   llvm::APSInt ConvertedInt = ComparisonType.convert(Int);  in assumeSymRel()
218                                                 llvm::APSInt &Adjustment) {  in computeAdjustment()