Home
last modified time | relevance | path

Searched refs:BoolValue (Results 1 – 10 of 10) 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.cpp57 static BoolValue &evaluateBooleanEquality(const Expr &LHS, const Expr &RHS, in evaluateBooleanEquality()
72 if (auto *LHSBool = dyn_cast_or_null<BoolValue>(LHSValue)) in evaluateBooleanEquality()
73 if (auto *RHSBool = dyn_cast_or_null<BoolValue>(RHSValue)) in evaluateBooleanEquality()
87 static BoolValue &unpackValue(BoolValue &V, Environment &Env) { in unpackValue()
104 auto *B = dyn_cast_or_null<BoolValue>(Val); in maybeUnpackLValueExpr()
181 BoolValue &LHSVal = getLogicOperatorSubExprValue(*LHS); in VisitBinaryOperator()
182 BoolValue &RHSVal = getLogicOperatorSubExprValue(*RHS); in VisitBinaryOperator()
300 dyn_cast_or_null<BoolValue>(Env.getValue(*SubExpr))) in VisitImplicitCastExpr()
390 auto *SubExprVal = dyn_cast_or_null<BoolValue>(Env.getValue(*SubExpr)); in VisitUnaryOperator()
827 BoolValue &getLogicOperatorSubExprValue(const Expr &SubExpr) { in getLogicOperatorSubExprValue()
[all …]
H A DDataflowEnvironment.cpp126 if (isa<BoolValue>(&Val1) && isa<BoolValue>(&Val2)) { in joinDistinctValues()
140 auto &Expr1 = cast<BoolValue>(Val1).formula(); in joinDistinctValues()
141 auto &Expr2 = cast<BoolValue>(Val2).formula(); in joinDistinctValues()
164 if (isa<BoolValue>(Prev) && isa<BoolValue>(Current)) { in widenDistinctValues()
168 auto &PrevBool = cast<BoolValue>(Prev); in widenDistinctValues()
169 auto &CurBool = cast<BoolValue>(Current); in widenDistinctValues()
H A DArena.cpp112 BoolValue &Arena::makeBoolValue(const Formula &F) { in makeBoolValue()
116 ? (BoolValue *)&create<AtomicBoolValue>(F) in makeBoolValue()
H A DTypeErasedDataflowAnalysis.cpp309 auto *CondVal = Copy.Env.get<BoolValue>(*Cond); in computeBlockInputState()
315 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.cpp369 auto *Value = Env.get<BoolValue>(Expr); in forceBoolValue()
388 void setHasValue(RecordStorageLocation &OptionalLoc, BoolValue &HasValueVal, in setHasValue()
395 BoolValue *getHasValue(Environment &Env, RecordStorageLocation *OptionalLoc) { in getHasValue()
399 auto *HasValueVal = Env.get<BoolValue>(HasValueLoc); in getHasValue()
684 BoolValue &HasValueVal) { in constructOptionalValue()
692 BoolValue &valueOrConversionHasValue(QualType DestType, const Expr &E, in valueOrConversionHasValue()
730 void transferAssignment(const CXXOperatorCallExpr *E, BoolValue &HasValueVal, in transferAssignment()
781 BoolValue *BoolVal1 = getHasValue(Env, Loc1); in transferSwap()
785 BoolValue *BoolVal2 = getHasValue(Env, Loc2); in transferSwap()
1125 if (auto *HasValueVal = cast_or_null<BoolValue>(Prop)) { in diagnoseUnwrapCall()
/freebsd/contrib/llvm-project/clang/lib/AST/ByteCode/
H A DCompiler.cpp2409 if (std::optional<bool> BoolValue = getBoolValue(Condition)) { in VisitAbstractConditionalOperator() local
2410 if (BoolValue) in VisitAbstractConditionalOperator()
5406 if (std::optional<bool> BoolValue = getBoolValue(IS->getCond())) { in visitIfStmt() local
5407 if (*BoolValue) in visitIfStmt()
/freebsd/contrib/llvm-project/clang/lib/Sema/
H A DSemaDeclCXX.cpp17494 int64_t BoolValue = V.getInt().getExtValue(); in ConvertAPValueToString() local
17495 assert((BoolValue == 0 || BoolValue == 1) && in ConvertAPValueToString()
17498 OS << (BoolValue ? "true" : "false"); in ConvertAPValueToString()