OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
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