Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/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 = new (BPAlloc) SymbolRegionValue(SymbolCounter, R); in getRegionValueSymbol()
178 return cast<SymbolRegionValue>(SD); in getRegionValueSymbol()
345 QualType SymbolRegionValue::getType() const { in getType()
469 KnownLive = isReadableRegion(cast<SymbolRegionValue>(sym)->getRegion()); in isLive()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/
H A DSValExplainer.h39 if (auto S = dyn_cast<SymbolRegionValue>(R->getSymbol())) in isThisObject()
104 std::string VisitSymbolRegionValue(const SymbolRegionValue *S) { in VisitSymbolRegionValue()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSymbols.def51 SYMBOL(SymbolRegionValue, SymbolData)
H A DSymbolManager.h42 class SymbolRegionValue : public SymbolData {
46 SymbolRegionValue(SymbolID sym, const TypedValueRegion *r) in SymbolRegionValue() function
506 const SymbolRegionValue* getRegionValueSymbol(const TypedValueRegion* R);
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/cert/
H A DInvalidPtrChecker.cpp237 const auto *SRV = dyn_cast<SymbolRegionValue>(SymBase->getSymbol()); in findInvalidatedSymbolicBase()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DCheckObjCDealloc.cpp297 if (!Symbol || !isa<SymbolRegionValue>(Symbol)) in checkBeginFunction()
522 cast<SymbolRegionValue>(IvarSymbol)->getRegion(); in diagnoseMissingReleases()
H A DTaint.cpp301 if (const auto *SRV = dyn_cast<SymbolRegionValue>(SubSym)) { in getTaintedSymbolsImpl()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountDiagnostics.cpp436 const auto *VR = cast<VarRegion>(cast<SymbolRegionValue>(Sym)->getRegion()); in annotateStartParameter()