OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
defs:ExprEngine
(Results
1 - 3
of
3
) sorted by null
/external/clang/test/SemaTemplate/
instantiate-member-expr.cpp
12
class
ExprEngine
{
25
void f(
ExprEngine
& Eng) {
26
Eng.registerCheck(new RetainReleaseChecker); // expected-note {{in instantiation of function template specialization '
ExprEngine
::registerCheck<RetainReleaseChecker>' requested here}}
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ExprEngine.h
1
//===--
ExprEngine
.h - Path-Sensitive Expression-Level Dataflow ---*- C++ -*-=//
47
class
ExprEngine
: public SubEngine {
90
/// destructor is called before the rest of the
ExprEngine
is destroyed.
94
ExprEngine
(AnalysisManager &mgr, bool gcEnabled,
98
~
ExprEngine
();
/external/clang/lib/StaticAnalyzer/Core/
ExprEngine.cpp
1
//=--
ExprEngine
.cpp - Path-Sensitive Expression-Level Dataflow ---*- C++ -*-=
16
#define DEBUG_TYPE "
ExprEngine
"
21
#include "clang/StaticAnalyzer/Core/PathSensitive/
ExprEngine
.h"
69
ExprEngine
::
ExprEngine
(AnalysisManager &mgr, bool gcEnabled,
93
ExprEngine
::~
ExprEngine
() {
102
ProgramStateRef
ExprEngine
::getInitialState(const LocationContext *InitLoc) {
185
ProgramStateRef
ExprEngine
::processAssume(ProgramStateRef state,
190
bool
ExprEngine
::wantsRegionChangeUpdate(ProgramStateRef state)
[
all
...]
Completed in 240 milliseconds