Searched refs:getBasicVals (Results 1 – 14 of 14) sorted by relevance
63 const llvm::APSInt &Zero = getBasicVals().getValue(0, DiffTy); in assumeSym()80 const llvm::APSInt &Zero = getBasicVals().getValue(0, ExprType); in assumeSym()102 BasicValueFactory &BVF = getBasicVals(); in assumeSymInclusiveRange()131 BasicValueFactory &BVF = getBasicVals(); in assumeSymUnsupported()165 BasicValueFactory &BVF = getBasicVals(); in assumeSymRel()
515 svalBuilder.makePointerToMember(getBasicVals().accumCXXBase( in VisitCast()728 nonloc::ConcreteInt Zero(getBasicVals().getValue(0, B->getType())); in VisitLogicalExpr()750 llvm::ImmutableList<SVal> vals = getBasicVals().getEmptySValList(); in VisitInitListExpr()763 vals = getBasicVals().prependSVal(V, vals); in VisitInitListExpr()1049 nonloc::ConcreteInt X(getBasicVals().getValue(0, Ex->getType())); in VisitUnaryOperator()
294 const llvm::APSInt &NewV = getBasicVals().Convert(T, *Int); in getSVal()
360 BasicValueFactory &BV = State->getBasicVals(); in tryRearrange()
1593 : RangedConstraintManager(EE, SVB), F(getBasicVals()) {} in RangeConstraintManager()2233 BasicValueFactory &BV = getBasicVals(); in checkNull()
45 ASTContext &Ctx = getBasicVals().getContext(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()67 ASTContext &Ctx = getBasicVals().getContext(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()83 ASTContext &Ctx = getBasicVals().getContext(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()112 BasicValueFactory &BVF = getBasicVals(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()247 const TargetInfo &TI = getBasicVals().getContext().getTargetInfo(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
78 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } in getBasicVals() function
148 BasicValueFactory &getBasicVals() const;509 BasicValueFactory &getBasicVals() { in getBasicVals() function794 inline BasicValueFactory &ProgramState::getBasicVals() const { in getBasicVals() function795 return getStateManager().getBasicVals(); in getBasicVals()
424 BasicValueFactory &getBasicVals() { in getBasicVals() function425 return StateMgr.getBasicVals(); in getBasicVals()
501 BasicValueFactory &getBasicVals() { return BV; } in getBasicVals() function
448 auto &BVF = SymMgr.getBasicVals(); in handlePushBack()477 auto &BVF = SymMgr.getBasicVals(); in handlePopBack()522 auto &BVF = SymMgr.getBasicVals(); in handlePushFront()559 auto &BVF = SymMgr.getBasicVals(); in handlePopFront()684 auto &BVF = SymMgr.getBasicVals(); in handleEraseAfter()
233 auto &BVF = State->getStateManager().getBasicVals(); in advancePosition()
543 auto &BVF = C.getSymbolManager().getBasicVals(); in handleIncrement()569 auto &BVF = C.getSymbolManager().getBasicVals(); in handleDecrement()
299 auto &BVF = State->getBasicVals(); in isZero()