persistent set of non-overlapping ranges. More...

#include "clang/StaticAnalyzer/Core/PathSensitive/RangedConstraintManager.h"

Classes
class	Factory

Public Types
using	const_iterator = ImplType::const_iterator

Public Member Functions
const_iterator	begin () const
const_iterator	end () const
size_t	size () const
bool	isEmpty () const
	RangeSet (const RangeSet &)=default
RangeSet &	operator= (const RangeSet &)=default
	RangeSet (RangeSet &&)=default
RangeSet &	operator= (RangeSet &&)=default
	~RangeSet ()=default
	RangeSet (Factory &F, const llvm::APSInt &From, const llvm::APSInt &To)
	Construct a new RangeSet representing '{ [From, To] }'.
	RangeSet (Factory &F, const llvm::APSInt &Point)
	Construct a new RangeSet representing the given point as a range.
void	Profile (llvm::FoldingSetNodeID &ID) const
	Profile - Generates a hash profile of this RangeSet for use by FoldingSet.
const llvm::APSInt *	getConcreteValue () const
	getConcreteValue - If a symbol is constrained to equal a specific integer constant then this method returns that value.
const llvm::APSInt &	getMinValue () const
	Get the minimal value covered by the ranges in the set.
const llvm::APSInt &	getMaxValue () const
	Get the maximal value covered by the ranges in the set.
bool	isUnsigned () const
uint32_t	getBitWidth () const
APSIntType	getAPSIntType () const
bool	contains (llvm::APSInt Point) const
	Test whether the given point is contained by any of the ranges.
bool	containsZero () const
bool	encodesFalseRange () const
	Test if the range is the [0,0] range.
bool	encodesTrueRange () const
	Test if the range doesn't contain zero.
void	dump (raw_ostream &OS) const
void	dump () const
bool	operator== (const RangeSet &Other) const
bool	operator!= (const RangeSet &Other) const

Static Public Member Functions
static void	Profile (llvm::FoldingSetNodeID &ID, const RangeSet &RS)

Friends
class	Factory

Detailed Description

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.

Member Typedef Documentation

◆ const_iterator

using clang::ento::RangeSet::const_iterator = ImplType::const_iterator

Definition at line 113 of file RangedConstraintManager.h.

Constructor & Destructor Documentation

◆ RangeSet() [1/4]

clang::ento::RangeSet::RangeSet ( const RangeSet & )

default

References RangeSet().

◆ RangeSet() [2/4]

clang::ento::RangeSet::RangeSet ( RangeSet && )

default

References RangeSet().

◆ ~RangeSet()

clang::ento::RangeSet::~RangeSet ( )

default

◆ RangeSet() [3/4]

clang::ento::RangeSet::RangeSet	(	Factory &	F,
		const llvm::APSInt &	From,
		const llvm::APSInt &	To )

inline

Construct a new RangeSet representing '{ [From, To] }'.

Definition at line 314 of file RangedConstraintManager.h.

References RangeSet().

◆ RangeSet() [4/4]

clang::ento::RangeSet::RangeSet	(	Factory &	F,
		const llvm::APSInt &	Point )

inline

Construct a new RangeSet representing the given point as a range.

Definition at line 318 of file RangedConstraintManager.h.

References RangeSet().

Member Function Documentation

◆ begin()

const_iterator clang::ento::RangeSet::begin ( ) const

inline

Definition at line 115 of file RangedConstraintManager.h.

Referenced by clang::ento::RangeSet::Factory::add(), getAPSIntType(), getBitWidth(), getConcreteValue(), getMinValue(), isUnsigned(), and clang::ento::RangeSet::Factory::negate().

◆ contains()

bool clang::ento::RangeSet::contains ( llvm::APSInt Point ) const

inline

Test whether the given point is contained by any of the ranges.

Complexity: O(logN) where N = size(this)

Definition at line 353 of file RangedConstraintManager.h.

Referenced by containsZero(), and clang::ento::RangeSet::Factory::deletePoint().

◆ containsZero()

bool clang::ento::RangeSet::containsZero ( ) const

inline

Definition at line 355 of file RangedConstraintManager.h.

References contains(), getMinValue(), and clang::T.

Referenced by encodesTrueRange().

◆ dump() [1/2]

LLVM_DUMP_METHOD void RangeSet::dump ( ) const

Definition at line 874 of file RangeConstraintManager.cpp.

References dump().

Referenced by clang::ento::Range::dump(), and dump().

◆ dump() [2/2]

LLVM_DUMP_METHOD void RangeSet::dump ( raw_ostream & OS ) const

Definition at line 869 of file RangeConstraintManager.cpp.

References clang::ento::Range::dump(), and clang::ento::OS.

◆ encodesFalseRange()

bool clang::ento::RangeSet::encodesFalseRange ( ) const

inline

Test if the range is the [0,0] range.

Complexity: O(1)

Definition at line 363 of file RangedConstraintManager.h.

References getConcreteValue().

Referenced by reAssume().

◆ encodesTrueRange()

bool clang::ento::RangeSet::encodesTrueRange ( ) const

inline

Test if the range doesn't contain zero.

Complexity: O(logN) where N = size(this)

Definition at line 372 of file RangedConstraintManager.h.

References containsZero().

Referenced by reAssume().

◆ end()

const_iterator clang::ento::RangeSet::end ( ) const

inline

Definition at line 116 of file RangedConstraintManager.h.

Referenced by clang::ento::RangeSet::Factory::add(), getMaxValue(), and clang::ento::RangeSet::Factory::negate().

◆ getAPSIntType()

APSIntType clang::ento::RangeSet::getAPSIntType ( ) const

Definition at line 367 of file RangeConstraintManager.cpp.

References begin(), and isEmpty().

Referenced by clang::ento::RangeSet::Factory::castTo(), and clang::ento::RangeSet::Factory::castTo().

◆ getBitWidth()

uint32_t clang::ento::RangeSet::getBitWidth ( ) const

Definition at line 362 of file RangeConstraintManager.cpp.

References begin(), and isEmpty().

Referenced by clang::ento::RangeSet::Factory::castTo().

◆ getConcreteValue()

const llvm::APSInt * clang::ento::RangeSet::getConcreteValue ( ) const

inline

getConcreteValue - If a symbol is constrained to equal a specific integer constant then this method returns that value.

Otherwise, it returns NULL.

Definition at line 332 of file RangedConstraintManager.h.

References begin().

Referenced by encodesFalseRange().

◆ getMaxValue()

const llvm::APSInt & RangeSet::getMaxValue ( ) const

Get the maximal value covered by the ranges in the set.

Complexity: O(1)

Definition at line 352 of file RangeConstraintManager.cpp.

References end(), and isEmpty().

Referenced by clang::ento::RangeSet::Factory::intersect(), clang::ento::RangeSet::Factory::intersect(), and reAssume().

◆ getMinValue()

const llvm::APSInt & RangeSet::getMinValue ( ) const

Get the minimal value covered by the ranges in the set.

Complexity: O(1)

Definition at line 347 of file RangeConstraintManager.cpp.

References begin(), and isEmpty().

Referenced by containsZero(), clang::ento::RangeSet::Factory::intersect(), clang::ento::RangeSet::Factory::intersect(), clang::ento::RangeSet::Factory::negate(), and reAssume().

◆ isEmpty()

bool clang::ento::RangeSet::isEmpty ( ) const

inline

Definition at line 119 of file RangedConstraintManager.h.

Referenced by clang::ento::RangeSet::Factory::castTo(), getAPSIntType(), getBitWidth(), getMaxValue(), getMinValue(), clang::ento::RangeSet::Factory::intersect(), clang::ento::RangeSet::Factory::intersect(), isUnsigned(), and clang::ento::RangeSet::Factory::negate().

◆ isUnsigned()

bool clang::ento::RangeSet::isUnsigned ( ) const

Definition at line 357 of file RangeConstraintManager.cpp.

References begin(), and isEmpty().

Referenced by clang::ento::RangeSet::Factory::castTo().

◆ operator!=()

bool clang::ento::RangeSet::operator!= ( const RangeSet & Other ) const

inline

Definition at line 378 of file RangedConstraintManager.h.

References clang::Other, and RangeSet().

◆ operator=() [1/2]

RangeSet & clang::ento::RangeSet::operator= ( const RangeSet & )

default

References RangeSet().

◆ operator=() [2/2]

RangeSet & clang::ento::RangeSet::operator= ( RangeSet && )

default

References RangeSet().

◆ operator==()

bool clang::ento::RangeSet::operator== ( const RangeSet & Other ) const

inline

Definition at line 377 of file RangedConstraintManager.h.

References clang::Other, and RangeSet().

◆ Profile() [1/2]

void clang::ento::RangeSet::Profile ( llvm::FoldingSetNodeID & ID ) const

inline

Profile - Generates a hash profile of this RangeSet for use by FoldingSet.

Definition at line 327 of file RangedConstraintManager.h.

References Profile().

Referenced by Profile().

◆ Profile() [2/2]

void clang::ento::RangeSet::Profile	(	llvm::FoldingSetNodeID &	ID,
		const RangeSet &	RS )

inlinestatic

Definition at line 321 of file RangedConstraintManager.h.

References RangeSet().

◆ size()

size_t clang::ento::RangeSet::size ( ) const

inline

Definition at line 117 of file RangedConstraintManager.h.

Referenced by clang::ento::RangeSet::Factory::add(), and clang::ento::RangeSet::Factory::negate().

◆ Factory

friend class Factory

friend

Definition at line 401 of file RangedConstraintManager.h.

The documentation for this class was generated from the following files:

include/clang/StaticAnalyzer/Core/PathSensitive/RangedConstraintManager.h
lib/StaticAnalyzer/Core/RangeConstraintManager.cpp

Classes

Public Types

Public Member Functions

Static Public Member Functions

Friends

Detailed Description

Member Typedef Documentation

◆ const_iterator

Constructor & Destructor Documentation

◆ RangeSet() [1/4]

◆ RangeSet() [2/4]

◆ ~RangeSet()

◆ RangeSet() [3/4]

◆ RangeSet() [4/4]

Member Function Documentation

◆ begin()

◆ contains()

◆ containsZero()

◆ dump() [1/2]

◆ dump() [2/2]

◆ encodesFalseRange()

◆ encodesTrueRange()

◆ end()

◆ getAPSIntType()

◆ getBitWidth()

◆ getConcreteValue()

◆ getMaxValue()

◆ getMinValue()

◆ isEmpty()

◆ isUnsigned()

◆ operator!=()

◆ operator=() [1/2]

◆ operator=() [2/2]

◆ operator==()

◆ Profile() [1/2]

◆ Profile() [2/2]

◆ size()

Friends And Related Symbol Documentation

◆ Factory