Searched refs:getBasicVals (Results 1 – 14 of 14) sorted by relevance
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()108 BasicValueFactory &BVF = getBasicVals(); in assumeSymInclusiveRange()137 BasicValueFactory &BVF = getBasicVals(); in assumeSymUnsupported()171 BasicValueFactory &BVF = getBasicVals(); in assumeSymRel()
520 svalBuilder.makePointerToMember(getBasicVals().accumCXXBase( in VisitCast()733 nonloc::ConcreteInt Zero(getBasicVals().getValue(0, B->getType())); in VisitLogicalExpr()755 llvm::ImmutableList<SVal> vals = getBasicVals().getEmptySValList(); in VisitInitListExpr()767 vals = getBasicVals().prependSVal(V, vals); in VisitInitListExpr()1054 nonloc::ConcreteInt X(getBasicVals().getValue(0, Ex->getType())); in VisitUnaryOperator()
289 const llvm::APSInt &NewV = getBasicVals().Convert(T, *Int); in getSVal()
395 BasicValueFactory &BV = State->getBasicVals(); in tryRearrange()
1857 : RangedConstraintManager(EE, SVB), F(getBasicVals()) {} in RangeConstraintManager()2848 BasicValueFactory &BV = getBasicVals(); in checkNull()
46 ASTContext &Ctx = getBasicVals().getContext(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()68 ASTContext &Ctx = getBasicVals().getContext(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()84 ASTContext &Ctx = getBasicVals().getContext(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()113 BasicValueFactory &BVF = getBasicVals(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()248 const TargetInfo &TI = getBasicVals().getContext().getTargetInfo(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
79 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } in getBasicVals() function
186 BasicValueFactory &getBasicVals() const;549 BasicValueFactory &getBasicVals() { in getBasicVals() function834 inline BasicValueFactory &ProgramState::getBasicVals() const { in getBasicVals() function835 return getStateManager().getBasicVals(); in getBasicVals()
427 BasicValueFactory &getBasicVals() { in getBasicVals() function428 return StateMgr.getBasicVals(); in getBasicVals()
568 BasicValueFactory &getBasicVals() { return BV; } in getBasicVals() function
434 auto &BVF = SymMgr.getBasicVals(); in handlePushBack()463 auto &BVF = SymMgr.getBasicVals(); in handlePopBack()508 auto &BVF = SymMgr.getBasicVals(); in handlePushFront()545 auto &BVF = SymMgr.getBasicVals(); in handlePopFront()670 auto &BVF = SymMgr.getBasicVals(); in handleEraseAfter()
233 auto &BVF = State->getStateManager().getBasicVals(); in advancePosition()
542 auto &BVF = C.getSymbolManager().getBasicVals(); in handleIncrement()568 auto &BVF = C.getSymbolManager().getBasicVals(); in handleDecrement()
299 auto &BVF = State->getBasicVals(); in isZero()