Searched refs:SymbolConjured (Results 1 - 7 of 7) sorted by relevance
| /freebsd-13-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | MismatchedIteratorChecker.cpp | 209 if (isa<SymbolConjured>(ContSym->getSymbol()))
225 if (isa<SymbolConjured>(ContSym->getSymbol()))
255 if (isa<SymbolConjured>(ContSym->getSymbol()))
265 if (isa<SymbolConjured>(ContSym->getSymbol()))
|
| H A D | ContainerModeling.cpp | 862 const SymbolConjured *Sym = SymMgr.conjureSymbol(E, LCtx, T, BlockCount,
885 const SymbolConjured *Sym = SymMgr.conjureSymbol(E, LCtx, T, BlockCount,
|
| /freebsd-13-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | SymbolManager.cpp | 66 void SymbolConjured::dumpToStream(raw_ostream &os) const {
165 const SymbolConjured* SymbolManager::conjureSymbol(const Stmt *E,
171 SymbolConjured::Profile(profile, E, T, Count, LCtx, SymbolTag);
175 SD = (SymExpr*) BPAlloc.Allocate<SymbolConjured>();
176 new (SD) SymbolConjured(SymbolCounter, E, LCtx, T, Count, SymbolTag);
181 return cast<SymbolConjured>(SD);
305 QualType SymbolConjured::getType() const {
|
| H A D | SVals.cpp | 47 if (isa<SymbolConjured>(sym))
55 if (isa<SymbolConjured>(sym))
|
| /freebsd-13-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SymbolManager.h | 75 class SymbolConjured : public SymbolData { class in namespace:clang::ento
83 SymbolConjured(SymbolID sym, const Stmt *s, const LocationContext *lctx, function in class:clang::ento::SymbolConjured
433 const SymbolConjured* conjureSymbol(const Stmt *E,
439 const SymbolConjured* conjureSymbol(const Expr *E,
|
| H A D | SValBuilder.h | 179 const SymbolConjured* conjureSymbol(const Stmt *stmt,
187 const SymbolConjured* conjureSymbol(const Expr *expr,
|
| /freebsd-13-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | SValExplainer.h | 101 std::string VisitSymbolConjured(const SymbolConjured *S) {
|
Completed in 100 milliseconds