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

  /external/clang/lib/StaticAnalyzer/Core/
SymbolManager.cpp 87 void SymbolRegionValue::dumpToStream(raw_ostream &os) const {
150 const SymbolRegionValue*
153 SymbolRegionValue::Profile(profile, R);
157 SD = (SymExpr*) BPAlloc.Allocate<SymbolRegionValue>();
158 new (SD) SymbolRegionValue(SymbolCounter, R);
163 return cast<SymbolRegionValue>(SD);
324 QualType SymbolRegionValue::getType() const {
450 KnownLive = isLiveRegion(cast<SymbolRegionValue>(sym)->getRegion());
ProgramState.cpp 741 if (const SymbolRegionValue *SRV = dyn_cast<SymbolRegionValue>(*SI))
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SymbolManager.h 124 class SymbolRegionValue : public SymbolData {
128 SymbolRegionValue(SymbolID sym, const TypedValueRegion *r)
495 const SymbolRegionValue* getRegionValueSymbol(const TypedValueRegion* R);
  /external/clang/lib/StaticAnalyzer/Checkers/
GenericTaintChecker.cpp 586 const SymbolRegionValue *Sm =dyn_cast<SymbolRegionValue>(SymReg->getSymbol());

Completed in 141 milliseconds