OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:CFGElement
(Results
1 - 12
of
12
) sorted by null
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SubEngine.h
23
class
CFGElement
;
56
virtual void processCFGElement(const
CFGElement
E, ExplodedNode* Pred,
ExprEngine.h
156
void processCFGElement(const
CFGElement
E, ExplodedNode *Pred,
/external/clang/include/clang/Analysis/
CFG.h
46
///
CFGElement
- Represents a top-level expression in a basic block.
47
class
CFGElement
{
68
CFGElement
(Kind kind, const void *Ptr1, const void *Ptr2 = 0)
73
CFGElement
() {}
92
static bool classof(const
CFGElement
*E) { return true; }
95
class CFGStmt : public
CFGElement
{
97
CFGStmt(Stmt *S) :
CFGElement
(Statement, S) {}
103
static bool classof(const
CFGElement
*E) {
110
class CFGInitializer : public
CFGElement
{
113
:
CFGElement
(Initializer, initializer) {
[
all
...]
ProgramPoint.h
170
const
CFGElement
getFirstElement() const {
172
return B->empty() ?
CFGElement
() : B->front();
/external/clang/lib/Analysis/
CFGStmtMap.cpp
52
const
CFGElement
&CE = *I;
CFG.cpp
[
all
...]
ThreadSafety.cpp
792
case
CFGElement
::Statement: {
839
// FIXME: Handle other
CFGElement
kinds.
852
// FIXME: Handle other
CFGElement
kinds.
[
all
...]
LiveVariables.cpp
457
const
CFGElement
&elem = *it;
/external/clang/lib/StaticAnalyzer/Checkers/
AnalyzerStatsChecker.cpp
125
const
CFGElement
&CE = Exit->front();
/external/clang/include/clang/Analysis/FlowSensitive/
DataflowSolver.h
279
CFGElement
El = *I;
295
CFGElement
El = *I;
/external/clang/lib/StaticAnalyzer/Core/
ExprEngine.cpp
213
void ExprEngine::processCFGElement(const
CFGElement
E, ExplodedNode *Pred,
219
case
CFGElement
::Invalid:
220
llvm_unreachable("Unexpected
CFGElement
kind.");
221
case
CFGElement
::Statement:
224
case
CFGElement
::Initializer:
227
case
CFGElement
::AutomaticObjectDtor:
228
case
CFGElement
::BaseDtor:
229
case
CFGElement
::MemberDtor:
230
case
CFGElement
::TemporaryDtor:
414
case
CFGElement
::AutomaticObjectDtor
[
all
...]
CoreEngine.cpp
333
if (
CFGElement
E = L.getFirstElement()) {
Completed in 773 milliseconds