Home
last modified time | relevance | path

Searched refs:ExplodedNodeSet (Results 1 – 10 of 10) sorted by relevance

/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h84 class ExplodedNodeSet; variable
284 void removeDead(ExplodedNode *Node, ExplodedNodeSet &Out,
305 ExplodedNode *Pred, ExplodedNodeSet &Dst);
307 ExplodedNode *Pred, ExplodedNodeSet &Dst);
309 ExplodedNode *Pred, ExplodedNodeSet &Dst);
311 ExplodedNode *Pred, ExplodedNodeSet &Dst);
313 ExplodedNode *Pred, ExplodedNodeSet &Dst);
325 ExplodedNodeSet &Dst,
334 ExplodedNode *Pred, ExplodedNodeSet &Dst,
343 ExplodedNodeSet &Dst,
[all …]
H A DCoreEngine.h180 void enqueue(ExplodedNodeSet &Set);
184 void enqueue(ExplodedNodeSet &Set, const CFGBlock *Block, unsigned Idx);
188 void enqueueEndOfFunction(ExplodedNodeSet &Set, const ReturnStmt *RS);
252 ExplodedNodeSet &Frontier;
275 NodeBuilder(ExplodedNode *SrcNode, ExplodedNodeSet &DstSet,
281 NodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet,
310 const ExplodedNodeSet &getResults() { in getResults()
316 using iterator = ExplodedNodeSet::iterator;
333 void takeNodes(const ExplodedNodeSet &S) { in takeNodes()
339 void addNodes(const ExplodedNodeSet &S) { Frontier.insert(S); } in addNodes()
[all …]
H A DExplodedGraph.h458 class ExplodedNodeSet {
463 ExplodedNodeSet(ExplodedNode *N) { in ExplodedNodeSet() function
468 ExplodedNodeSet() = default;
483 void insert(const ExplodedNodeSet &S) { in insert()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/
H A DCheckerManager.h48 class ExplodedNodeSet; variable
248 void runCheckersForPreStmt(ExplodedNodeSet &Dst, in runCheckersForPreStmt()
249 const ExplodedNodeSet &Src, in runCheckersForPreStmt()
261 void runCheckersForPostStmt(ExplodedNodeSet &Dst,
262 const ExplodedNodeSet &Src,
271 ExplodedNodeSet &Dst, const ExplodedNodeSet &Src,
276 void runCheckersForPreObjCMessage(ExplodedNodeSet &Dst, in runCheckersForPreObjCMessage()
277 const ExplodedNodeSet &Src, in runCheckersForPreObjCMessage()
284 void runCheckersForPostObjCMessage(ExplodedNodeSet &Dst,
285 const ExplodedNodeSet &Src,
[all …]
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DCheckerManager.cpp110 ExplodedNodeSet &Dst, in expandGraphWithCheckers()
111 const ExplodedNodeSet &Src) { in expandGraphWithCheckers()
123 ExplodedNodeSet Tmp1, Tmp2; in expandGraphWithCheckers()
124 const ExplodedNodeSet *PrevSet = &Src; in expandGraphWithCheckers()
127 ExplodedNodeSet *CurrSet = nullptr; in expandGraphWithCheckers()
183 ExplodedNodeSet &Dst, in runCheckersForStmt()
184 const ExplodedNodeSet &Src, in runCheckersForStmt()
239 ExplodedNodeSet &Dst, in runCheckersForObjCMessage()
240 const ExplodedNodeSet &Src, in runCheckersForObjCMessage()
297 ExplodedNodeSet &Dst, in runCheckersForCallEvent()
[all …]
H A DExprEngineCXX.cpp32 ExplodedNodeSet &Dst) { in CreateCXXTemporaryObject()
67 ExplodedNodeSet Dst; in performTrivialCopy()
584 ExplodedNodeSet &destNodes) { in handleConstructor()
724 ExplodedNodeSet DstPrepare; in handleConstructor()
741 ExplodedNodeSet DstPreVisit; in handleConstructor()
744 ExplodedNodeSet PreInitialized; in handleConstructor()
773 ExplodedNodeSet DstPreCall; in handleConstructor()
777 ExplodedNodeSet DstEvaluated; in handleConstructor()
800 ExplodedNodeSet DstEvaluatedPostProcessed; in handleConstructor()
831 ExplodedNodeSet DstPostArgumentCleanup; in handleConstructor()
[all …]
H A DExprEngineC.cpp42 ExplodedNodeSet &Dst) { in VisitBinaryOperator()
48 ExplodedNodeSet CheckedSet; in VisitBinaryOperator()
49 ExplodedNodeSet Tmp2; in VisitBinaryOperator()
53 for (ExplodedNodeSet::iterator it=CheckedSet.begin(), ei=CheckedSet.end(); in VisitBinaryOperator()
132 ExplodedNodeSet Tmp; in VisitBinaryOperator()
194 ExplodedNodeSet &Dst) { in VisitBlockExpr()
244 ExplodedNodeSet Tmp; in VisitBlockExpr()
283 ExplodedNode *Pred, ExplodedNodeSet &Dst) { in VisitCast()
285 ExplodedNodeSet dstPreStmt; in VisitCast()
542 ExplodedNodeSet &Dst) { in VisitCompoundLiteralExpr()
[all …]
H A DExprEngine.cpp1029 void ExprEngine::removeDead(ExplodedNode *Pred, ExplodedNodeSet &Out, in removeDead()
1079 ExplodedNodeSet CheckedSet; in removeDead()
1118 ExplodedNodeSet CleanedStates; in ProcessStmt()
1127 ExplodedNodeSet Dst; in ProcessStmt()
1129 ExplodedNodeSet DstI; in ProcessStmt()
1143 ExplodedNodeSet Dst; in ProcessLoopExit()
1174 ExplodedNodeSet Tmp; in ProcessInitializer()
1242 ExplodedNodeSet Dst; in ProcessInitializer()
1292 ExplodedNodeSet Dst; in ProcessImplicitDtor()
1319 ExplodedNodeSet Dst; in ProcessNewAllocator()
[all …]
H A DExprEngineCallAndReturn.cpp69 ExplodedNodeSet DstBegin; in processCallEnter()
167 ExplodedNodeSet &Dst) { in removeDeadOnEndOfFunction()
353 ExplodedNodeSet CleanedNodes; in processCallExit()
398 ExplodedNodeSet DstPostCall; in processCallExit()
400 ExplodedNodeSet DstPostPostCallCallback; in processCallExit()
414 ExplodedNodeSet Dst; in processCallExit()
429 for (ExplodedNodeSet::iterator PSI = Dst.begin(), PSE = Dst.end(); in processCallExit()
603 ExplodedNodeSet &dst) { in VisitCallExpr()
605 ExplodedNodeSet dstPreVisit; in VisitCallExpr()
616 ExplodedNodeSet dstCallEvaluated; in VisitCallExpr()
[all …]
H A DCoreEngine.cpp123 ExplodedNodeSet DstBegin; in ExecuteWorkList()
248 ExplodedNodeSet Dst; in HandleBlockEdge()
280 ExplodedNodeSet dstNodes; in HandleBlockEdge()
445 ExplodedNodeSet Dst; in HandleBranch()
457 ExplodedNodeSet Dst; in HandleCleanupTemporaryBranch()
468 ExplodedNodeSet Dst; in HandleStaticInit()
594 void CoreEngine::enqueue(ExplodedNodeSet &Set) { in enqueue()
599 void CoreEngine::enqueue(ExplodedNodeSet &Set, in enqueue()
605 void CoreEngine::enqueueEndOfFunction(ExplodedNodeSet &Set, const ReturnStmt *RS) { in enqueueEndOfFunction()