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

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ExplodedGraph.h 10 // This file defines the template classes ExplodedNode and ExplodedGraph,
52 // ExplodedNode is not constified all over the engine because we need to add
55 class ExplodedNode : public llvm::FoldingSetNode {
70 /// store a flag rather than a node list, which ExplodedNode uses to mark
85 ExplodedNode * const *begin() const;
87 ExplodedNode * const *end() const;
96 void addNode(ExplodedNode *N, ExplodedGraph &G);
103 void replaceNode(ExplodedNode *node);
125 explicit ExplodedNode(const ProgramPoint &loc, ProgramStateRef state,
176 void addPredecessor(ExplodedNode *V, ExplodedGraph &G)
    [all...]
  /prebuilts/clang/host/darwin-x86/clang-3957855/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ExplodedGraph.h 10 // This file defines the template classes ExplodedNode and ExplodedGraph,
51 // ExplodedNode is not constified all over the engine because we need to add
54 class ExplodedNode : public llvm::FoldingSetNode {
69 /// store a flag rather than a node list, which ExplodedNode uses to mark
84 ExplodedNode * const *begin() const;
86 ExplodedNode * const *end() const;
95 void addNode(ExplodedNode *N, ExplodedGraph &G);
102 void replaceNode(ExplodedNode *node);
124 explicit ExplodedNode(const ProgramPoint &loc, ProgramStateRef state,
175 void addPredecessor(ExplodedNode *V, ExplodedGraph &G)
    [all...]
  /prebuilts/clang/host/darwin-x86/clang-3960126/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ExplodedGraph.h 10 // This file defines the template classes ExplodedNode and ExplodedGraph,
51 // ExplodedNode is not constified all over the engine because we need to add
54 class ExplodedNode : public llvm::FoldingSetNode {
69 /// store a flag rather than a node list, which ExplodedNode uses to mark
84 ExplodedNode * const *begin() const;
86 ExplodedNode * const *end() const;
95 void addNode(ExplodedNode *N, ExplodedGraph &G);
102 void replaceNode(ExplodedNode *node);
124 explicit ExplodedNode(const ProgramPoint &loc, ProgramStateRef state,
175 void addPredecessor(ExplodedNode *V, ExplodedGraph &G)
    [all...]
  /prebuilts/clang/host/darwin-x86/clang-3977809/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ExplodedGraph.h 10 // This file defines the template classes ExplodedNode and ExplodedGraph,
51 // ExplodedNode is not constified all over the engine because we need to add
54 class ExplodedNode : public llvm::FoldingSetNode {
69 /// store a flag rather than a node list, which ExplodedNode uses to mark
84 ExplodedNode * const *begin() const;
86 ExplodedNode * const *end() const;
95 void addNode(ExplodedNode *N, ExplodedGraph &G);
102 void replaceNode(ExplodedNode *node);
124 explicit ExplodedNode(const ProgramPoint &loc, ProgramStateRef state,
175 void addPredecessor(ExplodedNode *V, ExplodedGraph &G)
    [all...]
  /prebuilts/clang/host/darwin-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ExplodedGraph.h 10 // This file defines the template classes ExplodedNode and ExplodedGraph,
51 // ExplodedNode is not constified all over the engine because we need to add
54 class ExplodedNode : public llvm::FoldingSetNode {
69 /// store a flag rather than a node list, which ExplodedNode uses to mark
84 ExplodedNode * const *begin() const;
86 ExplodedNode * const *end() const;
95 void addNode(ExplodedNode *N, ExplodedGraph &G);
102 void replaceNode(ExplodedNode *node);
124 explicit ExplodedNode(const ProgramPoint &loc, ProgramStateRef state,
175 void addPredecessor(ExplodedNode *V, ExplodedGraph &G)
    [all...]
  /prebuilts/clang/host/linux-x86/clang-3957855/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ExplodedGraph.h 10 // This file defines the template classes ExplodedNode and ExplodedGraph,
51 // ExplodedNode is not constified all over the engine because we need to add
54 class ExplodedNode : public llvm::FoldingSetNode {
69 /// store a flag rather than a node list, which ExplodedNode uses to mark
84 ExplodedNode * const *begin() const;
86 ExplodedNode * const *end() const;
95 void addNode(ExplodedNode *N, ExplodedGraph &G);
102 void replaceNode(ExplodedNode *node);
124 explicit ExplodedNode(const ProgramPoint &loc, ProgramStateRef state,
175 void addPredecessor(ExplodedNode *V, ExplodedGraph &G)
    [all...]
  /prebuilts/clang/host/linux-x86/clang-3960126/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ExplodedGraph.h 10 // This file defines the template classes ExplodedNode and ExplodedGraph,
51 // ExplodedNode is not constified all over the engine because we need to add
54 class ExplodedNode : public llvm::FoldingSetNode {
69 /// store a flag rather than a node list, which ExplodedNode uses to mark
84 ExplodedNode * const *begin() const;
86 ExplodedNode * const *end() const;
95 void addNode(ExplodedNode *N, ExplodedGraph &G);
102 void replaceNode(ExplodedNode *node);
124 explicit ExplodedNode(const ProgramPoint &loc, ProgramStateRef state,
175 void addPredecessor(ExplodedNode *V, ExplodedGraph &G)
    [all...]
  /prebuilts/clang/host/linux-x86/clang-3977809/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ExplodedGraph.h 10 // This file defines the template classes ExplodedNode and ExplodedGraph,
51 // ExplodedNode is not constified all over the engine because we need to add
54 class ExplodedNode : public llvm::FoldingSetNode {
69 /// store a flag rather than a node list, which ExplodedNode uses to mark
84 ExplodedNode * const *begin() const;
86 ExplodedNode * const *end() const;
95 void addNode(ExplodedNode *N, ExplodedGraph &G);
102 void replaceNode(ExplodedNode *node);
124 explicit ExplodedNode(const ProgramPoint &loc, ProgramStateRef state,
175 void addPredecessor(ExplodedNode *V, ExplodedGraph &G)
    [all...]
  /prebuilts/clang/host/linux-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ExplodedGraph.h 10 // This file defines the template classes ExplodedNode and ExplodedGraph,
51 // ExplodedNode is not constified all over the engine because we need to add
54 class ExplodedNode : public llvm::FoldingSetNode {
69 /// store a flag rather than a node list, which ExplodedNode uses to mark
84 ExplodedNode * const *begin() const;
86 ExplodedNode * const *end() const;
95 void addNode(ExplodedNode *N, ExplodedGraph &G);
102 void replaceNode(ExplodedNode *node);
124 explicit ExplodedNode(const ProgramPoint &loc, ProgramStateRef state,
175 void addPredecessor(ExplodedNode *V, ExplodedGraph &G)
    [all...]

Completed in 301 milliseconds