Searched refs:getBasicVals (Results 1 – 12 of 12) 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()
302 const llvm::APSInt &NewV = getBasicVals().Convert(T, *Int); in getSVal()
1857 : RangedConstraintManager(EE, SVB), F(getBasicVals()) {} in RangeConstraintManager()2855 BasicValueFactory &BV = getBasicVals(); in checkNull()
49 ASTContext &Ctx = getBasicVals().getContext(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()71 ASTContext &Ctx = getBasicVals().getContext(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()87 ASTContext &Ctx = getBasicVals().getContext(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()116 BasicValueFactory &BVF = getBasicVals(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()251 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;551 BasicValueFactory &getBasicVals() { in getBasicVals() function822 inline BasicValueFactory &ProgramState::getBasicVals() const { in getBasicVals() function823 return getStateManager().getBasicVals(); in getBasicVals()
419 BasicValueFactory &getBasicVals() { in getBasicVals() function420 return StateMgr.getBasicVals(); in getBasicVals()
569 BasicValueFactory &getBasicVals() { return BV; } in 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()
539 auto &BVF = C.getSymbolManager().getBasicVals(); in handleIncrement()565 auto &BVF = C.getSymbolManager().getBasicVals(); in handleDecrement()
298 auto &BVF = State->getBasicVals(); in isZero()