RetroSearch Browse

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://clang.llvm.org/doxygen/RangeConstraintManager_8cpp.html below:

clang: lib/StaticAnalyzer/Core/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.

◆ ABSTRACT_SYMBOL ◆ 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(

, Const, Sym, *Const); \

} \

if (Constraint.size() == 1) { \

ASSIGN(

Range

, Sym, *Constraint.begin()); \

} \

persistent set of non-overlapping ranges.

A Range represents the closed range [from, to].

Definition at line 2033 of file RangeConstraintManager.cpp.

◆ DEFAULT_ASSIGN #define DEFAULT_ASSIGN ( Id ) Value:

return true; \

} \

bool

assign##

##To##

Range

(

const Id

*Sym,

Range

Constraint) {

return true

; } \

bool

assign##

##To##

Const

(

const Id

*Sym, Const Constraint) {

return true

; }

bool Const(InterpState &S, CodePtr OpPC, const T &Arg)

Definition at line 2022 of file RangeConstraintManager.cpp.

◆ DISPATCH ◆ SYMBOL [1/2] ◆ SYMBOL [2/2] ◆ reAssume() ◆ swapIterators()

template<typename T >

static void swapIterators ( T & First, T & FirstEnd, T & Second, T & SecondEnd ) static ◆ toString() [1/2] static std::string toString ( const SymbolRef & Sym ) static ◆ toString() [2/2] static std::string toString ( ProgramStateRef State, EquivalenceClass Class ) static

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