Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Core/
DSymbolManager.cpp87 void SymbolRegionValue::dumpToStream(raw_ostream &os) const { in dumpToStream()
150 const SymbolRegionValue*
153 SymbolRegionValue::Profile(profile, R); in getRegionValueSymbol()
157 SD = (SymExpr*) BPAlloc.Allocate<SymbolRegionValue>(); in getRegionValueSymbol()
158 new (SD) SymbolRegionValue(SymbolCounter, R); in getRegionValueSymbol()
163 return cast<SymbolRegionValue>(SD); in getRegionValueSymbol()
324 QualType SymbolRegionValue::getType() const { in getType()
462 KnownLive = isLiveRegion(cast<SymbolRegionValue>(sym)->getRegion()); in isLive()
DProgramState.cpp741 if (const SymbolRegionValue *SRV = dyn_cast<SymbolRegionValue>(*SI)) in isTainted()
/external/clang/include/clang/StaticAnalyzer/Checkers/
DSValExplainer.h38 if (auto S = dyn_cast<SymbolRegionValue>(R->getSymbol())) in isThisObject()
91 std::string VisitSymbolRegionValue(const SymbolRegionValue *S) { in VisitSymbolRegionValue()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSymbolManager.h42 class SymbolRegionValue : public SymbolData {
46 SymbolRegionValue(SymbolID sym, const TypedValueRegion *r) in SymbolRegionValue() function
413 const SymbolRegionValue* getRegionValueSymbol(const TypedValueRegion* R);
DSymbols.def50 SYMBOL(SymbolRegionValue, SymbolData)
/external/clang/lib/StaticAnalyzer/Checkers/
DGenericTaintChecker.cpp586 const SymbolRegionValue *Sm =dyn_cast<SymbolRegionValue>(SymReg->getSymbol()); in isStdin()
DCheckObjCDealloc.cpp298 if (!Symbol || !isa<SymbolRegionValue>(Symbol)) in checkBeginFunction()
521 cast<SymbolRegionValue>(IvarSymbol)->getRegion(); in diagnoseMissingReleases()