/netbsd-current/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
H A D | DynamicExtent.cpp | 29 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 D | SimpleConstraintManager.cpp | 30 SValBuilder &SVB = State->getStateManager().getSValBuilder(); local 36 T = SVB.getContext().VoidPtrTy; 38 Cond = SVB.evalCast(*LV, SVB.getContext().BoolTy, T).castAs<DefinedSVal>();
|
H A D | SimpleSValBuilder.cpp | 183 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 D | CallEvent.cpp | 471 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 D | ExprEngineCXX.cpp | 100 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 D | RegionStore.cpp | 858 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 D | MemRegion.cpp | 734 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 D | RangeConstraintManager.cpp | 1379 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 D | DynamicExtent.h | 27 const MemRegion *MR, SValBuilder &SVB); 30 DefinedOrUnknownSVal getElementExtent(QualType Ty, SValBuilder &SVB); 35 SValBuilder &SVB, QualType Ty); 39 DefinedOrUnknownSVal Extent, SValBuilder &SVB);
|
H A D | SimpleConstraintManager.h | 25 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 D | SMTConstraintManager.h | 272 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 D | EnumCastOutOfRangeChecker.cpp | 37 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 D | STLAlgorithmModeling.cpp | 110 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 D | VLASizeChecker.cpp | 96 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 D | CXXSelfAssignmentChecker.cpp | 48 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 D | BuiltinFunctionChecker.cpp | 107 SValBuilder &SVB = C.getSValBuilder(); local 113 BasicValueFactory &BVF = SVB.getBasicValueFactory(); 115 V = SVB.makeIntVal(Result); 123 V = SVB.makeIntVal(0, CE->getType());
|
H A D | Iterator.cpp | 232 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 D | ContainerModeling.cpp | 152 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 D | TrustNonnullChecker.cpp | 218 SValBuilder &SVB = InputState->getStateManager().getSValBuilder(); 225 SVal AntecedentV = SVB.makeSymbolVal(Antecedent); 230 SVal ConsequentS = SVB.makeSymbolVal(*Consequent);
|
H A D | MIGChecker.cpp | 234 SValBuilder &SVB = C.getSValBuilder(); 239 V = SVB.evalEQ(C.getState(), V, SVB.makeIntVal(MigNoReply, ACtx.IntTy));
|
H A D | VirtualCallChecker.cpp | 173 auto &SVB = C.getSValBuilder(); local 178 State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame())); 192 State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame()));
|
H A D | IteratorModeling.cpp | 257 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 D | StdLibraryFunctionsChecker.cpp | 616 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 D | CStringChecker.cpp | 2098 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 D | RetainCountChecker.cpp | 934 SValBuilder &SVB = C.getSValBuilder(); local 936 SVB.conjureSymbolVal(nullptr, CE, LCtx, ResultTy, C.blockCount());
|