ExplodedNodeSet (reference) in projects: freebsd

Project(s)

Full Search
Definition
Symbol
File Path
History
Type

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

/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A D	ExprEngine.h	`84 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); 326 ExplodedNode Pred, ExplodedNodeSet &Dst); 333 ExplodedNode Pred, ExplodedNodeSet &Dst, 342 ExplodedNode *Pred, ExplodedNodeSet &Dst, [all …]`
H A D	CoreEngine.h	182 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, 283 NodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet, 312 const ExplodedNodeSet &getResults() { in getResults() 318 using iterator = ExplodedNodeSet::iterator; 335 void takeNodes(const ExplodedNodeSet &S) { in takeNodes() 341 void addNodes(const ExplodedNodeSet &S) { Frontier.insert(S); } in addNodes() [all …]
H A D	ExplodedGraph.h	`445 class ExplodedNodeSet { 450 ExplodedNodeSet(ExplodedNode *N) { in ExplodedNodeSet() function 455 ExplodedNodeSet() = default; 471 void insert(const ExplodedNodeSet &S) { in insert()`
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/
H A D	CheckerManager.h	49 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 &Dst, 287 const ExplodedNodeSet &Src, [all …]
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A D	ExprEngineObjC.cpp	23 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() 128 ExplodedNodeSet DstLocation; // states in `DstLocation` may differ from `Pred` in VisitObjCForCollectionStmt() 132 ExplodedNodeSet DstLocationSingleton{dstLocation}, Tmp; in VisitObjCForCollectionStmt() 153 ExplodedNodeSet &Dst) { in VisitObjCMessage() 213 ExplodedNodeSet dstNil; in VisitObjCMessage() 223 ExplodedNodeSet dstPostCheckers; in VisitObjCMessage() [all …]
H A D	CheckerManager.cpp	97 ExplodedNodeSet &Dst, in expandGraphWithCheckers() 98 const ExplodedNodeSet &Src) { in expandGraphWithCheckers() 110 ExplodedNodeSet Tmp1, Tmp2; in expandGraphWithCheckers() 111 const ExplodedNodeSet PrevSet = &Src; in expandGraphWithCheckers() 114 ExplodedNodeSet CurrSet = nullptr; in expandGraphWithCheckers() 178 ExplodedNodeSet &Dst, in runCheckersForStmt() 179 const ExplodedNodeSet &Src, in runCheckersForStmt() 239 ExplodedNodeSet &Dst, in runCheckersForObjCMessage() 240 const ExplodedNodeSet &Src, in runCheckersForObjCMessage() 299 ExplodedNodeSet &Dst, in runCheckersForCallEvent() [all …]
H A D	ExprEngineCXX.cpp	35 ExplodedNodeSet &Dst) { in CreateCXXTemporaryObject() 70 ExplodedNodeSet Dst; in performTrivialCopy() 86 ExplodedNodeSet Tmp; in performTrivialCopy() 549 ExplodedNodeSet &destNodes) { in handleConstructor() 690 ExplodedNodeSet DstPrepare; in handleConstructor() 707 ExplodedNodeSet DstPreVisit; in handleConstructor() 710 ExplodedNodeSet PreInitialized; in handleConstructor() 743 ExplodedNodeSet DstPreCall; in handleConstructor() 747 ExplodedNodeSet DstEvaluated; in handleConstructor() 770 ExplodedNodeSet DstEvaluatedPostProcessed; in handleConstructor() [all …]
H A D	ExprEngineC.cpp	43 ExplodedNodeSet &Dst) { in VisitBinaryOperator() 49 ExplodedNodeSet CheckedSet; in VisitBinaryOperator() 50 ExplodedNodeSet Tmp2; in VisitBinaryOperator() 54 for (ExplodedNodeSet::iterator it=CheckedSet.begin(), ei=CheckedSet.end(); in VisitBinaryOperator() 135 ExplodedNodeSet Tmp; in VisitBinaryOperator() 198 ExplodedNodeSet &Dst) { in VisitBlockExpr() 248 ExplodedNodeSet Tmp; in VisitBlockExpr() 287 ExplodedNode *Pred, ExplodedNodeSet &Dst) { in VisitCast() 289 ExplodedNodeSet DstPreStmt; in VisitCast() 302 ExplodedNodeSet DstEvalLoc; in VisitCast() [all …]
H A D	ExprEngine.cpp	1029 void ExprEngine::removeDead(ExplodedNode *Pred, ExplodedNodeSet &Out, in removeDead() 1078 ExplodedNodeSet CheckedSet; in removeDead() 1122 ExplodedNodeSet CleanedStates; in ProcessStmt() 1131 ExplodedNodeSet Dst; in ProcessStmt() 1133 ExplodedNodeSet DstI; in ProcessStmt() 1147 ExplodedNodeSet Dst; in ProcessLoopExit() 1178 ExplodedNodeSet Tmp; in ProcessInitializer() 1243 ExplodedNodeSet Dst; in ProcessInitializer() 1293 ExplodedNodeSet Dst; in ProcessImplicitDtor() 1320 ExplodedNodeSet Dst; in ProcessNewAllocator() [all …]
H A D	ExprEngineCallAndReturn.cpp	65 ExplodedNodeSet DstBegin; in processCallEnter() 163 ExplodedNodeSet &Dst) { in removeDeadOnEndOfFunction() 348 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 D	CoreEngine.cpp	123 ExplodedNodeSet DstBegin; in ExecuteWorkList() 283 ExplodedNodeSet Dst; in HandleBlockEdge() 307 ExplodedNodeSet CheckerNodes; in HandleBlockEdge() 322 ExplodedNodeSet DstNodes; in HandleBlockEdge() 331 ExplodedNodeSet CheckerNodes; in HandleBlockEdge() 491 ExplodedNodeSet Dst; in HandleBranch() 504 ExplodedNodeSet Dst; in HandleCleanupTemporaryBranch() 515 ExplodedNodeSet Dst; in HandleStaticInit() 661 void CoreEngine::enqueue(ExplodedNodeSet &Set) { in enqueue() 666 void CoreEngine::enqueue(ExplodedNodeSet &Set, in enqueue() [all …]
/freebsd/contrib/llvm-project/llvm/include/llvm/Testing/Demangle/
H A D	DemangleTestCases.inc	6516 …ngine::CheckerVisit(clang::Stmt const, clang::ento::ExplodedNodeSet&, clang::ento::ExplodedNodeSe… 6517 …essage(clang::ento::ObjCMessage const&, clang::ento::ExplodedNodeSet&, clang::ento::ExplodedNodeSe… 6518 …CheckerEvalNilReceiver(clang::ento::ObjCMessage const&, clang::ento::ExplodedNodeSet&, clang::ento… 6519 …to::ExprEngine::CheckerEvalCall(clang::CallExpr const, clang::ento::ExplodedNodeSet&, clang::ento… 6520 …e::CheckerVisitBind(clang::Stmt const, clang::ento::ExplodedNodeSet&, clang::ento::ExplodedNodeSe… 6535 …ExprEngine::Visit(clang::Stmt const, clang::ento::ExplodedNode, clang::ento::ExplodedNodeSet&)"}, 6540 …gramPoint4KindEPKv", "clang::ento::ExprEngine::MakeNode(clang::ento::ExplodedNodeSet&, clang::Stmt… 6541 …clang::ObjCAtSynchronizedStmt const, clang::ento::ExplodedNode, clang::ento::ExplodedNodeSet&)"}, 6542 …pr(clang::ObjCPropertyRefExpr const, clang::ento::ExplodedNode, clang::ento::ExplodedNodeSet&)"}, 6543 …xpr(clang::ArraySubscriptExpr const, clang::ento::ExplodedNode*, clang::ento::ExplodedNodeSet&)"}, [all …]