clang
7.0.0
|
A Range represents the closed range [from, to]. More...
#include "clang/StaticAnalyzer/Core/PathSensitive/RangedConstraintManager.h"
Public Member Functions | |
Range (const llvm::APSInt &from, const llvm::APSInt &to) | |
bool | Includes (const llvm::APSInt &v) const |
const llvm::APSInt & | From () const |
const llvm::APSInt & | To () const |
const llvm::APSInt * | getConcreteValue () const |
void | Profile (llvm::FoldingSetNodeID &ID) const |
A Range represents the closed range [from, to].
The caller must guarantee that from <= to. Note that Range is immutable, so as not to subvert RangeSet's immutability.
Definition at line 28 of file RangedConstraintManager.h.
|
inline |
Definition at line 30 of file RangedConstraintManager.h.
|
inline |
Definition at line 37 of file RangedConstraintManager.h.
Referenced by getConcreteValue(), Profile(), and clang::ento::RangedConstraintManager::RangedConstraintManager().
|
inline |
Definition at line 39 of file RangedConstraintManager.h.
|
inline |
Definition at line 34 of file RangedConstraintManager.h.
|
inline |
Definition at line 43 of file RangedConstraintManager.h.
|
inline |
Definition at line 38 of file RangedConstraintManager.h.
Referenced by getConcreteValue(), Profile(), and clang::ento::RangedConstraintManager::RangedConstraintManager().