HomeSort by: relevance | last modified time | path
    Searched defs:ExplodedNode (Results 1 - 2 of 2) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ExplodedGraph.h 9 // This file defines the template classes ExplodedNode and ExplodedGraph,
62 // ExplodedNode is not constified all over the engine because we need to add
65 class ExplodedNode : public llvm::FoldingSetNode {
80 /// store a flag rather than a node list, which ExplodedNode uses to mark
95 ExplodedNode * const *begin() const;
97 ExplodedNode * const *end() const;
106 void addNode(ExplodedNode *N, ExplodedGraph &G);
113 void replaceNode(ExplodedNode *node);
137 explicit ExplodedNode(const ProgramPoint &loc, ProgramStateRef state,
197 void addPredecessor(ExplodedNode *V, ExplodedGraph &G)
    [all...]
  /src/external/apache2/llvm/dist/clang/utils/analyzer/
exploded-graph-rewriter.py 306 class ExplodedNode:
336 self.nodes = collections.defaultdict(ExplodedNode)

Completed in 16 milliseconds