Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h162 const SymbolConjured* conjureSymbol(const Stmt *stmt,
167 return SymMgr.conjureSymbol(stmt, LCtx, type, visitCount, symbolTag);
170 const SymbolConjured* conjureSymbol(const Expr *expr,
174 return SymMgr.conjureSymbol(expr, LCtx, visitCount, symbolTag);
H A DSymbolManager.h507 const SymbolConjured* conjureSymbol(const Stmt *E,
513 const SymbolConjured* conjureSymbol(const Expr *E,
517 return conjureSymbol(E, LCtx, E->getType(), VisitCount, SymbolTag);
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DExprEngineObjC.cpp69 SymbolRef Sym = SymMgr.conjureSymbol(elem, LCtx, T, in populateObjCForDestinationSet()
H A DSValBuilder.cpp187 SymbolRef sym = SymMgr.conjureSymbol(expr, LCtx, type, count, symbolTag); in conjureSymbolVal()
205 SymbolRef sym = SymMgr.conjureSymbol(stmt, LCtx, type, visitCount); in conjureSymbolVal()
230 SymbolRef sym = SymMgr.conjureSymbol(E, LCtx, type, VisitCount); in getConjuredHeapSymbolVal()
H A DSymbolManager.cpp182 const SymbolConjured* SymbolManager::conjureSymbol(const Stmt *E, in conjureSymbol() function in SymbolManager
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DErrnoModeling.cpp164 const SymbolConjured *Sym = SVB.conjureSymbol( in checkBeginFunction()
H A DContainerModeling.cpp324 SymMgr.conjureSymbol(CE, C.getLocationContext(), in handleAssignment()
848 const SymbolConjured *Sym = SymMgr.conjureSymbol(E, LCtx, T, BlockCount, in createContainerBegin()
871 const SymbolConjured *Sym = SymMgr.conjureSymbol(E, LCtx, T, BlockCount, in createContainerEnd()
H A DIterator.cpp218 auto Sym = SymMgr.conjureSymbol(S, LCtx, ACtx.LongTy, blockCount); in createIteratorPosition()
H A DIteratorModeling.cpp473 Sym = SymMgr.conjureSymbol(CE, C.getLocationContext(), in handleComparison()
499 RetVal = nonloc::SymbolVal(SymMgr.conjureSymbol( in handleComparison()