Searched refs:SymbolConjured (Results 1 – 8 of 8) sorted by relevance
| /openbsd/src/gnu/llvm/clang/lib/StaticAnalyzer/Core/ |
| D | SymbolManager.cpp | 38 StringRef SymbolConjured::getKindStr() const { return "conj_$"; } in getKindStr()
83 void SymbolConjured::dumpToStream(raw_ostream &os) const { in dumpToStream()
182 const SymbolConjured* SymbolManager::conjureSymbol(const Stmt *E, in conjureSymbol()
188 SymbolConjured::Profile(profile, E, T, Count, LCtx, SymbolTag); in conjureSymbol()
192 SD = (SymExpr*) BPAlloc.Allocate<SymbolConjured>(); in conjureSymbol()
193 new (SD) SymbolConjured(SymbolCounter, E, LCtx, T, Count, SymbolTag); in conjureSymbol()
198 return cast<SymbolConjured>(SD); in conjureSymbol()
338 QualType SymbolConjured::getType() const { in getType()
|
| /openbsd/src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| D | MismatchedIteratorChecker.cpp | 211 if (isa<SymbolConjured>(ContSym->getSymbol())) in verifyMatch()
227 if (isa<SymbolConjured>(ContSym->getSymbol())) in verifyMatch()
257 if (isa<SymbolConjured>(ContSym->getSymbol())) in verifyMatch()
267 if (isa<SymbolConjured>(ContSym->getSymbol())) in verifyMatch()
|
| D | ErrnoModeling.cpp | 165 const SymbolConjured *Sym = SVB.conjureSymbol( in checkBeginFunction()
|
| D | ContainerModeling.cpp | 848 const SymbolConjured *Sym = SymMgr.conjureSymbol(E, LCtx, T, BlockCount, in createContainerBegin()
871 const SymbolConjured *Sym = SymMgr.conjureSymbol(E, LCtx, T, BlockCount, in createContainerEnd()
|
| /openbsd/src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SymbolManager.h | 78 class SymbolConjured : public SymbolData {
86 SymbolConjured(SymbolID sym, const Stmt *s, const LocationContext *lctx, in SymbolConjured() function
507 const SymbolConjured* conjureSymbol(const Stmt *E,
513 const SymbolConjured* conjureSymbol(const Expr *E,
|
| D | Symbols.def | 47 SYMBOL(SymbolConjured, SymbolData)
|
| D | SValBuilder.h | 162 const SymbolConjured* conjureSymbol(const Stmt *stmt,
170 const SymbolConjured* conjureSymbol(const Expr *expr,
|
| /openbsd/src/gnu/llvm/clang/include/clang/StaticAnalyzer/Checkers/ |
| D | SValExplainer.h | 113 std::string VisitSymbolConjured(const SymbolConjured *S) { in VisitSymbolConjured()
|