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 106 void SymbolRegionValue::dumpToStream(raw_ostream &os) const {
167 const SymbolRegionValue*
170 SymbolRegionValue::Profile(profile, R);
174 SD = (SymExpr*) BPAlloc.Allocate<SymbolRegionValue>();
175 new (SD) SymbolRegionValue(SymbolCounter, R);
180 return cast<SymbolRegionValue>(SD);
340 QualType SymbolRegionValue::getType(ASTContext &C) const {
492 return isa<SymbolRegionValue>(sym);
ProgramState.cpp 697 if (const SymbolRegionValue *SRV = dyn_cast<SymbolRegionValue>(*SI))
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SymbolManager.h 125 class SymbolRegionValue : public SymbolData {
129 SymbolRegionValue(SymbolID sym, const TypedValueRegion *r)
494 const SymbolRegionValue* getRegionValueSymbol(const TypedValueRegion* R);
  /external/clang/lib/StaticAnalyzer/Checkers/
GenericTaintChecker.cpp 583 const SymbolRegionValue *Sm =dyn_cast<SymbolRegionValue>(SymReg->getSymbol());

Completed in 1439 milliseconds