Home
last modified time | relevance | path

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

/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h84 class ExplodedNodeSet; variable
284 void removeDead(ExplodedNode *Node, ExplodedNodeSet &Out,
309 ExplodedNode *Pred, ExplodedNodeSet &Dst);
311 ExplodedNode *Pred, ExplodedNodeSet &Dst);
313 ExplodedNode *Pred, ExplodedNodeSet &Dst);
315 ExplodedNode *Pred, ExplodedNodeSet &Dst);
317 ExplodedNode *Pred, ExplodedNodeSet &Dst);
329 ExplodedNode *Pred, ExplodedNodeSet &Dst,
338 ExplodedNode *Pred, ExplodedNodeSet &Dst,
347 ExplodedNodeSet
[all...]
H A DCoreEngine.h182 void enqueue(ExplodedNodeSet &Set);
186 void enqueue(ExplodedNodeSet &Set, const CFGBlock *Block, unsigned Idx);
190 void enqueueEndOfFunction(ExplodedNodeSet &Set, const ReturnStmt *RS);
254 ExplodedNodeSet &Frontier;
277 NodeBuilder(ExplodedNode *SrcNode, ExplodedNodeSet &DstSet, in C()
283 NodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet, in C()
312 const ExplodedNodeSet &getResults() { in getResults()
318 using iterator = ExplodedNodeSet::iterator;
335 void takeNodes(const ExplodedNodeSet in takeNodes()
[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()
/llvm-project/clang/include/clang/StaticAnalyzer/Core/
H A DCheckerManager.h48 class ExplodedNodeSet; variable
250 void runCheckersForPreStmt(ExplodedNodeSet &Dst, in runCheckersForPreStmt()
251 const ExplodedNodeSet &Src, in runCheckersForPreStmt()
263 void runCheckersForPostStmt(ExplodedNodeSet &Dst,
264 const ExplodedNodeSet &Src,
273 ExplodedNodeSet &Dst, const ExplodedNodeSet &Src,
278 void runCheckersForPreObjCMessage(ExplodedNodeSet &Dst, in runCheckersForPreObjCMessage()
279 const ExplodedNodeSet &Src, in runCheckersForPreObjCMessage()
286 void runCheckersForPostObjCMessage(ExplodedNodeSet
[all...]
/llvm-project/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()
209 ExplodedNodeSet dstNil; in VisitObjCMessage()
219 ExplodedNodeSet dstPostCheckers; in VisitObjCMessage()
[all …]
H A DCheckerManager.cpp97 ExplodedNodeSet &Dst, in runCheckersOnASTBody()
98 const ExplodedNodeSet &Src) { in runCheckersOnASTBody()
110 ExplodedNodeSet Tmp1, Tmp2; in expandGraphWithCheckers()
111 const ExplodedNodeSet *PrevSet = &Src; in expandGraphWithCheckers()
114 ExplodedNodeSet *CurrSet = nullptr; in expandGraphWithCheckers()
170 ExplodedNodeSet &Dst, in runChecker()
171 const ExplodedNodeSet &Src, in runChecker()
226 ExplodedNodeSet &Dst, in runChecker()
227 const ExplodedNodeSet &Src, in runChecker()
284 ExplodedNodeSet
[all...]
H A DExprEngineCXX.cpp32 ExplodedNodeSet &Dst) { in CreateCXXTemporaryObject()
67 ExplodedNodeSet Dst; in performTrivialCopy()
531 ExplodedNodeSet &destNodes) { in bindRequiredArrayElementToEnvironment()
671 ExplodedNodeSet DstPrepare; in handleConstructor()
688 ExplodedNodeSet DstPreVisit; in handleConstructor()
691 ExplodedNodeSet PreInitialized; in handleConstructor()
720 ExplodedNodeSet DstPreCall; in handleConstructor()
724 ExplodedNodeSet DstEvaluated; in handleConstructor()
747 ExplodedNodeSet DstEvaluatedPostProcessed; in handleConstructor()
778 ExplodedNodeSet DstPostArgumentCleanu 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()
1077 ExplodedNodeSet CheckedSet; in removeDead()
1121 ExplodedNodeSet CleanedStates; in ProcessStmt()
1130 ExplodedNodeSet Dst; in ProcessStmt()
1132 ExplodedNodeSet DstI; in ProcessStmt()
1146 ExplodedNodeSet Dst; in ProcessLoopExit()
1177 ExplodedNodeSet Tmp; in ProcessInitializer()
1242 ExplodedNodeSet Dst; in ProcessInitializer()
1292 ExplodedNodeSet Dst; in ProcessImplicitDtor()
1319 ExplodedNodeSet Ds in ProcessNewAllocator()
[all...]
H A DExprEngineCallAndReturn.cpp69 ExplodedNodeSet DstBegin; in processCallEnter()
167 ExplodedNodeSet &Dst) { in removeDeadOnEndOfFunction()
353 ExplodedNodeSet CleanedNodes; in processCallExit()
403 ExplodedNodeSet DstPostCall; in processCallExit()
405 ExplodedNodeSet DstPostPostCallCallback; in processCallExit()
419 ExplodedNodeSet Dst; in processCallExit()
434 for (ExplodedNodeSet::iterator PSI = Dst.begin(), PSE = Dst.end(); in processCallExit()
608 ExplodedNodeSet &dst) { in VisitCallExpr()
610 ExplodedNodeSet dstPreVisit; in VisitCallExpr()
621 ExplodedNodeSet dstCallEvaluate 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()
458 ExplodedNodeSet Dst; in HandleCleanupTemporaryBranch()
469 ExplodedNodeSet Dst; in HandleStaticInit()
619 void CoreEngine::enqueue(ExplodedNodeSet &Set) {
624 void CoreEngine::enqueue(ExplodedNodeSet &Set, in generateNodeImpl()
630 void CoreEngine::enqueueEndOfFunction(ExplodedNodeSet &Set, const ReturnStmt *RS) { in generateNodeImpl()