#include "SimpleConstraintManager.h"#include "clang/StaticAnalyzer/Core/PathSensitive/APSIntType.h"#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"#include "llvm/Support/Debug.h"#include "llvm/ADT/FoldingSet.h"#include "llvm/ADT/ImmutableSet.h"#include "llvm/Support/raw_ostream.h"
Include dependency graph for RangeConstraintManager.cpp:
Go to the source code of this file.
Classes | |
| struct | clang::ento::ProgramStateTrait< ConstraintRange > |
Namespaces | |
| namespace | clang |
| namespace | clang::ento |
Typedefs | |
| typedef llvm::ImmutableMap < SymbolRef, RangeSet > | ConstraintRangeTy |
Variables | |
| static int | ConstraintRangeIndex = 0 |
Typedef Documentation
| typedef llvm::ImmutableMap<SymbolRef,RangeSet> ConstraintRangeTy |
Definition at line 283 of file RangeConstraintManager.cpp.
Variable Documentation
int ConstraintRangeIndex = 0 [static] |
Definition at line 28 of file RangeConstraintManager.cpp.
Referenced by clang::ento::ProgramStateTrait< ConstraintRange >::GDMIndex().