OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:RangeConstraintManager
(Results
1 - 2
of
2
) sorted by null
/external/clang/lib/StaticAnalyzer/Core/
RangeConstraintManager.cpp
1
//==
RangeConstraintManager
.cpp - Manage range constraints.------*- C++ -*--==//
10
// This file defines
RangeConstraintManager
, a class that tracks simple
285
class
RangeConstraintManager
: public SimpleConstraintManager{
288
RangeConstraintManager
(SubEngine *subengine, SValBuilder &SVB)
331
return new
RangeConstraintManager
(Eng, StMgr.getSValBuilder());
334
const llvm::APSInt*
RangeConstraintManager
::getSymVal(ProgramStateRef St,
340
ConditionTruthVal
RangeConstraintManager
::checkNull(ProgramStateRef State,
367
RangeConstraintManager
::removeDeadBindings(ProgramStateRef state,
383
RangeConstraintManager
::GetRange(ProgramStateRef state, SymbolRef sym) {
405
// assumeSymX methods: public interface for
RangeConstraintManager
[
all
...]
Android.mk
41
RangeConstraintManager
.cpp \
Completed in 526 milliseconds