HomeSort by relevance Sort by last modified time
    Searched defs:ExplodedGraph (Results 1 - 2 of 2) sorted by null

  /external/clang/lib/StaticAnalyzer/Core/
ExplodedGraph.cpp 1 //=-- ExplodedGraph.cpp - Local, Path-Sens. "Exploded Graph" -*- C++ -*------=//
10 // This file defines the template classes ExplodedNode and ExplodedGraph,
15 #include "clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h"
50 ExplodedGraph::ExplodedGraph()
53 ExplodedGraph::~ExplodedGraph() {}
59 bool ExplodedGraph::isInterestingLValueExpr(const Expr *Ex) {
67 bool ExplodedGraph::shouldCollect(const ExplodedNode *node) {
159 void ExplodedGraph::collectNode(ExplodedNode *node)
    [all...]
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ExplodedGraph.h 1 //=-- ExplodedGraph.h - Local, Path-Sens. "Exploded Graph" -*- C++ -*-------==//
10 // This file defines the template classes ExplodedNode and ExplodedGraph,
43 class ExplodedGraph;
46 // ExplodedGraph "implementation" classes. These classes are not typed to
55 friend class ExplodedGraph;
67 /// common case in an ExplodedGraph, where most nodes have only one
95 void addNode(ExplodedNode *N, ExplodedGraph &G);
178 void addPredecessor(ExplodedNode *V, ExplodedGraph &G);
249 class ExplodedGraph {
300 ExplodedGraph* MakeEmptyGraph() const
    [all...]

Completed in 3714 milliseconds