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()
512 svalBuilder.makePointerToMember(getBasicVals().accumCXXBase( in VisitCast()726 nonloc::ConcreteInt Zero(getBasicVals().getValue(0, B->getType())); in VisitLogicalExpr()748 llvm::ImmutableList<SVal> vals = getBasicVals().getEmptySValList(); in VisitInitListExpr()760 vals = getBasicVals().prependSVal(V, vals); in VisitInitListExpr()1043 nonloc::ConcreteInt X(getBasicVals().getValue(0, Ex->getType())); in VisitUnaryOperator()
291 APSIntPtr NewV = getBasicVals().Convert(T, *Int); in getSVal()
411 BasicValueFactory &BV = State->getBasicVals(); in tryRearrange()
1875 : RangedConstraintManager(EE, SVB), F(getBasicVals()) {}2870 BasicValueFactory &BV = getBasicVals(); in getSymVal()
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;543 BasicValueFactory &getBasicVals() {814 inline BasicValueFactory &ProgramState::getBasicVals() const { in getRawSVal() 815 return getStateManager().getBasicVals();551 BasicValueFactory &getBasicVals() { getBasicVals() function 822 inline BasicValueFactory &ProgramState::getBasicVals() const { getBasicVals() function
423 BasicValueFactory &getBasicVals() { in getSymbolManager() 424 return StateMgr.getBasicVals(); in getRegionManager() 419 BasicValueFactory &getBasicVals() { getBasicVals() function
562 BasicValueFactory &getBasicVals() { return BV; }569 BasicValueFactory &getBasicVals() { return BV; } getBasicVals() function
439 auto &BVF = SymMgr.getBasicVals(); in handlePushBack()468 auto &BVF = SymMgr.getBasicVals(); in handlePopBack()513 auto &BVF = SymMgr.getBasicVals(); in handlePushFront()550 auto &BVF = SymMgr.getBasicVals(); in handlePopFront()675 auto &BVF = SymMgr.getBasicVals(); in handleEraseAfter()
231 auto &BVF = State->getStateManager().getBasicVals(); in advancePosition()
539 auto &BVF = C.getSymbolManager().getBasicVals(); in handleIncrement() 565 auto &BVF = C.getSymbolManager().getBasicVals(); in handleDecrement()
298 auto &BVF = State->getBasicVals(); in isZero()