Home
last modified time | relevance | path

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

/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DSymbolManager.cpp111 void SymbolRegionValue::dumpToStream(raw_ostream &os) const { in dumpToStream()
168 const SymbolRegionValue*
171 SymbolRegionValue::Profile(profile, R); in getRegionValueSymbol()
175 SD = (SymExpr*) BPAlloc.Allocate<SymbolRegionValue>(); in getRegionValueSymbol()
176 new (SD) SymbolRegionValue(SymbolCounter, R); in getRegionValueSymbol()
181 return cast<SymbolRegionValue>(SD); in getRegionValueSymbol()
341 QualType SymbolRegionValue::getType() const { in getType()
469 KnownLive = isLiveRegion(cast<SymbolRegionValue>(sym)->getRegion()); in isLive()
H A DProgramState.cpp810 if (const SymbolRegionValue *SRV = dyn_cast<SymbolRegionValue>(*SI)) { in isTainted()
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Checkers/
H A DSValExplainer.h38 if (auto S = dyn_cast<SymbolRegionValue>(R->getSymbol())) in isThisObject()
91 std::string VisitSymbolRegionValue(const SymbolRegionValue *S) { in VisitSymbolRegionValue()
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSymbols.def50 SYMBOL(SymbolRegionValue, SymbolData)
H A DSymbolManager.h42 class SymbolRegionValue : public SymbolData {
46 SymbolRegionValue(SymbolID sym, const TypedValueRegion *r) in SymbolRegionValue() function
485 const SymbolRegionValue* getRegionValueSymbol(const TypedValueRegion* R);
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DGenericTaintChecker.cpp596 const SymbolRegionValue *Sm = in isStdin()
597 dyn_cast<SymbolRegionValue>(SymReg->getSymbol()); in isStdin()
H A DCheckObjCDealloc.cpp292 if (!Symbol || !isa<SymbolRegionValue>(Symbol)) in checkBeginFunction()
515 cast<SymbolRegionValue>(IvarSymbol)->getRegion(); in diagnoseMissingReleases()