clang
7.0.0
|
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SimpleConstraintManager.h"
Go to the source code of this file.
Classes | |
class | clang::ento::Range |
A Range represents the closed range [from, to]. More... | |
class | clang::ento::RangeTrait |
class | clang::ento::RangeSet |
RangeSet contains a set of ranges. More... | |
class | clang::ento::ConstraintRange |
struct | clang::ento::ProgramStateTrait< ConstraintRange > |
class | clang::ento::RangedConstraintManager |
Namespaces | |
clang | |
Dataflow Directional Tag Classes. | |
clang::ento | |
Typedefs | |
using | clang::ento::ConstraintRangeTy = llvm::ImmutableMap< SymbolRef, RangeSet > |