OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:ConstraintManager
(Results
1 - 12
of
12
) sorted by null
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h
1
//==
ConstraintManager
.h - Constraints on symbolic values.-------*- C++ -*--==//
29
class
ConstraintManager
{
31
virtual ~
ConstraintManager
();
65
/// all SVal values. This method returns true if the
ConstraintManager
can
72
ConstraintManager
* CreateBasicConstraintManager(ProgramStateManager& statemgr,
74
ConstraintManager
* CreateRangeConstraintManager(ProgramStateManager& statemgr,
CheckerContext.h
59
ConstraintManager
&getConstraintManager() {
ProgramState.h
18
#include "clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager
.h"
40
typedef
ConstraintManager
* (*ConstraintManagerCreator)(ProgramStateManager&,
146
// are managed using the
ConstraintManager
associated with a ProgramStateManager.
401
OwningPtr<
ConstraintManager
> ConstraintMgr;
438
ConstraintManager
* ConstraintManagerPtr,
484
ConstraintManager
& getConstraintManager() { return *ConstraintMgr; }
ExprEngine.h
208
/// evalAssume - Callback function invoked by the
ConstraintManager
when
233
ConstraintManager
& getConstraintManager() {
/external/clang/lib/StaticAnalyzer/Checkers/
DivZeroChecker.cpp
73
ConstraintManager
&CM = C.getConstraintManager();
AttrNonNullChecker.cpp
88
ConstraintManager
&CM = C.getConstraintManager();
BoolAssignmentChecker.cpp
81
ConstraintManager
&CM = C.getConstraintManager();
StreamChecker.cpp
229
ConstraintManager
&CM = C.getConstraintManager();
356
ConstraintManager
&CM = C.getConstraintManager();
/external/clang/lib/StaticAnalyzer/Core/
SimpleConstraintManager.h
17
#include "clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager
.h"
24
class SimpleConstraintManager : public
ConstraintManager
{
31
// Common implementation for the interface provided by
ConstraintManager
.
ProgramState.cpp
24
// Give the vtable for
ConstraintManager
somewhere to live.
26
ConstraintManager
::~
ConstraintManager
() {}
340
ConstraintManager
&CM = SM.getConstraintManager();
BasicConstraintManager.cpp
119
ConstraintManager
*
167
// The logic for these will be handled in another
ConstraintManager
.
RangeConstraintManager.cpp
255
ConstraintManager
* ento::CreateRangeConstraintManager(ProgramStateManager&,
Completed in 859 milliseconds