persistent set of non-overlapping ranges. More...
#include "clang/StaticAnalyzer/Core/PathSensitive/RangedConstraintManager.h"
persistent set of non-overlapping ranges.
New RangeSet objects can be ONLY produced by RangeSet::Factory object, which also supports the most common operations performed on range sets.
Empty set corresponds to an overly constrained symbol meaning that there are no possible values for that symbol.
Definition at line 71 of file RangedConstraintManager.h.
◆ const_iterator ◆ RangeSet() [1/4] clang::ento::RangeSet::RangeSet ( const RangeSet & ) default ◆ RangeSet() [2/4] clang::ento::RangeSet::RangeSet ( RangeSet && ) default ◆ ~RangeSet() clang::ento::RangeSet::~RangeSet ( ) default ◆ RangeSet() [3/4] clang::ento::RangeSet::RangeSet ( Factory & F, const llvm::APSInt & From, const llvm::APSInt & To ) inline ◆ RangeSet() [4/4] clang::ento::RangeSet::RangeSet ( Factory & F, const llvm::APSInt & Point ) inline ◆ begin() ◆ contains() bool clang::ento::RangeSet::contains ( llvm::APSInt Point ) const inline ◆ containsZero() bool clang::ento::RangeSet::containsZero ( ) const inline ◆ dump() [1/2] LLVM_DUMP_METHOD void RangeSet::dump ( ) const ◆ dump() [2/2] LLVM_DUMP_METHOD void RangeSet::dump ( raw_ostream & OS ) const ◆ encodesFalseRange() bool clang::ento::RangeSet::encodesFalseRange ( ) const inline ◆ encodesTrueRange() bool clang::ento::RangeSet::encodesTrueRange ( ) const inline ◆ end() ◆ getAPSIntType() APSIntType clang::ento::RangeSet::getAPSIntType ( ) const ◆ getBitWidth() uint32_t clang::ento::RangeSet::getBitWidth ( ) const ◆ getConcreteValue() const llvm::APSInt * clang::ento::RangeSet::getConcreteValue ( ) const inline ◆ getMaxValue() const llvm::APSInt & RangeSet::getMaxValue ( ) const ◆ getMinValue() const llvm::APSInt & RangeSet::getMinValue ( ) const ◆ isEmpty() bool clang::ento::RangeSet::isEmpty ( ) const inline ◆ isUnsigned() bool clang::ento::RangeSet::isUnsigned ( ) const ◆ operator!=() bool clang::ento::RangeSet::operator!= ( const RangeSet & Other ) const inline ◆ operator=() [1/2] ◆ operator=() [2/2] ◆ operator==() bool clang::ento::RangeSet::operator== ( const RangeSet & Other ) const inline ◆ Profile() [1/2] void clang::ento::RangeSet::Profile ( llvm::FoldingSetNodeID & ID ) const inline ◆ Profile() [2/2] static void clang::ento::RangeSet::Profile ( llvm::FoldingSetNodeID & ID, const RangeSet & RS ) inlinestatic ◆ size() size_t clang::ento::RangeSet::size ( ) const inline ◆ FactoryThe documentation for this class was generated from the following files:
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4