OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:SubEngine
(Results
1 - 11
of
11
) sorted by null
/external/clang/lib/StaticAnalyzer/Core/
SubEngine.cpp
1
//==
SubEngine
.cpp - Interface of the
subengine
of CoreEngine ------*- C++ -*-//
10
#include "clang/StaticAnalyzer/Core/PathSensitive/
SubEngine
.h"
14
void
SubEngine
::anchor() { }
SimpleConstraintManager.h
25
SubEngine
*SU;
28
SimpleConstraintManager(
SubEngine
*
subengine
, BasicValueFactory &BV)
29
: SU(
subengine
), BVF(BV) {}
Android.mk
48
SubEngine
.cpp \
RangeConstraintManager.cpp
288
RangeConstraintManager(
SubEngine
*
subengine
, BasicValueFactory &BVF)
289
: SimpleConstraintManager(
subengine
, BVF) {}
330
ento::CreateRangeConstraintManager(ProgramStateManager &StMgr,
SubEngine
*Eng) {
ProgramState.cpp
18
#include "clang/StaticAnalyzer/Core/PathSensitive/
SubEngine
.h"
74
SubEngine
*SubEng)
168
SubEngine
* Eng = Mgr.getOwningEngine();
BugReporterVisitors.cpp
206
SubEngine
*Eng = State->getStateManager().getOwningEngine();
706
SubEngine
*Eng = N->getState()->getStateManager().getOwningEngine();
[
all
...]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h
28
class
SubEngine
;
152
SubEngine
*
subengine
);
SubEngine.h
1
//==
SubEngine
.h - Interface of the
subengine
of CoreEngine --------*- C++ -*-//
10
// This file defines the interface of a
subengine
of the CoreEngine.
43
class
SubEngine
{
46
virtual ~
SubEngine
() {}
60
///
SubEngine
is expected to populate dstNodes with new nodes representing
CoreEngine.h
60
SubEngine
& SubEng;
107
CoreEngine(
SubEngine
&
subengine
,
109
: SubEng(
subengine
), G(new ExplodedGraph()),
ProgramState.h
43
SubEngine
*);
436
/// Eng - The
SubEngine
that owns this state manager.
437
SubEngine
*Eng; /* Can be null. */
469
SubEngine
*subeng);
506
SubEngine
* getOwningEngine() { return Eng; }
ExprEngine.h
27
#include "clang/StaticAnalyzer/Core/PathSensitive/
SubEngine
.h"
49
class ExprEngine : public
SubEngine
{
Completed in 937 milliseconds