Home
last modified time | relevance | path

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

/openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h84 class ExplodedNodeSet; variable
199 ExplodedNodeSet &Dst) { in ExecuteWorkListWithInitialState()
238 void enqueueEndOfPath(ExplodedNodeSet &S);
292 void removeDead(ExplodedNode *Node, ExplodedNodeSet &Out,
313 ExplodedNode *Pred, ExplodedNodeSet &Dst);
315 ExplodedNode *Pred, ExplodedNodeSet &Dst);
317 ExplodedNode *Pred, ExplodedNodeSet &Dst);
319 ExplodedNode *Pred, ExplodedNodeSet &Dst);
321 ExplodedNode *Pred, ExplodedNodeSet &Dst);
333 ExplodedNodeSet &Dst,
[all …]
H A DCoreEngine.h155 ExplodedNodeSet &Dst);
195 void enqueue(ExplodedNodeSet &Set);
199 void enqueue(ExplodedNodeSet &Set, const CFGBlock *Block, unsigned Idx);
203 void enqueueEndOfFunction(ExplodedNodeSet &Set, const ReturnStmt *RS);
261 ExplodedNodeSet &Frontier;
284 NodeBuilder(ExplodedNode *SrcNode, ExplodedNodeSet &DstSet,
290 NodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet,
319 const ExplodedNodeSet &getResults() { in getResults()
325 using iterator = ExplodedNodeSet::iterator;
342 void takeNodes(const ExplodedNodeSet &S) { in takeNodes()
[all …]
H A DExplodedGraph.h461 class ExplodedNodeSet {
466 ExplodedNodeSet(ExplodedNode *N) { in ExplodedNodeSet() function
471 ExplodedNodeSet() = default;
486 void insert(const ExplodedNodeSet &S) { in insert()
/openbsd-src/gnu/llvm/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 …]
/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Core/
H A DExprEngineObjC.cpp23 ExplodedNodeSet &Dst) { in VisitLvalObjCIvarRefExpr()
29 ExplodedNodeSet dstIvar; in VisitLvalObjCIvarRefExpr()
40 ExplodedNodeSet &Dst) { in VisitObjCAtSynchronizedStmt()
47 ExplodedNodeSet &dstLocation, SValBuilder &svalBuilder, in populateObjCForDestinationSet()
85 ExplodedNodeSet &Dst) { in VisitObjCForCollectionStmt()
127 ExplodedNodeSet dstLocation; in VisitObjCForCollectionStmt()
130 ExplodedNodeSet Tmp; in VisitObjCForCollectionStmt()
149 ExplodedNodeSet &Dst) { in VisitObjCMessage()
196 ExplodedNodeSet dstNil; in VisitObjCMessage()
206 ExplodedNodeSet dstPostCheckers; in VisitObjCMessage()
[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()
136 for (ExplodedNodeSet::iterator I = Tmp.begin(), E = Tmp.end(); I != E; in VisitBinaryOperator()
197 ExplodedNodeSet &Dst) { in VisitBlockExpr()
249 ExplodedNodeSet Tmp; in VisitBlockExpr()
287 ExplodedNode *Pred, ExplodedNodeSet &Dst) { in VisitCast()
289 ExplodedNodeSet dstPreStmt; in VisitCast()
[all …]
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.cpp30 ExplodedNodeSet &Dst) { in CreateCXXTemporaryObject()
72 ExplodedNodeSet Dst; in performTrivialCopy()
88 for (ExplodedNodeSet::iterator I = Dst.begin(), E = Dst.end(); in performTrivialCopy()
576 ExplodedNodeSet &destNodes) { in handleConstructor()
716 ExplodedNodeSet DstPrepare; in handleConstructor()
733 ExplodedNodeSet DstPreVisit; in handleConstructor()
736 ExplodedNodeSet PreInitialized; in handleConstructor()
740 for (ExplodedNodeSet::iterator I = DstPreVisit.begin(), in handleConstructor()
767 ExplodedNodeSet DstPreCall; in handleConstructor()
771 ExplodedNodeSet DstEvaluated; in handleConstructor()
[all …]
H A DExprEngine.cpp1023 void ExprEngine::removeDead(ExplodedNode *Pred, ExplodedNodeSet &Out, in removeDead()
1073 ExplodedNodeSet CheckedSet; in removeDead()
1112 ExplodedNodeSet CleanedStates; in ProcessStmt()
1121 ExplodedNodeSet Dst; in ProcessStmt()
1123 ExplodedNodeSet DstI; in ProcessStmt()
1137 ExplodedNodeSet Dst; in ProcessLoopExit()
1168 ExplodedNodeSet Tmp; in ProcessInitializer()
1228 ExplodedNodeSet Dst; in ProcessInitializer()
1278 ExplodedNodeSet Dst; in ProcessImplicitDtor()
1305 ExplodedNodeSet Dst; in ProcessNewAllocator()
[all …]
H A DExprEngineCallAndReturn.cpp69 ExplodedNodeSet DstBegin; in processCallEnter()
167 ExplodedNodeSet &Dst) { in removeDeadOnEndOfFunction()
353 ExplodedNodeSet CleanedNodes; in processCallExit()
377 for (ExplodedNodeSet::iterator I = CleanedNodes.begin(), in processCallExit()
400 ExplodedNodeSet DstPostCall; in processCallExit()
402 ExplodedNodeSet DstPostPostCallCallback; in processCallExit()
416 ExplodedNodeSet Dst; in processCallExit()
431 for (ExplodedNodeSet::iterator PSI = Dst.begin(), PSE = Dst.end(); in processCallExit()
605 ExplodedNodeSet &dst) { in VisitCallExpr()
607 ExplodedNodeSet dstPreVisit; in VisitCallExpr()
[all …]
H A DCoreEngine.cpp123 ExplodedNodeSet DstBegin; in ExecuteWorkList()
228 ExplodedNodeSet &Dst) { in ExecuteWorkListWithInitialState()
260 ExplodedNodeSet Dst; in HandleBlockEdge()
292 ExplodedNodeSet dstNodes; in HandleBlockEdge()
457 ExplodedNodeSet Dst; in HandleBranch()
469 ExplodedNodeSet Dst; in HandleCleanupTemporaryBranch()
480 ExplodedNodeSet Dst; in HandleStaticInit()
606 void CoreEngine::enqueue(ExplodedNodeSet &Set) { in enqueue()
611 void CoreEngine::enqueue(ExplodedNodeSet &Set, in enqueue()
617 void CoreEngine::enqueueEndOfFunction(ExplodedNodeSet &Set, const ReturnStmt *RS) { in enqueueEndOfFunction()