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

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

clang: lib/Analysis/FlowSensitive/Arena.cpp Source File

std::pair<const Formula *, const Formula *>

Res = std::make_pair(&LHS, &RHS);

std::swap(Res.first, Res.second);

<

Key,

ComputeFunc>

[It, Inserted] =

.try_emplace(std::forward<Key>(K));

(AtomRefs, A, [&] {

(A));

LHS.

() ? &RHS : &LHS;

RHS.

() ? &LHS : &RHS;

LHS.

() ? &LHS : &RHS;

RHS.

() ? &RHS : &LHS;

(Nots, &Val, [&] {

(Implies, std::make_pair(&LHS, &RHS), [&] {

[It, Inserted] = IntegerLiterals.try_emplace(

,

);

It->second = &create<IntegerValue>();

[It, Inserted] = FormulaValues.try_emplace(&F);

? (

*)&create<AtomicBoolValue>(F)

: &create<FormulaBoolValue>(F);

EatSpaces = [&] { In = In.ltrim(

); };

(In.consume_front(

)) {

(

*Arg = parse(A, In))

(In.consume_front(

)) {

*Arg1 = parse(A, In);

(In.consume_front(

))

(In.consume_front(

))

(In.consume_front(

))

(In.consume_front(

))

*Arg2 = parse(A, In);

(!In.consume_front(

))

&(A.*Op)(*Arg1, *Arg2);

(

.consume_front(

)) {

std::underlying_type_t<Atom> At;

(

.consumeInteger(10, At))

(

.consume_front(

))

(

.consume_front(

))

FormulaParseError :

llvm::ErrorInfo<FormulaParseError> {

FormulaParseError(llvm::StringRef Formula,

Offset)

: Formula(Formula), Offset(Offset) {}

(raw_ostream &OS)

{

OS <<

<< Offset <<

;

OS << Formula <<

;

OS.indent(Offset) <<

;

std::error_code convertToErrorCode()

{

std::make_error_code(std::errc::invalid_argument);

FormulaParseError::ID = 0;

llvm::StringRef Rest = In;

*

= parse(*

, Rest);

llvm::make_error<FormulaParseError>(In, In.size() - Rest.size());

llvm::make_error<FormulaParseError>(In, In.size() - Rest.size());

TypePropertyCache< Private > Cache

The Arena owns the objects that model data within an analysis.

const Formula & makeEquals(const Formula &LHS, const Formula &RHS)

Returns a formula for LHS <=> RHS.

const Formula & makeAtomRef(Atom A)

Returns a formula for the variable A.

IntegerValue & makeIntLiteral(llvm::APInt Value)

Returns a symbolic integer value that models an integer literal equal to Value.

const Formula & makeNot(const Formula &Val)

Returns a formula for the negation of Val.

const Formula & makeOr(const Formula &LHS, const Formula &RHS)

Returns a formula for the disjunction of LHS and RHS.

BoolValue & makeBoolValue(const Formula &)

Creates a BoolValue wrapping a particular formula.

const Formula & makeAnd(const Formula &LHS, const Formula &RHS)

Returns a formula for the conjunction of LHS and RHS.

const Formula & makeImplies(const Formula &LHS, const Formula &RHS)

Returns a formula for LHS => RHS.

const Formula & makeLiteral(bool Value)

Returns a formula for a literal true/false.

llvm::Expected< const Formula & > parseFormula(llvm::StringRef)

ArrayRef< const Formula * > operands() const

@ Equal

True if LHS is false or RHS is true.

@ Implies

True if either LHS or RHS is true.

@ AtomRef

A reference to an atomic boolean variable.

@ Literal

Constant true or false.

@ Or

True if LHS and RHS are both true.

@ And

True if its only operand is false.

static const Formula & create(llvm::BumpPtrAllocator &Alloc, Kind K, ArrayRef< const Formula * > Operands, unsigned Value=0)

Base class for all values computed by abstract interpretation.

Dataflow Directional Tag Classes.

static const Formula & cached(llvm::DenseMap< Key, const Formula * > &Cache, Key K, ComputeFunc &&Compute)

Atom

Identifies an atomic boolean variable such as "V1".

static std::pair< const Formula *, const Formula * > canonicalFormulaPair(const Formula &LHS, const Formula &RHS)

if(T->getSizeExpr()) TRY_TO(TraverseStmt(const_cast< Expr * >(T -> getSizeExpr())))

@ Result

The result type of a method or function.

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