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

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

clang: include/clang/Analysis/FlowSensitive/Value.h Source File

(

ValKind) : ValKind(ValKind) {}

Properties.lookup(Name);

Properties.insert_or_assign(Name, &Val);

llvm::iterator_range<llvm::StringMap<Value *>::const_iterator>

{Properties.begin(), Properties.end()};

llvm::StringMap<Value *> Properties;

:

(ValueKind), F(&F) {}

Models an atomic boolean.

AtomicBoolValue(const Formula &F)

static bool classof(const Value *Val)

BoolValue(Kind ValueKind, const Formula &F)

const Formula & formula() const

static bool classof(const Value *Val)

Models a compound boolean formula.

FormulaBoolValue(const Formula &F)

static bool classof(const Value *Val)

@ AtomRef

A reference to an atomic boolean variable.

static bool classof(const Value *Val)

Models a symbolic pointer. Specifically, any value of type T*.

PointerValue(StorageLocation &PointeeLoc)

StorageLocation & getPointeeLoc() const

static bool classof(const Value *Val)

Base class for elements of the local variable store and of the heap.

A TopBoolValue represents a boolean that is explicitly unconstrained.

TopBoolValue(const Formula &F)

static bool classof(const Value *Val)

Base class for all values computed by abstract interpretation.

Value(const Value &)=delete

Value * getProperty(llvm::StringRef Name) const

Returns the value of the synthetic property with the given Name or null if the property isn't assigne...

void setProperty(llvm::StringRef Name, Value &Val)

Assigns Val as the value of the synthetic property with the given Name.

Value & operator=(const Value &)=delete

llvm::iterator_range< llvm::StringMap< Value * >::const_iterator > properties() const

Atom

Identifies an atomic boolean variable such as "V1".

bool areEquivalentValues(const Value &Val1, const Value &Val2)

An equivalence relation for values.

llvm::raw_ostream & operator<<(llvm::raw_ostream &OS, Atom A)

The JSON file list parser is used to communicate input to InstallAPI.

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