Searched refs:SymbolConjured (Results 1 - 7 of 7) sorted by relevance
| /freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | MismatchedIteratorChecker.cpp | 197 if (isa<SymbolConjured>(ContSym->getSymbol()))
213 if (isa<SymbolConjured>(ContSym->getSymbol()))
243 if (isa<SymbolConjured>(ContSym->getSymbol()))
253 if (isa<SymbolConjured>(ContSym->getSymbol()))
|
| H A D | IteratorModeling.cpp | 1331 const SymbolConjured *Sym = SymMgr.conjureSymbol(E, LCtx, T, BlockCount,
1354 const SymbolConjured *Sym = SymMgr.conjureSymbol(E, LCtx, T, BlockCount,
|
| /freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | SymbolManager.cpp | 84 void SymbolConjured::dumpToStream(raw_ostream &os) const {
183 const SymbolConjured* SymbolManager::conjureSymbol(const Stmt *E,
189 SymbolConjured::Profile(profile, E, T, Count, LCtx, SymbolTag);
193 SD = (SymExpr*) BPAlloc.Allocate<SymbolConjured>();
194 new (SD) SymbolConjured(SymbolCounter, E, LCtx, T, Count, SymbolTag);
199 return cast<SymbolConjured>(SD);
323 QualType SymbolConjured::getType() const {
|
| H A D | SVals.cpp | 47 if (isa<SymbolConjured>(sym))
55 if (isa<SymbolConjured>(sym))
|
| /freebsd-12-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
486 const SymbolConjured* conjureSymbol(const Stmt *E,
492 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-12-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | SValExplainer.h | 100 std::string VisitSymbolConjured(const SymbolConjured *S) {
|
Completed in 173 milliseconds