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

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

clang: lib/StaticAnalyzer/Core/SimpleConstraintManager.cpp Source File

(std::optional<Loc> LV = Cond.

<

>()) {

&SVB = State->getStateManager().getSValBuilder();

(

*TR = dyn_cast_or_null<TypedRegion>(MR))

= TR->getLocationType();

assume(State, Cond.

<

>(), Assumption);

Cond,

Assumption) {

State = assumeAux(State, Cond, Assumption);

(Cond.getKind()) {

llvm_unreachable(

);

nonloc::SymbolValKind: {

nonloc::SymbolVal SV = Cond.castAs<nonloc::SymbolVal>();

(State, Sym, Assumption);

nonloc::ConcreteIntKind: {

= *Cond.castAs<nonloc::ConcreteInt>().getValue().get() != 0;

isFeasible =

? Assumption : !Assumption;

isFeasible ? State :

;

nonloc::PointerToMemberKind: {

= !Cond.castAs<nonloc::PointerToMember>().isNullMemberPointer();

IsFeasible =

? Assumption : !Assumption;

IsFeasible ? State :

;

nonloc::LocAsIntegerKind:

(State, Cond.castAs<nonloc::LocAsInteger>().getLoc(),

llvm::APSInt &To,

InRange) {

assert(From.isUnsigned() == To.isUnsigned() &&

From.getBitWidth() == To.getBitWidth() &&

);

llvm_unreachable(

nonloc::LocAsIntegerKind:

nonloc::SymbolValKind: {

nonloc::ConcreteIntKind: {

IsInRange = IntVal >= From && IntVal <= To;

isFeasible = (IsInRange == InRange);

isFeasible ? State :

;

A (possibly-)qualified type.

virtual bool canReasonAbout(SVal X) const =0

canReasonAbout - Not all ConstraintManagers can accurately reason about all SVal values.

ProgramStateRef processAssume(ProgramStateRef state, SVal cond, bool assumption)

evalAssume - Callback function invoked by the ConstraintManager when making assumptions about state v...

MemRegion - The root abstract class for all memory regions.

ASTContext & getContext()

SVal evalCast(SVal V, QualType CastTy, QualType OriginalTy)

Cast a given SVal to another SVal using given QualType's.

std::optional< T > getAs() const

Convert to the specified SVal type, returning std::nullopt if this SVal is not of the desired type.

T castAs() const

Convert to the specified SVal type, asserting that this SVal is of the desired type.

ProgramStateRef assumeInclusiveRangeInternal(ProgramStateRef State, NonLoc Value, const llvm::APSInt &From, const llvm::APSInt &To, bool InRange) override

virtual ProgramStateRef assumeSym(ProgramStateRef State, SymbolRef Sym, bool Assumption)=0

Given a symbolic expression that can be reasoned about, assume that it is true/false and generate the...

~SimpleConstraintManager() override

virtual ProgramStateRef assumeSymUnsupported(ProgramStateRef State, SymbolRef Sym, bool Assumption)=0

Given a symbolic expression that cannot be reasoned about, assume that it is zero/nonzero and add it ...

virtual ProgramStateRef assumeSymInclusiveRange(ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From, const llvm::APSInt &To, bool InRange)=0

Given a symbolic expression within the range [From, To], assume that it is true/false and generate th...

ProgramStateRef assumeInternal(ProgramStateRef State, DefinedSVal Cond, bool Assumption) override

Ensures that the DefinedSVal conditional is expressed as a NonLoc by creating boolean casts to handle...

TypedRegion - An abstract class representing regions that are typed.

Value representing integer constant.

IntrusiveRefCntPtr< const ProgramState > ProgramStateRef

const SymExpr * SymbolRef

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

const FunctionProtoType * T

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