Searched refs:SVB (Results 1 - 25 of 27) sorted by relevance

12

/netbsd-current/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
H A DDynamicExtent.cpp29 const MemRegion *MR, SValBuilder &SVB) {
35 return MR->getMemRegionManager().getStaticSize(MR, SVB);
38 DefinedOrUnknownSVal getElementExtent(QualType Ty, SValBuilder &SVB) { argument
39 return SVB.makeIntVal(SVB.getContext().getTypeSizeInChars(Ty).getQuantity(),
40 SVB.getArrayIndexType());
45 SValBuilder &SVB,
49 DefinedOrUnknownSVal Size = getDynamicExtent(State, MR, SVB);
50 SVal ElementSize = getElementExtent(ElementTy, SVB);
53 SVB
28 getDynamicExtent(ProgramStateRef State, const MemRegion *MR, SValBuilder &SVB) argument
43 getDynamicElementCount(ProgramStateRef State, const MemRegion *MR, SValBuilder &SVB, QualType ElementTy) argument
81 setDynamicExtent(ProgramStateRef State, const MemRegion *MR, DefinedOrUnknownSVal Size, SValBuilder &SVB) argument
[all...]
H A DSimpleConstraintManager.cpp30 SValBuilder &SVB = State->getStateManager().getSValBuilder(); local
36 T = SVB.getContext().VoidPtrTy;
38 Cond = SVB.evalCast(*LV, SVB.getContext().BoolTy, T).castAs<DefinedSVal>();
H A DSimpleSValBuilder.cpp183 SValBuilder &SVB = State->getStateManager().getSValBuilder(); local
185 SVB.evalBinOpNN(State, Rel, nonloc::SymbolVal(Sym),
186 nonloc::ConcreteInt(Bound), SVB.getConditionType());
200 SValBuilder &SVB = State->getStateManager().getSValBuilder(); local
201 BasicValueFactory &BV = SVB.getBasicValueFactory();
243 SValBuilder &SVB = State->getStateManager().getSValBuilder(); local
244 BasicValueFactory &BV = SVB.getBasicValueFactory();
245 SymbolManager &SymMgr = SVB.getSymbolManager();
257 ResultTy = SVB.getConditionType();
265 return SVB
318 SValBuilder &SVB = StateMgr.getSValBuilder(); local
650 evalBinOpFieldRegionFieldRegion(const FieldRegion *LeftFR, const FieldRegion *RightFR, BinaryOperator::Opcode op, QualType resultTy, SimpleSValBuilder &SVB) argument
1121 SValBuilder &SVB; member in class:Simplifier
[all...]
H A DCallEvent.cpp471 SValBuilder &SVB,
474 MemRegionManager &MRMgr = SVB.getRegionManager();
494 Loc ParamLoc = SVB.makeLoc(
591 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); local
592 addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this,
792 SValBuilder &SVB = StateMgr.getSValBuilder(); local
795 Loc ThisLoc = SVB.getCXXThis(MD, CalleeCtx);
800 ASTContext &Ctx = SVB.getContext();
814 ThisVal = SVB.evalCast(ThisVal, Ty, StaticTy);
866 SValBuilder &SVB local
469 addParameterValuesToBindings(const StackFrameContext *CalleeCtx, CallEvent::BindingsTy &Bindings, SValBuilder &SVB, const CallEvent &Call, ArrayRef<ParmVarDecl*> parameters) argument
909 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); local
1356 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); local
1426 SValBuilder &SVB = State->getStateManager().getSValBuilder(); local
[all...]
H A DExprEngineCXX.cpp100 SValBuilder &SVB = State->getStateManager().getSValBuilder(); local
101 ASTContext &Ctx = SVB.getContext();
105 LValue = State->getLValue(Ty, SVB.makeZeroArrayIndex(), LValue);
115 SValBuilder &SVB = getSValBuilder(); local
116 MemRegionManager &MRMgr = SVB.getRegionManager();
117 ASTContext &ACtx = SVB.getContext();
136 Loc ThisPtr = SVB.getCXXThis(CurCtor, LCtx->getStackFrame());
145 return SVB.makeLoc(BaseReg);
227 return SVB.conjureSymbolVal(&TopLevelSymRegionTag, RetE, SFC, RegionTy,
H A DRegionStore.cpp858 SValBuilder &SVB, const ClusterBindings &Cluster,
870 SVal Extent = Top->getMemRegionManager().getStaticSize(Top, SVB);
876 Length = ExtentInt.getLimitedValue() * SVB.getContext().getCharWidth();
879 Length = FR->getDecl()->getBitWidthValue(SVB.getContext());
930 SValBuilder &SVB, const ClusterBindings &Cluster,
932 collectSubRegionBindings(Bindings, SVB, Cluster, Top,
1552 getExistingLazyBinding(SValBuilder &SVB, RegionBindingsConstRef B, argument
1568 if (!SVB.getContext().hasSameUnqualifiedType(RegionTy, SourceRegionTy))
1576 collectSubRegionBindings(Bindings, SVB, *B.lookup(R->getBaseRegion()), R,
857 collectSubRegionBindings(SmallVectorImpl<BindingPair> &Bindings, SValBuilder &SVB, const ClusterBindings &Cluster, const SubRegion *Top, BindingKey TopKey, bool IncludeAllDefaultBindings) argument
929 collectSubRegionBindings(SmallVectorImpl<BindingPair> &Bindings, SValBuilder &SVB, const ClusterBindings &Cluster, const SubRegion *Top, bool IncludeAllDefaultBindings) argument
H A DMemRegion.cpp734 SValBuilder &SVB) const {
736 SymbolManager &SymMgr = SVB.getSymbolManager();
743 return SVB.makeIntVal(
745 SVB.getArrayIndexType());
763 return getElementExtent(Ty, SVB);
771 DefinedOrUnknownSVal Size = getElementExtent(Ty, SVB);
H A DRangeConstraintManager.cpp1379 RangeConstraintManager(ExprEngine *EE, SValBuilder &SVB)
1380 : RangedConstraintManager(EE, SVB), F(getBasicVals()) {}
/netbsd-current/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DDynamicExtent.h27 const MemRegion *MR, SValBuilder &SVB);
30 DefinedOrUnknownSVal getElementExtent(QualType Ty, SValBuilder &SVB);
35 SValBuilder &SVB, QualType Ty);
39 DefinedOrUnknownSVal Extent, SValBuilder &SVB);
H A DSimpleConstraintManager.h25 SValBuilder &SVB; member in class:clang::ento::SimpleConstraintManager
29 : EE(exprengine), SVB(SB) {}
77 SValBuilder &getSValBuilder() const { return SVB; }
78 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); }
79 SymbolManager &getSymbolManager() const { return SVB.getSymbolManager(); }
H A DSMTConstraintManager.h272 SValBuilder &SVB = getSValBuilder();
275 return canReasonAbout(SVB.makeSymbolVal(SC->getOperand()));
279 return canReasonAbout(SVB.makeSymbolVal(SIE->getLHS()));
282 return canReasonAbout(SVB.makeSymbolVal(ISE->getRHS()));
285 return canReasonAbout(SVB.makeSymbolVal(SSE->getLHS())) &&
286 canReasonAbout(SVB.makeSymbolVal(SSE->getRHS()));
/netbsd-current/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
H A DEnumCastOutOfRangeChecker.cpp37 SValBuilder &SVB; member in class:__anon969::ConstraintBasedEQEvaluator
42 : CompareValue(CompareValue), PS(C.getState()), SVB(C.getSValBuilder()) {}
45 DefinedOrUnknownSVal EnumDeclValue = SVB.makeIntVal(EnumDeclInitValue);
47 SVB.evalEQ(PS, EnumDeclValue, CompareValue);
H A DSTLAlgorithmModeling.cpp110 auto &SVB = C.getSValBuilder(); local
113 SVal RetVal = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount());
129 SVal GreaterOrEqual = SVB.evalBinOp(StateFound, BO_GE,
132 SVB.getConditionType());
151 SVal Less = SVB.evalBinOp(StateFound, BO_LT,
154 SVB.getConditionType());
H A DVLASizeChecker.cpp96 SValBuilder &SVB = C.getSValBuilder(); local
99 SVB.getBasicValueFactory().getMaxValue(SizeTy).getZExtValue();
104 SVB.makeIntVal(EleSize.getQuantity(), SizeTy).castAs<NonLoc>();
108 if (const llvm::APSInt *KV = SVB.getKnownValue(State, ArrSize))
115 SVB.evalCast(SizeD, SizeTy, SizeE->getType()).castAs<NonLoc>();
117 SVal Mul = SVB.evalBinOpNN(State, BO_Mul, ArrSize, IndexLength, SizeTy);
124 if (const llvm::APSInt *IndexLVal = SVB.getKnownValue(State, IndexLength)) {
189 SValBuilder &SVB = C.getSValBuilder(); local
192 DefinedOrUnknownSVal Zero = SVB.makeZeroVal(SizeTy);
194 SVal LessThanZeroVal = SVB
256 SValBuilder &SVB = C.getSValBuilder(); local
[all...]
H A DCXXSelfAssignmentChecker.cpp48 auto &SVB = C.getSValBuilder(); local
50 State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame()));
51 auto Param = SVB.makeLoc(State->getRegion(MD->getParamDecl(0), LCtx));
H A DBuiltinFunctionChecker.cpp107 SValBuilder &SVB = C.getSValBuilder(); local
113 BasicValueFactory &BVF = SVB.getBasicValueFactory();
115 V = SVB.makeIntVal(Result);
123 V = SVB.makeIntVal(0, CE->getType());
H A DIterator.cpp232 auto &SVB = State->getStateManager().getSValBuilder(); local
251 Pos->setTo(SVB.evalBinOp(State, BinOp,
267 SValBuilder &SVB = State->getStateManager().getSValBuilder(); local
268 BasicValueFactory &BV = SVB.getBasicValueFactory();
278 SVB.evalBinOpNN(State, BO_LE, nonloc::SymbolVal(Sym),
279 nonloc::ConcreteInt(Max), SVB.getConditionType());
288 SVB.evalBinOpNN(State, BO_GE, nonloc::SymbolVal(Sym),
289 nonloc::ConcreteInt(Min), SVB.getConditionType());
306 auto &SVB = State->getStateManager().getSValBuilder(); local
309 SVB
[all...]
H A DContainerModeling.cpp152 ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym,
154 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB, SymbolRef Expr,
335 auto &SVB = C.getSValBuilder(); local
350 State, SVB, OldEndSym, NewEndSym, OldEndSym, BO_LT);
449 auto &SVB = C.getSValBuilder(); local
451 SVB.evalBinOp(State, BO_Add,
478 auto &SVB = C.getSValBuilder(); local
480 SVB.evalBinOp(State, BO_Sub,
523 auto &SVB = C.getSValBuilder(); local
525 SVB
560 auto &SVB = C.getSValBuilder(); local
685 auto &SVB = C.getSValBuilder(); local
[all...]
H A DTrustNonnullChecker.cpp218 SValBuilder &SVB = InputState->getStateManager().getSValBuilder();
225 SVal AntecedentV = SVB.makeSymbolVal(Antecedent);
230 SVal ConsequentS = SVB.makeSymbolVal(*Consequent);
H A DMIGChecker.cpp234 SValBuilder &SVB = C.getSValBuilder();
239 V = SVB.evalEQ(C.getState(), V, SVB.makeIntVal(MigNoReply, ACtx.IntTy));
H A DVirtualCallChecker.cpp173 auto &SVB = C.getSValBuilder(); local
178 State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame()));
192 State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame()));
H A DIteratorModeling.cpp257 auto &SVB = C.getSValBuilder();
260 SVB.makeArrayIndex(1));
652 auto &SVB = C.getSValBuilder(); local
653 SVal NegatedOffset = SVB.evalMinus(Offset.castAs<NonLoc>());
792 auto &SVB = State->getStateManager().getSValBuilder(); local
800 SVB.evalBinOp(State, BO_EQ, nonloc::SymbolVal(Sym1),
801 nonloc::SymbolVal(Sym2), SVB.getConditionType());
H A DStdLibraryFunctionsChecker.cpp616 SValBuilder &SVB = Mgr.getSValBuilder(); local
617 return SVB.getBasicValueFactory();
700 SValBuilder &SVB = Mgr.getSValBuilder(); local
701 BasicValueFactory &BVF = SVB.getBasicValueFactory();
729 SValBuilder &SVB = Mgr.getSValBuilder(); local
730 BasicValueFactory &BVF = SVB.getBasicValueFactory();
786 SValBuilder &SVB = Mgr.getSValBuilder(); local
787 QualType CondT = SVB.getConditionType();
796 OtherV = SVB.evalCast(OtherV, T, OtherT);
797 if (auto CompV = SVB
[all...]
H A DCStringChecker.cpp2098 SValBuilder &SVB = C.getSValBuilder();
2112 SVB.conjureSymbolVal(getTag(),
2121 Result = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount());
2159 SValBuilder &SVB = C.getSValBuilder(); local
2161 SVal ResultVal = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount());
/netbsd-current/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp934 SValBuilder &SVB = C.getSValBuilder(); local
936 SVB.conjureSymbolVal(nullptr, CE, LCtx, ResultTy, C.blockCount());

Completed in 330 milliseconds

12