| /freebsd-src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | DynamicExtent.cpp | 29 const MemRegion *MR, SValBuilder &SVB) { in getDynamicExtent()
40 DefinedOrUnknownSVal getElementExtent(QualType Ty, SValBuilder &SVB) { in getElementExtent()
45 static DefinedOrUnknownSVal getConstantArrayElementCount(SValBuilder &SVB, in getConstantArrayElementCount()
63 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getDynamicElementCount() local
73 SValBuilder &SVB, in getDynamicElementCount()
87 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getDynamicExtentWithOffset() local
113 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getDynamicElementCountWithOffset() local
123 DefinedOrUnknownSVal Size, SValBuilder &SVB) { in setDynamicExtent()
|
| H A D | CallEvent.cpp | 401 const ParmVarDecl *Parameter, SValBuilder &SVB) { in processArgument() argument
436 SVal ArgVal, SValBuilder &SVB) { in castArgToParamTypeIfNeeded() argument
463 SValBuilder &SVB, in addParameterValuesToBindings() argument
618 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); getInitialStackFrameContents() local
741 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); getCXXThisVal() local
824 SValBuilder &SVB = StateMgr.getSValBuilder(); getInitialStackFrameContents() local
899 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); getInitialStackFrameContents() local
942 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); getInitialStackFrameContents() local
1389 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); getInitialStackFrameContents() local
1439 SValBuilder &SVB = State->getStateManager().getSValBuilder(); getCaller() local
1463 SValBuilder &SVB = State->getStateManager().getSValBuilder(); getCaller() local
[all...] |
| H A D | SimpleSValBuilder.cpp | 236 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in isInRelation() local
253 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in isWithinConstantOverflowBounds() local
296 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in doRearrangeUnchecked() local
370 SValBuilder &SVB = StateMgr.getSValBuilder(); in tryRearrange() local
725 SimpleSValBuilder &SVB) { in evalBinOpFieldRegionFieldRegion()
1269 SValBuilder &SVB; in simplifySValOnce() member in SimpleSValBuilder::simplifySValOnce::Simplifier
|
| H A D | SimpleConstraintManager.cpp | 31 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in assumeInternal() local
|
| H A D | RangedConstraintManager.cpp | 236 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in simplifyToSVal() local
|
| H A D | ExprEngineCXX.cpp | 102 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in makeElementRegion() local
126 SValBuilder &SVB = getSValBuilder(); in computeObjectUnderConstruction() local
[all...] |
| H A D | RegionStore.cpp | 852 SValBuilder &SVB, const ClusterBindings &Cluster, in collectSubRegionBindings() argument
923 SValBuilder &SVB, const ClusterBindings &Cluster, in collectSubRegionBindings() argument
1529 getExistingLazyBinding(SValBuilder &SVB, RegionBindingsConstRef B, in getExistingLazyBinding() argument
1885 const TypedValueRegion *SubReg, const ASTContext &Ctx, SValBuilder &SVB) { in getDerivedSymbolForBinding() argument
[all...] |
| /freebsd-src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ErrnoTesterChecker.cpp | 106 SValBuilder &SVB = C.getSValBuilder(); evalSetErrnoIfError() local
123 SValBuilder &SVB = C.getSValBuilder(); evalSetErrnoIfErrorRange() local
145 SValBuilder &SVB = C.getSValBuilder(); evalSetErrnoCheckState() local
[all...] |
| H A D | BuiltinFunctionChecker.cpp | 84 SValBuilder &SVB = C.getSValBuilder(); evalCall() local
106 SValBuilder &SVB = C.getSValBuilder(); evalCall() local
|
| H A D | VLASizeChecker.cpp | 96 SValBuilder &SVB = C.getSValBuilder(); in checkVLA() local
188 SVB in checkVLAIndexSize() local
269 SValBuilder &SVB = C.getSValBuilder(); checkPreStmt() local
[all...] |
| H A D | ContainerModeling.cpp | 321 auto &SVB = C.getSValBuilder(); handleAssignment() local
435 auto &SVB = C.getSValBuilder(); handlePushBack() local
464 auto &SVB = C.getSValBuilder(); handlePopBack() local
509 auto &SVB = C.getSValBuilder(); handlePushFront() local
546 auto &SVB = C.getSValBuilder(); handlePopFront() local
671 auto &SVB = C.getSValBuilder(); handleEraseAfter() local
1004 rebaseSymbolInIteratorPositionsIf(ProgramStateRef State,SValBuilder & SVB,SymbolRef OldSym,SymbolRef NewSym,SymbolRef CondSym,BinaryOperator::Opcode Opc) rebaseSymbolInIteratorPositionsIf() argument
1019 rebaseSymbol(ProgramStateRef State,SValBuilder & SVB,SymbolRef OrigExpr,SymbolRef OldExpr,SymbolRef NewSym) rebaseSymbol() argument
[all...] |
| H A D | Iterator.cpp | 230 auto &SVB = State->getStateManager().getSValBuilder(); in advancePosition() local
265 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in assumeNoOverflow() local
304 auto &SVB = State->getStateManager().getSValBuilder(); in compare() local
|
| H A D | ArrayBoundCheckerV2.cpp | 86 computeOffset(ProgramStateRef State,SValBuilder & SVB,SVal Location) computeOffset() argument
183 compareValueToThreshold(ProgramStateRef State,NonLoc Value,NonLoc Threshold,SValBuilder & SVB,bool CheckEquality=false) compareValueToThreshold() argument
343 SValBuilder &SVB = C.getSValBuilder(); performCheck() local
[all...] |
| H A D | CXXSelfAssignmentChecker.cpp | 48 auto &SVB = C.getSValBuilder(); in checkBeginFunction() local
|
| H A D | STLAlgorithmModeling.cpp | 111 auto &SVB = C.getSValBuilder(); Find() local
|
| H A D | StreamChecker.cpp | 684 SValBuilder &SVB = C.getSValBuilder(); evalFclose() local
780 SValBuilder &SVB = C.getSValBuilder(); evalFreadFwrite() local
832 SValBuilder &SVB = C.getSValBuilder(); evalFgetx() local
927 SValBuilder &SVB = C.getSValBuilder(); evalFputx() local
972 SValBuilder &SVB = C.getSValBuilder(); evalFprintf() local
1012 SValBuilder &SVB = C.getSValBuilder(); evalFscanf() local
1124 SValBuilder &SVB = C.getSValBuilder(); evalGetdelim() local
1299 SValBuilder &SVB = C.getSValBuilder(); evalFtell() local
[all...] |
| H A D | BitwiseShiftChecker.cpp | 140 SValBuilder &SVB = Ctx.getSValBuilder(); in assumeRequirement() local
179 SValBuilder &SVB = Ctx.getSValBuilder(); in checkOvershift() local
|
| H A D | ErrnoModeling.cpp | 158 SValBuilder &SVB = C.getSValBuilder(); checkBeginFunction() local
291 SValBuilder &SVB = C.getSValBuilder(); setErrnoForStdFailure() local
|
| H A D | EnumCastOutOfRangeChecker.cpp | 40 SValBuilder &SVB; member in __anon53bf45ef0111::ConstraintBasedEQEvaluator
|
| H A D | IteratorModeling.cpp | 256 auto &SVB = C.getSValBuilder(); checkPostStmt() local
646 auto &SVB = C.getSValBuilder(); handlePtrIncrOrDecr() local
786 auto &SVB = State->getStateManager().getSValBuilder(); relateSymbols() local
|
| H A D | TrustNonnullChecker.cpp | 217 SValBuilder &SVB = InputState->getStateManager().getSValBuilder(); in addImplication() local
|
| H A D | MIGChecker.cpp | 236 SValBuilder &SVB = C.getSValBuilder(); in mayBeSuccess() local
|
| H A D | VirtualCallChecker.cpp | 173 auto &SVB = C.getSValBuilder(); in registerCtorDtorCallInState() local
|
| /freebsd-src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SimpleConstraintManager.h | 25 SValBuilder &SVB; variable
|
| H A D | SMTConstraintManager.h | 273 SValBuilder &SVB = getSValBuilder(); REGISTER_TRAIT_WITH_PROGRAMSTATE() local
|