Home
last modified time | relevance | path

Searched refs:SymbolRegionValue (Results 1 – 9 of 9) sorted by relevance

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DSymbolManager.cpp42 StringRef SymbolRegionValue::getKindStr() const { return "reg_$"; } in getKindStr()
107 void SymbolRegionValue::dumpToStream(raw_ostream &os) const { in dumpToStream()
166 const SymbolRegionValue*
169 SymbolRegionValue::Profile(profile, R); in getRegionValueSymbol()
173 SD = (SymExpr*) BPAlloc.Allocate<SymbolRegionValue>(); in getRegionValueSymbol()
174 new (SD) SymbolRegionValue(SymbolCounter, R); in getRegionValueSymbol()
179 return cast<SymbolRegionValue>(SD); in getRegionValueSymbol()
355 QualType SymbolRegionValue::getType() const { in getType()
467 KnownLive = isLiveRegion(cast<SymbolRegionValue>(sym)->getRegion()); in isLive()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Checkers/
H A DSValExplainer.h39 if (auto S = dyn_cast<SymbolRegionValue>(R->getSymbol())) in isThisObject()
92 std::string VisitSymbolRegionValue(const SymbolRegionValue *S) { in VisitSymbolRegionValue()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSymbols.def51 SYMBOL(SymbolRegionValue, SymbolData)
H A DSymbolManager.h41 class SymbolRegionValue : public SymbolData {
45 SymbolRegionValue(SymbolID sym, const TypedValueRegion *r) in SymbolRegionValue() function
505 const SymbolRegionValue* getRegionValueSymbol(const TypedValueRegion* R);
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/cert/
H A DInvalidPtrChecker.cpp171 const auto *SRV = dyn_cast<SymbolRegionValue>(SymBase->getSymbol()); in findInvalidatedSymbolicBase()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DTaint.cpp219 if (const auto *SRV = dyn_cast<SymbolRegionValue>(*SI)) { in isTainted()
H A DCheckObjCDealloc.cpp291 if (!Symbol || !isa<SymbolRegionValue>(Symbol)) in checkBeginFunction()
514 cast<SymbolRegionValue>(IvarSymbol)->getRegion(); in diagnoseMissingReleases()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountDiagnostics.cpp436 const auto *VR = cast<VarRegion>(cast<SymbolRegionValue>(Sym)->getRegion()); in annotateStartParameter()
/llvm-project-15.0.7/clang/docs/analyzer/developer-docs/
H A DInitializerLists.rst202 immaterial, similarly to the relation between ``SymbolRegionValue`` and its parent