RangeConstraintManager.cpp File Reference

#include "clang/Basic/JsonSupport.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/APSIntType.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/RangedConstraintManager.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SValVisitor.h"
#include "llvm/ADT/FoldingSet.h"
#include "llvm/ADT/ImmutableSet.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/SmallSet.h"
#include "llvm/ADT/StringExtras.h"
#include "llvm/Support/Compiler.h"
#include "llvm/Support/raw_ostream.h"
#include <algorithm>
#include <iterator>
#include <optional>
#include "clang/StaticAnalyzer/Core/PathSensitive/Symbols.def"

Go to the source code of this file.

Classes
class	OperatorRelationsTable

Macros
#define	DISPATCH(CLASS)
#define	ASSIGN(CLASS, TO, SYM, CONSTRAINT)
#define	SYMBOL(Id, Parent)
#define	DEFAULT_ASSIGN(Id)
#define	CONSTRAINT_DISPATCH(Id)
#define	SYMBOL(Id, Parent)
#define	ABSTRACT_SYMBOL(Id, Parent)

Functions
template<typename T>
static void	swapIterators (T &First, T &FirstEnd, T &Second, T &SecondEnd)
static ProgramStateRef	reAssume (ProgramStateRef State, const RangeSet *Constraint, SVal TheValue)
static std::string	toString (const SymbolRef &Sym)
static std::string	toString (ProgramStateRef State, EquivalenceClass Class)

Macro Definition Documentation

ABSTRACT_SYMBOL

#define ABSTRACT_SYMBOL	(		Id,
			Parent )

Value:

SYMBOL(Id, Parent)

Definition at line 2051 of file RangeConstraintManager.cpp.

ASSIGN

#define ASSIGN	(		CLASS,
			TO,
			SYM,
			CONSTRAINT )

Value:

  if (!static_cast<Derived *>(this)->assign##CLASS##To##TO(SYM, CONSTRAINT))   \
  return false

Definition at line 2004 of file RangeConstraintManager.cpp.

CONSTRAINT_DISPATCH

#define CONSTRAINT_DISPATCH

(

Id

)

Value:

  if (const llvm::APSInt *Const = Constraint.getConcreteValue()) {             \
    ASSIGN(Id, Const, Sym, *Const);                                            \
  }                                                                            \
  if (Constraint.size() == 1) {                                                \
    ASSIGN(Id, Range, Sym, *Constraint.begin());                               \
  }                                                                            \
  ASSIGN(Id, RangeSet, Sym, Constraint)

Definition at line 2033 of file RangeConstraintManager.cpp.

DEFAULT_ASSIGN

#define DEFAULT_ASSIGN

(

Id

)

Value:

  bool assign##Id##To##RangeSet(const Id *Sym, RangeSet Constraint) {          \
    return true;                                                               \
  }                                                                            \
  bool assign##Id##To##Range(const Id *Sym, Range Constraint) { return true; } \
  bool assign##Id##To##Const(const Id *Sym, Const Constraint) { return true; }

Definition at line 2022 of file RangeConstraintManager.cpp.

DISPATCH

#define DISPATCH

(

CLASS

)

Value:

return assign##CLASS##Impl(cast<CLASS>(Sym), Constraint)

Definition at line 2002 of file RangeConstraintManager.cpp.

SYMBOL [1/2]

#define SYMBOL	(		Id,
			Parent )

Value:

  case SymExpr::Id##Kind:                                                      \
    DISPATCH(Id);

Definition at line 2045 of file RangeConstraintManager.cpp.

SYMBOL [2/2]

#define SYMBOL	(		Id,
			Parent )

Value:

  bool assign##Id##Impl(const Id *Sym, RangeSet Constraint) {                  \
    CONSTRAINT_DISPATCH(Id);                                                   \
    DISPATCH(Parent);                                                          \
  }                                                                            \
  DEFAULT_ASSIGN(Id)

Definition at line 2045 of file RangeConstraintManager.cpp.

Function Documentation

reAssume()

ProgramStateRef reAssume ( ProgramStateRef State, const RangeSet * Constraint, SVal TheValue )

staticnodiscard

Definition at line 2643 of file RangeConstraintManager.cpp.

References clang::ento::SVal::castAs(), clang::ento::RangeSet::encodesFalseRange(), clang::ento::RangeSet::encodesTrueRange(), clang::ento::RangeSet::getMaxValue(), and clang::ento::RangeSet::getMinValue().

swapIterators()

template<typename T>

void swapIterators ( T & First, T & FirstEnd, T & Second, T & SecondEnd )

static

Definition at line 161 of file RangeConstraintManager.cpp.

References clang::First, and clang::T.

toString() [1/2]

std::string toString ( const SymbolRef & Sym )

static

Definition at line 3292 of file RangeConstraintManager.cpp.

References clang::ento::SymExpr::dumpToStream().

toString() [2/2]

std::string toString ( ProgramStateRef State, EquivalenceClass Class )

static

Definition at line 3345 of file RangeConstraintManager.cpp.

References toString().