Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Checkers/
DIdempotentOperationChecker.cpp103 ExplodedNodeSet explodedNodes; // Set of ExplodedNodes that refer to a member
341 Data.explodedNodes.Add(C.getPredecessor()); in checkPostStmt()
355 const ExplodedNodeSet &ES = Data.explodedNodes; in checkEndAnalysis()