Home
last modified time | relevance | path

Searched refs:BoolValue (Results 1 – 8 of 8) sorted by relevance

/freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/
H A DDataflowEnvironment.h569 BoolValue &getBoolLiteralValue(bool Value) const { in getBoolLiteralValue()
574 BoolValue &makeAtomicBoolValue() const { in makeAtomicBoolValue()
579 BoolValue &makeTopBoolValue() const { in makeTopBoolValue()
587 BoolValue &makeAnd(BoolValue &LHS, BoolValue &RHS) const { in makeAnd()
596 BoolValue &makeOr(BoolValue &LHS, BoolValue &RHS) const { in makeOr()
603 BoolValue &makeNot(BoolValue &Val) const { in makeNot()
611 BoolValue &makeImplication(BoolValue &LHS, BoolValue &RHS) const { in makeImplication()
620 BoolValue &makeIff(BoolValue &LHS, BoolValue &RHS) const { in makeIff()
H A DValue.h94 class BoolValue : public Value {
98 explicit BoolValue(Kind ValueKind, const Formula &F) in BoolValue() function
116 class TopBoolValue final : public BoolValue {
118 TopBoolValue(const Formula &F) : BoolValue(Kind::TopBool, F) { in TopBoolValue()
133 class AtomicBoolValue final : public BoolValue {
135 explicit AtomicBoolValue(const Formula &F) : BoolValue(Kind::AtomicBool, F) { in AtomicBoolValue()
147 class FormulaBoolValue final : public BoolValue {
150 : BoolValue(Kind::FormulaBool, F) { in FormulaBoolValue()
/freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DTransfer.cpp59 static BoolValue &evaluateBooleanEquality(const Expr &LHS, const Expr &RHS, in evaluateBooleanEquality()
67 if (auto *LHSBool = dyn_cast_or_null<BoolValue>(LHSValue)) in evaluateBooleanEquality()
68 if (auto *RHSBool = dyn_cast_or_null<BoolValue>(RHSValue)) in evaluateBooleanEquality()
82 static BoolValue &unpackValue(BoolValue &V, Environment &Env) { in unpackValue()
99 auto *B = dyn_cast_or_null<BoolValue>(Val); in maybeUnpackLValueExpr()
176 BoolValue &LHSVal = getLogicOperatorSubExprValue(*LHS); in VisitBinaryOperator()
177 BoolValue &RHSVal = getLogicOperatorSubExprValue(*RHS); in VisitBinaryOperator()
295 dyn_cast_or_null<BoolValue>(Env.getValue(*SubExpr))) in VisitImplicitCastExpr()
385 auto *SubExprVal = dyn_cast_or_null<BoolValue>(Env.getValue(*SubExpr)); in VisitUnaryOperator()
822 BoolValue &getLogicOperatorSubExprValue(const Expr &SubExpr) { in getLogicOperatorSubExprValue()
[all …]
H A DDataflowEnvironment.cpp128 if (isa<BoolValue>(&Val1) && isa<BoolValue>(&Val2)) { in joinDistinctValues()
142 auto &Expr1 = cast<BoolValue>(Val1).formula(); in joinDistinctValues()
143 auto &Expr2 = cast<BoolValue>(Val2).formula(); in joinDistinctValues()
166 if (isa<BoolValue>(Prev) && isa<BoolValue>(Current)) { in widenDistinctValues()
170 auto &PrevBool = cast<BoolValue>(Prev); in widenDistinctValues()
171 auto &CurBool = cast<BoolValue>(Current); in widenDistinctValues()
H A DTypeErasedDataflowAnalysis.cpp294 auto *CondVal = Copy.Env.get<BoolValue>(*Cond); in computeBlockInputState()
300 BoolValue *AssertedVal = in computeBlockInputState()
H A DHTMLLogger.cpp114 if (auto *B = llvm::dyn_cast<BoolValue>(&V)) { in dump()
/freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/Models/
H A DUncheckedOptionalAccessModel.cpp318 auto *Value = Env.get<BoolValue>(Expr); in forceBoolValue()
337 void setHasValue(RecordStorageLocation &OptionalLoc, BoolValue &HasValueVal, in setHasValue()
344 BoolValue *getHasValue(Environment &Env, RecordStorageLocation *OptionalLoc) { in getHasValue()
348 auto *HasValueVal = Env.get<BoolValue>(HasValueLoc); in getHasValue()
492 BoolValue &HasValueVal) { in constructOptionalValue()
500 BoolValue &valueOrConversionHasValue(QualType DestType, const Expr &E, in valueOrConversionHasValue()
538 void transferAssignment(const CXXOperatorCallExpr *E, BoolValue &HasValueVal, in transferAssignment()
589 BoolValue *BoolVal1 = getHasValue(Env, Loc1); in transferSwap()
593 BoolValue *BoolVal2 = getHasValue(Env, Loc2); in transferSwap()
873 if (auto *HasValueVal = cast_or_null<BoolValue>(Prop)) { in diagnoseUnwrapCall()
/freebsd/contrib/llvm-project/clang/lib/Sema/
H A DSemaDeclCXX.cpp17018 int64_t BoolValue = V.getInt().getExtValue(); in ConvertAPValueToString() local
17019 assert((BoolValue == 0 || BoolValue == 1) && in ConvertAPValueToString()
17022 OS << (BoolValue ? "true" : "false"); in ConvertAPValueToString()