Searched refs:SymbolConjured (Results 1 – 6 of 6) 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 | 73 class SymbolConjured : public SymbolData {
81 SymbolConjured(SymbolID sym, const Stmt *s, const LocationContext *lctx, in SymbolConjured() function
415 const SymbolConjured* conjureSymbol(const Stmt *E,
421 const SymbolConjured* conjureSymbol(const Expr *E,
|
| D | SValBuilder.h | 150 const SymbolConjured* conjureSymbol(const Stmt *stmt,
158 const SymbolConjured* conjureSymbol(const Expr *expr,
|
| D | Symbols.def | 46 SYMBOL(SymbolConjured, SymbolData)
|
| /external/clang/include/clang/StaticAnalyzer/Checkers/ |
| D | SValExplainer.h | 100 std::string VisitSymbolConjured(const SymbolConjured *S) { in VisitSymbolConjured()
|