#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/raw_ostream.h"
Include dependency graph for BasicConstraintManager.cpp:
Go to the source code of this file.
Classes | |
| struct | clang::ento::ProgramStateTrait< ConstNotEq > |
| struct | clang::ento::ProgramStateTrait< ConstEq > |
Namespaces | |
| namespace | clang |
| namespace | clang::ento |
Typedefs | |
| typedef llvm::ImmutableMap < SymbolRef, ProgramState::IntSetTy > | ConstNotEqTy |
| typedef llvm::ImmutableMap < SymbolRef, const llvm::APSInt * > | ConstEqTy |
Variables | |
| static int | ConstEqIndex = 0 |
| static int | ConstNotEqIndex = 0 |
Typedef Documentation
| typedef llvm::ImmutableMap<SymbolRef,const llvm::APSInt*> ConstEqTy |
Definition at line 29 of file BasicConstraintManager.cpp.
| typedef llvm::ImmutableMap<SymbolRef,ProgramState::IntSetTy> ConstNotEqTy |
Definition at line 28 of file BasicConstraintManager.cpp.
Variable Documentation
int ConstEqIndex = 0 [static] |
Definition at line 31 of file BasicConstraintManager.cpp.
Referenced by clang::ento::ProgramStateTrait< ConstEq >::GDMIndex().
int ConstNotEqIndex = 0 [static] |
Definition at line 32 of file BasicConstraintManager.cpp.
Referenced by clang::ento::ProgramStateTrait< ConstNotEq >::GDMIndex().