Searched refs:SimpleConstraintManager (Results 1 – 7 of 7) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SimpleConstraintManager.cpp | 24 SimpleConstraintManager::~SimpleConstraintManager() {} in ~SimpleConstraintManager()
26 bool SimpleConstraintManager::canReasonAbout(SVal X) const { in canReasonAbout()
68 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, in assume()
87 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, in assume()
98 SimpleConstraintManager::assumeAuxForSymbol(ProgramStateRef State, in assumeAuxForSymbol()
114 ProgramStateRef SimpleConstraintManager::assumeAux(ProgramStateRef state, in assumeAux()
193 ProgramStateRef SimpleConstraintManager::assumeWithinInclusiveRange( in assumeWithinInclusiveRange()
246 ProgramStateRef SimpleConstraintManager::assumeSymRel(ProgramStateRef state, in assumeSymRel()
302 SimpleConstraintManager::assumeSymWithinInclusiveRange(ProgramStateRef State, in assumeSymWithinInclusiveRange()
|
| D | SimpleConstraintManager.h | 24 class SimpleConstraintManager : public ConstraintManager {
28 SimpleConstraintManager(SubEngine *subengine, SValBuilder &SB) in SimpleConstraintManager() function
30 ~SimpleConstraintManager() override;
|
| D | CMakeLists.txt | 40 SimpleConstraintManager.cpp
|
| D | RangeConstraintManager.cpp | 294 class RangeConstraintManager : public SimpleConstraintManager{
298 : SimpleConstraintManager(subengine, SVB) {} in RangeConstraintManager()
|
| /external/clang/test/ARCMT/ |
| D | objcmt-arc-cf-annotations.m | 685 // '($0 - 1)' after '--length', but SimpleConstraintManager doesn't know how to
|
| D | objcmt-arc-cf-annotations.m.result | 727 // '($0 - 1)' after '--length', but SimpleConstraintManager doesn't know how to
|
| /external/clang/test/Analysis/ |
| D | retain-release.m | 680 // '($0 - 1)' after '--length', but SimpleConstraintManager doesn't know how to
|