Home
last modified time | relevance | path

Searched refs:conjureSymbol (Results 1 – 6 of 6) sorted by relevance

/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h174 const SymbolConjured* conjureSymbol(const Stmt *stmt,
179 return SymMgr.conjureSymbol(stmt, LCtx, type, visitCount, symbolTag);
182 const SymbolConjured* conjureSymbol(const Expr *expr,
186 return SymMgr.conjureSymbol(expr, LCtx, visitCount, symbolTag);
H A DSymbolManager.h508 const SymbolConjured* conjureSymbol(const Stmt *E,
514 const SymbolConjured* conjureSymbol(const Expr *E,
518 return conjureSymbol(E, LCtx, E->getType(), VisitCount, SymbolTag);
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DErrnoModeling.cpp126 const SymbolConjured *Sym = SVB.conjureSymbol( in checkBeginFunction()
H A DContainerModeling.cpp329 SymMgr.conjureSymbol(CE, C.getLocationContext(), in handleAssignment()
857 const SymbolConjured *Sym = SymMgr.conjureSymbol(E, LCtx, T, BlockCount, in createContainerBegin()
880 const SymbolConjured *Sym = SymMgr.conjureSymbol(E, LCtx, T, BlockCount, in createContainerEnd()
H A DIteratorModeling.cpp470 Sym = SymMgr.conjureSymbol(CE, C.getLocationContext(), in handleComparison()
496 RetVal = nonloc::SymbolVal(SymMgr.conjureSymbol( in handleComparison()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSymbolManager.cpp181 const SymbolConjured* SymbolManager::conjureSymbol(const Stmt *E, in conjureSymbol() function in SymbolManager