OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:getConstraintManager
(Results
1 - 14
of
14
) sorted by null
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
CheckerContext.h
106
ConstraintManager &
getConstraintManager
() {
107
return Eng.
getConstraintManager
();
ExprEngine.h
280
ConstraintManager&
getConstraintManager
() {
281
return StateMgr.
getConstraintManager
();
ProgramState.h
113
ConstraintManager &
getConstraintManager
() const;
505
ConstraintManager&
getConstraintManager
() { return *ConstraintMgr; }
620
inline ConstraintManager &ProgramState::
getConstraintManager
() const {
621
return stateMgr->
getConstraintManager
();
/external/clang/lib/StaticAnalyzer/Checkers/
DivZeroChecker.cpp
69
ConstraintManager &CM = C.
getConstraintManager
();
BoolAssignmentChecker.cpp
81
ConstraintManager &CM = C.
getConstraintManager
();
NonNullParamChecker.cpp
115
ConstraintManager &CM = C.
getConstraintManager
();
SimpleStreamChecker.cpp
178
ConstraintManager &CMgr = State->
getConstraintManager
();
StreamChecker.cpp
217
ConstraintManager &CM = C.
getConstraintManager
();
344
ConstraintManager &CM = C.
getConstraintManager
();
MacOSKeychainAPIChecker.cpp
564
ConstraintManager &CMgr = State->
getConstraintManager
();
MallocChecker.cpp
668
ConstraintManager &CMgr = State->
getConstraintManager
();
[
all
...]
RetainCountChecker.cpp
[
all
...]
/external/clang/lib/StaticAnalyzer/Core/
ProgramState.cpp
238
.
getConstraintManager
()
323
ConstraintManager &CM = SM.
getConstraintManager
();
405
Mgr.
getConstraintManager
().print(this, Out, NL, Sep);
SimpleSValBuilder.cpp
516
if (const llvm::APSInt *Constant = state->
getConstraintManager
()
[
all
...]
ExprEngine.cpp
359
CheckerState =
getConstraintManager
().removeDeadBindings(CheckerState,
[
all
...]
Completed in 508 milliseconds