HomeSort by relevance Sort by last modified time
    Searched refs:SymbolRegionValue (Results 1 - 5 of 5) sorted by null

  /external/clang/lib/StaticAnalyzer/Core/
SymbolManager.cpp 87 void SymbolRegionValue::dumpToStream(raw_ostream &os) const {
151 const SymbolRegionValue*
154 SymbolRegionValue::Profile(profile, R);
158 SD = (SymExpr*) BPAlloc.Allocate<SymbolRegionValue>();
159 new (SD) SymbolRegionValue(SymbolCounter, R);
164 return cast<SymbolRegionValue>(SD);
325 QualType SymbolRegionValue::getType() const {
452 KnownLive = isLiveRegion(cast<SymbolRegionValue>(sym)->getRegion());
ProgramState.cpp 712 if (const SymbolRegionValue *SRV = dyn_cast<SymbolRegionValue>(*SI))
BugReporterVisitors.cpp 884 const SymbolRegionValue *SRV =
885 dyn_cast_or_null<SymbolRegionValue>(V.getAsLocSymbol());
    [all...]
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SymbolManager.h 124 class SymbolRegionValue : public SymbolData {
128 SymbolRegionValue(SymbolID sym, const TypedValueRegion *r)
493 const SymbolRegionValue* getRegionValueSymbol(const TypedValueRegion* R);
  /external/clang/lib/StaticAnalyzer/Checkers/
GenericTaintChecker.cpp 587 const SymbolRegionValue *Sm =dyn_cast<SymbolRegionValue>(SymReg->getSymbol());

Completed in 32 milliseconds