Home
last modified time | relevance | path

Searched refs:getSymbolID (Results 1 – 4 of 4) sorted by relevance

/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DSymbolManager.cpp86 os << "conj_$" << getSymbolID() << '{' << T.getAsString() << ", LC" in dumpToStream()
96 os << "derived_$" << getSymbolID() << '{' in dumpToStream()
101 os << "extent_$" << getSymbolID() << '{' << getRegion() << '}'; in dumpToStream()
105 os << "meta_$" << getSymbolID() << '{' in dumpToStream()
112 os << "reg_$" << getSymbolID() in dumpToStream()
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSymExpr.h130 SymbolID getSymbolID() const { return Sym; } in getSymbolID() function
H A DSMTConstraintManager.h120 SMTConv::fromData(Solver, SD->getSymbolID(), Ty, Ctx.getTypeSize(Ty)); in getSymVal()
H A DSMTConv.h415 return fromData(Solver, SD->getSymbolID(), Sym->getType(), in getSymExpr()