Searched refs:SymbolConjured (Results 1 – 4 of 4) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SymbolManager.cpp | 67 void SymbolConjured::dumpToStream(raw_ostream &os) const { in dumpToStream()
166 const SymbolConjured* SymbolManager::conjureSymbol(const Stmt *E, in conjureSymbol()
172 SymbolConjured::Profile(profile, E, T, Count, LCtx, SymbolTag); in conjureSymbol()
176 SD = (SymExpr*) BPAlloc.Allocate<SymbolConjured>(); in conjureSymbol()
177 new (SD) SymbolConjured(SymbolCounter, E, LCtx, T, Count, SymbolTag); in conjureSymbol()
182 return cast<SymbolConjured>(SD); in conjureSymbol()
307 QualType SymbolConjured::getType() const { in getType()
|
| D | SVals.cpp | 35 if (isa<SymbolConjured>(sym)) in hasConjuredSymbol()
43 if (isa<SymbolConjured>(sym)) in hasConjuredSymbol()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SymbolManager.h | 154 class SymbolConjured : public SymbolData {
162 SymbolConjured(SymbolID sym, const Stmt *s, const LocationContext *lctx, in SymbolConjured() function
497 const SymbolConjured* conjureSymbol(const Stmt *E,
503 const SymbolConjured* conjureSymbol(const Expr *E,
|
| D | SValBuilder.h | 145 const SymbolConjured* conjureSymbol(const Stmt *stmt,
153 const SymbolConjured* conjureSymbol(const Expr *expr,
|