Home
last modified time | relevance | path

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

/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSymbolManager.cpp42 StringRef SymbolRegionValue::getKindStr() const { return "reg_$"; } in getKindStr()
99 void SymbolRegionValue::dumpToStream(raw_ostream &os) const { in dumpToStream()
156 const SymbolRegionValue*
159 SymbolRegionValue::Profile(profile, R); in getRegionValueSymbol()
163 SD = (SymExpr*) BPAlloc.Allocate<SymbolRegionValue>(); in getRegionValueSymbol()
164 new (SD) SymbolRegionValue(SymbolCounter, R); in getRegionValueSymbol()
169 return cast<SymbolRegionValue>(SD); in getRegionValueSymbol()
329 QualType SymbolRegionValue::getType() const { in getType()
453 KnownLive = isLiveRegion(cast<SymbolRegionValue>(sym)->getRegion()); in isLive()
/freebsd-13.1/contrib/llvm-project/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()
/freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSymbols.def49 SYMBOL(SymbolRegionValue, SymbolData)
H A DSymbolManager.h41 class SymbolRegionValue : public SymbolData {
45 SymbolRegionValue(SymbolID sym, const TypedValueRegion *r) in SymbolRegionValue() function
441 const SymbolRegionValue* getRegionValueSymbol(const TypedValueRegion* R);
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DTaint.cpp217 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()
H A DGenericTaintChecker.cpp772 const auto *Sm = dyn_cast<SymbolRegionValue>(SymReg->getSymbol()); in isStdin()
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountDiagnostics.cpp442 const auto *VR = cast<VarRegion>(cast<SymbolRegionValue>(Sym)->getRegion()); in annotateStartParameter()