Home
last modified time | relevance | path

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

/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
HDExprEngine.h177 ExplodedNodeSet &Dst) { in ExecuteWorkListWithInitialState()
211 void enqueueEndOfPath(ExplodedNodeSet &S);
265 void removeDead(ExplodedNode *Node, ExplodedNodeSet &Out,
286 ExplodedNode *Pred, ExplodedNodeSet &Dst);
288 ExplodedNode *Pred, ExplodedNodeSet &Dst);
290 ExplodedNode *Pred, ExplodedNodeSet &Dst);
292 ExplodedNode *Pred, ExplodedNodeSet &Dst);
294 ExplodedNode *Pred, ExplodedNodeSet &Dst);
306 ExplodedNodeSet &Dst,
315 ExplodedNode *Pred, ExplodedNodeSet &Dst,
[all …]
HDCoreEngine.h151 ExplodedNodeSet &Dst);
190 void enqueue(ExplodedNodeSet &Set);
194 void enqueue(ExplodedNodeSet &Set, const CFGBlock *Block, unsigned Idx);
198 void enqueueEndOfFunction(ExplodedNodeSet &Set, const ReturnStmt *RS);
250 ExplodedNodeSet &Frontier;
273 NodeBuilder(ExplodedNode *SrcNode, ExplodedNodeSet &DstSet,
279 NodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet,
306 const ExplodedNodeSet &getResults() { in getResults()
312 using iterator = ExplodedNodeSet::iterator;
329 void takeNodes(const ExplodedNodeSet &S) { in takeNodes()
[all …]
HDSubEngine.h35 class ExplodedNodeSet; variable
78 ExplodedNodeSet &Dst,
88 ExplodedNodeSet &Dst,
97 ExplodedNodeSet &Dst,
113 ExplodedNodeSet &Dst,
HDExplodedGraph.h463 class ExplodedNodeSet {
468 ExplodedNodeSet(ExplodedNode *N) { in ExplodedNodeSet() function
473 ExplodedNodeSet() = default;
488 void insert(const ExplodedNodeSet &S) { in insert()
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/
HDCheckerManager.h46 class ExplodedNodeSet; variable
210 void runCheckersForPreStmt(ExplodedNodeSet &Dst, in runCheckersForPreStmt()
211 const ExplodedNodeSet &Src, in runCheckersForPreStmt()
223 void runCheckersForPostStmt(ExplodedNodeSet &Dst,
224 const ExplodedNodeSet &Src,
233 ExplodedNodeSet &Dst, const ExplodedNodeSet &Src,
238 void runCheckersForPreObjCMessage(ExplodedNodeSet &Dst, in runCheckersForPreObjCMessage()
239 const ExplodedNodeSet &Src, in runCheckersForPreObjCMessage()
246 void runCheckersForPostObjCMessage(ExplodedNodeSet &Dst,
247 const ExplodedNodeSet &Src,
[all …]
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
HDExprEngineObjC.cpp23 ExplodedNodeSet &Dst) { in VisitLvalObjCIvarRefExpr()
29 ExplodedNodeSet dstIvar; in VisitLvalObjCIvarRefExpr()
40 ExplodedNodeSet &Dst) { in VisitObjCAtSynchronizedStmt()
47 ExplodedNodeSet &dstLocation, SValBuilder &svalBuilder, in populateObjCForDestinationSet()
87 ExplodedNodeSet &Dst) { in VisitObjCForCollectionStmt()
130 ExplodedNodeSet dstLocation; in VisitObjCForCollectionStmt()
133 ExplodedNodeSet Tmp; in VisitObjCForCollectionStmt()
152 ExplodedNodeSet &Dst) { in VisitObjCMessage()
199 ExplodedNodeSet dstNil; in VisitObjCMessage()
209 ExplodedNodeSet dstPostCheckers; in VisitObjCMessage()
[all …]
HDCheckerManager.cpp112 ExplodedNodeSet &Dst, in expandGraphWithCheckers()
113 const ExplodedNodeSet &Src) { in expandGraphWithCheckers()
125 ExplodedNodeSet Tmp1, Tmp2; in expandGraphWithCheckers()
126 const ExplodedNodeSet *PrevSet = &Src; in expandGraphWithCheckers()
129 ExplodedNodeSet *CurrSet = nullptr; in expandGraphWithCheckers()
185 ExplodedNodeSet &Dst, in runCheckersForStmt()
186 const ExplodedNodeSet &Src, in runCheckersForStmt()
241 ExplodedNodeSet &Dst, in runCheckersForObjCMessage()
242 const ExplodedNodeSet &Src, in runCheckersForObjCMessage()
299 ExplodedNodeSet &Dst, in runCheckersForCallEvent()
[all …]
HDExprEngineC.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()
302 ExplodedNode *Pred, ExplodedNodeSet &Dst) { in VisitCast()
304 ExplodedNodeSet dstPreStmt; in VisitCast()
[all …]
HDExprEngineCXX.cpp28 ExplodedNodeSet &Dst) { in CreateCXXTemporaryObject()
70 ExplodedNodeSet Dst; in performTrivialCopy()
86 for (ExplodedNodeSet::iterator I = Dst.begin(), E = Dst.end(); in performTrivialCopy()
397 ExplodedNodeSet &destNodes) { in VisitCXXConstructExpr()
488 ExplodedNodeSet DstPrepare; in VisitCXXConstructExpr()
501 ExplodedNodeSet DstPreVisit; in VisitCXXConstructExpr()
505 ExplodedNodeSet PreInitialized; in VisitCXXConstructExpr()
508 for (ExplodedNodeSet::iterator I = DstPreVisit.begin(), in VisitCXXConstructExpr()
533 ExplodedNodeSet DstPreCall; in VisitCXXConstructExpr()
537 ExplodedNodeSet DstEvaluated; in VisitCXXConstructExpr()
[all …]
HDExprEngine.cpp689 void ExprEngine::removeDead(ExplodedNode *Pred, ExplodedNodeSet &Out, in removeDead()
739 ExplodedNodeSet CheckedSet; in removeDead()
778 ExplodedNodeSet CleanedStates; in ProcessStmt()
787 ExplodedNodeSet Dst; in ProcessStmt()
789 ExplodedNodeSet DstI; in ProcessStmt()
803 ExplodedNodeSet Dst; in ProcessLoopExit()
834 ExplodedNodeSet Tmp; in ProcessInitializer()
894 ExplodedNodeSet Dst; in ProcessInitializer()
907 ExplodedNodeSet Dst; in ProcessImplicitDtor()
934 ExplodedNodeSet Dst; in ProcessNewAllocator()
[all …]
HDExprEngineCallAndReturn.cpp65 ExplodedNodeSet DstBegin; in processCallEnter()
163 ExplodedNodeSet &Dst) { in removeDeadOnEndOfFunction()
278 ExplodedNodeSet CleanedNodes; in processCallExit()
302 for (ExplodedNodeSet::iterator I = CleanedNodes.begin(), in processCallExit()
326 ExplodedNodeSet DstPostCall; in processCallExit()
328 ExplodedNodeSet DstPostPostCallCallback; in processCallExit()
345 ExplodedNodeSet Dst; in processCallExit()
360 for (ExplodedNodeSet::iterator PSI = Dst.begin(), PSE = Dst.end(); in processCallExit()
498 ExplodedNodeSet &dst) { in VisitCallExpr()
500 ExplodedNodeSet dstPreVisit; in VisitCallExpr()
[all …]
HDCoreEngine.cpp115 ExplodedNodeSet DstBegin; in ExecuteWorkList()
200 ExplodedNodeSet &Dst) { in ExecuteWorkListWithInitialState()
231 ExplodedNodeSet Dst; in HandleBlockEdge()
263 ExplodedNodeSet dstNodes; in HandleBlockEdge()
428 ExplodedNodeSet Dst; in HandleBranch()
440 ExplodedNodeSet Dst; in HandleCleanupTemporaryBranch()
451 ExplodedNodeSet Dst; in HandleStaticInit()
577 void CoreEngine::enqueue(ExplodedNodeSet &Set) { in enqueue()
582 void CoreEngine::enqueue(ExplodedNodeSet &Set, in enqueue()
588 void CoreEngine::enqueueEndOfFunction(ExplodedNodeSet &Set, const ReturnStmt *RS) { in enqueueEndOfFunction()