OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:ConstraintManager
(Results
1 - 11
of
11
) sorted by null
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h
1
//==
ConstraintManager
.h - Constraints on symbolic values.-------*- C++ -*--==//
32
class
ConstraintManager
{
34
virtual ~
ConstraintManager
();
64
/// all SVal values. This method returns true if the
ConstraintManager
can
71
ConstraintManager
* CreateBasicConstraintManager(ProgramStateManager& statemgr,
73
ConstraintManager
* CreateRangeConstraintManager(ProgramStateManager& statemgr,
CheckerContext.h
67
ConstraintManager
&getConstraintManager() {
ProgramState.h
18
#include "clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager
.h"
38
typedef
ConstraintManager
* (*ConstraintManagerCreator)(ProgramStateManager&,
150
// are managed using the
ConstraintManager
associated with a ProgramStateManager.
414
llvm::OwningPtr<
ConstraintManager
> ConstraintMgr;
455
ConstraintManager
* ConstraintManagerPtr,
501
ConstraintManager
& getConstraintManager() { return *ConstraintMgr; }
ExprEngine.h
187
/// evalAssume - Callback function invoked by the
ConstraintManager
when
211
ConstraintManager
& getConstraintManager() {
/external/clang/lib/StaticAnalyzer/Checkers/
DivZeroChecker.cpp
54
ConstraintManager
&CM = C.getConstraintManager();
AttrNonNullChecker.cpp
87
ConstraintManager
&CM = C.getConstraintManager();
StreamChecker.cpp
231
ConstraintManager
&CM = C.getConstraintManager();
347
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
23
// Give the vtable for
ConstraintManager
somewhere to live.
25
ConstraintManager
::~
ConstraintManager
() {}
306
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 188 milliseconds