Home
last modified time | relevance | path

Searched refs:SValBuilder (Results 1 – 25 of 42) sorted by relevance

12

/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSimpleConstraintManager.h25 SValBuilder &SVB;
28 SimpleConstraintManager(ExprEngine *exprengine, SValBuilder &SB) in SimpleConstraintManager()
78 SValBuilder &getSValBuilder() const { return SVB; } in getSValBuilder()
H A DEnvironment.h28 class SValBuilder; variable
76 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
H A DSVals.h49 class SValBuilder; variable
307 friend class ento::SValBuilder;
330 friend class ento::SValBuilder;
350 friend class ento::SValBuilder;
383 friend class ento::SValBuilder;
H A DSValBuilder.h53 class SValBuilder {
79 SValBuilder(llvm::BumpPtrAllocator &alloc, ASTContext &context,
82 virtual ~SValBuilder() = default;
415 SValBuilder* createSimpleSValBuilder(llvm::BumpPtrAllocator &alloc,
H A DStore.h55 SValBuilder &svalBuilder;
133 SValBuilder& getSValBuilder() { return svalBuilder; } in getSValBuilder()
H A DSMTConstraintManager.h36 clang::ento::SValBuilder &SB) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
276 SValBuilder &SVB = getSValBuilder(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
H A DProgramState.h526 std::unique_ptr<SValBuilder> svalBuilder;
555 SValBuilder &getSValBuilder() { in getSValBuilder()
559 const SValBuilder &getSValBuilder() const { in getSValBuilder()
H A DCheckerContext.h115 SValBuilder &getSValBuilder() { in getSValBuilder()
H A DExprEngine.h160 SValBuilder &svalBuilder;
208 SValBuilder &getSValBuilder() { return svalBuilder; } in getSValBuilder()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DErrnoTesterChecker.cpp108 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoIfError()
125 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoIfErrorRange()
147 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoCheckState()
H A DArrayBoundCheckerV2.cpp171 computeOffset(ProgramStateRef State, SValBuilder &SVB, SVal Location) { in computeOffset()
243 SValBuilder &svalBuilder) { in getSimplifiedOffsets()
273 static bool isNegative(SValBuilder &SVB, ProgramStateRef State, NonLoc Value) { in isNegative()
278 static bool isUnsigned(SValBuilder &SVB, NonLoc Value) { in isUnsigned()
292 SValBuilder &SVB, bool CheckEquality = false) { in compareValueToThreshold()
562 SValBuilder &SVB = C.getSValBuilder(); in performCheck()
H A DVLASizeChecker.cpp96 SValBuilder &SVB = C.getSValBuilder(); in checkVLA()
182 SValBuilder &SVB = C.getSValBuilder(); in checkVLAIndexSize()
269 SValBuilder &SVB = C.getSValBuilder(); in checkPreStmt()
H A DCStringChecker.cpp369 SValBuilder &svalBuilder = C.getSValBuilder(); in REGISTER_MAP_WITH_PROGRAMSTATE()
406 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getIndex()
458 SValBuilder &SVB = C.getSValBuilder(); in checkInit()
605 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckBufferAccess()
700 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckOverlap()
913 SValBuilder &svalBuilder = C.getSValBuilder(); in checkAdditionOverflow()
1010 SValBuilder &svalBuilder = C.getSValBuilder(); in getCStringLengthForRegion()
1070 SValBuilder &svalBuilder = C.getSValBuilder(); in getCStringLength()
1082 SValBuilder &SvalBuilder = C.getSValBuilder(); in getCStringLength()
1156 SValBuilder &SB = C.getSValBuilder(); in isFirstBufInBound()
[all …]
H A DErrnoModeling.cpp115 SValBuilder &SVB = C.getSValBuilder(); in checkBeginFunction()
246 SValBuilder &SVB = C.getSValBuilder(); in setErrnoForStdFailure()
H A DBuiltinFunctionChecker.cpp130 SValBuilder &SVB = C.getSValBuilder(); in evalCall()
H A DCastSizeChecker.cpp113 SValBuilder &svalBuilder = C.getSValBuilder(); in checkPreStmt()
H A DPointerSubChecker.cpp68 SValBuilder &SVB = C.getSValBuilder(); in checkArrayBounds()
H A DContainerModeling.cpp143 ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym,
145 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB, SymbolRef Expr,
1013 ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym, in rebaseSymbolInIteratorPositionsIf()
1028 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB, in rebaseSymbol()
H A DSetgidSetuidOrderChecker.cpp93 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in evalAssume()
H A DMIGChecker.cpp236 SValBuilder &SVB = C.getSValBuilder(); in mayBeSuccess()
H A DTrustNonnullChecker.cpp217 SValBuilder &SVB = InputState->getStateManager().getSValBuilder(); in addImplication()
H A DMallocChecker.cpp1133 SValBuilder &SB = C.getSValBuilder(); in evalMulForBufferSize()
1305 SValBuilder &svalBuilder = C.getSValBuilder(); in checkGMalloc0()
1335 SValBuilder &SB = C.getSValBuilder(); in checkGMallocN0()
1387 SValBuilder &SVB = C.getSValBuilder(); in checkGetdelim()
1505 SValBuilder &SvalBuilder = State->getStateManager().getSValBuilder(); in ProcessZeroAllocCheck()
1723 SValBuilder &SVB = C.getSValBuilder(); in checkTaintedness()
1769 SValBuilder &SVB = C.getSValBuilder(); in MallocMemAux()
2633 SValBuilder &svalBuilder = C.getSValBuilder(); in ReallocMemAux()
2731 SValBuilder &svalBuilder = C.getSValBuilder(); in CallocMem()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DCallEvent.cpp401 const ParmVarDecl *Parameter, SValBuilder &SVB) { in processArgument()
436 SVal ArgVal, SValBuilder &SVB) { in castArgToParamTypeIfNeeded()
463 SValBuilder &SVB, in addParameterValuesToBindings()
618 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
741 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getCXXThisVal()
824 SValBuilder &SVB = StateMgr.getSValBuilder(); in getInitialStackFrameContents()
899 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
942 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
1389 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
1442 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller()
[all …]
H A DCheckerContext.cpp152 SValBuilder &Bldr = Mgr.getSValBuilder(); in evalComparison()
H A DRangedConstraintManager.cpp236 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in simplifyToSVal()

12