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()
548 svalBuilder.makePointerToMember(getBasicVals().accumCXXBase( in VisitCast()765 nonloc::ConcreteInt Zero(getBasicVals().getValue(0, B->getType())); in VisitLogicalExpr()787 llvm::ImmutableList<SVal> vals = getBasicVals().getEmptySValList(); in VisitInitListExpr()799 vals = getBasicVals().prependSVal(V, vals); in VisitInitListExpr()1083 nonloc::ConcreteInt X(getBasicVals().getValue(0, Ex->getType())); in VisitUnaryOperator()
290 APSIntPtr NewV = getBasicVals().Convert(T, *Int); in getSVal()
411 BasicValueFactory &BV = State->getBasicVals(); in tryRearrange()
1875 : RangedConstraintManager(EE, SVB), F(getBasicVals()) {} in RangeConstraintManager()2870 BasicValueFactory &BV = getBasicVals(); in checkNull()
50 ASTContext &Ctx = getBasicVals().getContext(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()72 ASTContext &Ctx = getBasicVals().getContext(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()88 ASTContext &Ctx = getBasicVals().getContext(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()117 BasicValueFactory &BVF = getBasicVals(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()254 const TargetInfo &TI = getBasicVals().getContext().getTargetInfo(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
79 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } in getBasicVals() function
185 BasicValueFactory &getBasicVals() const;544 BasicValueFactory &getBasicVals() { in getBasicVals() function815 inline BasicValueFactory &ProgramState::getBasicVals() const { in getBasicVals() function816 return getStateManager().getBasicVals(); in getBasicVals()
427 BasicValueFactory &getBasicVals() { in getBasicVals() function428 return StateMgr.getBasicVals(); in getBasicVals()
557 BasicValueFactory &getBasicVals() { return BV; } in getBasicVals() function
443 auto &BVF = SymMgr.getBasicVals(); in handlePushBack()472 auto &BVF = SymMgr.getBasicVals(); in handlePopBack()517 auto &BVF = SymMgr.getBasicVals(); in handlePushFront()554 auto &BVF = SymMgr.getBasicVals(); in handlePopFront()679 auto &BVF = SymMgr.getBasicVals(); in handleEraseAfter()
232 auto &BVF = State->getStateManager().getBasicVals(); in advancePosition()
543 auto &BVF = C.getSymbolManager().getBasicVals(); in handleIncrement()569 auto &BVF = C.getSymbolManager().getBasicVals(); in handleDecrement()
298 auto &BVF = State->getBasicVals(); in isZero()