Home
last modified time | relevance | path

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

/freebsd-14.2/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/
H A DDataflowEnvironment.h518 BoolValue &getBoolLiteralValue(bool Value) const { in getBoolLiteralValue()
523 BoolValue &makeAtomicBoolValue() const { in makeAtomicBoolValue()
528 BoolValue &makeTopBoolValue() const { in makeTopBoolValue()
536 BoolValue &makeAnd(BoolValue &LHS, BoolValue &RHS) const { in makeAnd()
545 BoolValue &makeOr(BoolValue &LHS, BoolValue &RHS) const { in makeOr()
552 BoolValue &makeNot(BoolValue &Val) const { in makeNot()
560 BoolValue &makeImplication(BoolValue &LHS, BoolValue &RHS) const { in makeImplication()
569 BoolValue &makeIff(BoolValue &LHS, BoolValue &RHS) const { in makeIff()
H A DValue.h96 class BoolValue : public Value {
100 explicit BoolValue(Kind ValueKind, const Formula &F) in BoolValue() function
118 class TopBoolValue final : public BoolValue {
120 TopBoolValue(const Formula &F) : BoolValue(Kind::TopBool, F) { in TopBoolValue()
135 class AtomicBoolValue final : public BoolValue {
137 explicit AtomicBoolValue(const Formula &F) : BoolValue(Kind::AtomicBool, F) { in AtomicBoolValue()
149 class FormulaBoolValue final : public BoolValue {
152 : BoolValue(Kind::FormulaBool, F) { in FormulaBoolValue()
H A DArena.h66 BoolValue &makeBoolValue(const Formula &);
144 llvm::DenseMap<const Formula *, BoolValue *> FormulaValues;
/freebsd-14.2/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DTransfer.cpp53 static BoolValue &evaluateBooleanEquality(const Expr &LHS, const Expr &RHS, in evaluateBooleanEquality()
61 if (auto *LHSBool = dyn_cast_or_null<BoolValue>(LHSValue)) in evaluateBooleanEquality()
62 if (auto *RHSBool = dyn_cast_or_null<BoolValue>(RHSValue)) in evaluateBooleanEquality()
68 static BoolValue &unpackValue(BoolValue &V, Environment &Env) { in unpackValue()
85 auto *B = dyn_cast_or_null<BoolValue>(Val); in maybeUnpackLValueExpr()
152 BoolValue &LHSVal = getLogicOperatorSubExprValue(*LHS); in VisitBinaryOperator()
153 BoolValue &RHSVal = getLogicOperatorSubExprValue(*RHS); in VisitBinaryOperator()
271 dyn_cast_or_null<BoolValue>(Env.getValue(*SubExpr))) in VisitImplicitCastExpr()
760 BoolValue &getLogicOperatorSubExprValue(const Expr &SubExpr) { in getLogicOperatorSubExprValue()
766 dyn_cast_or_null<BoolValue>(SubExprEnv->getValue(SubExpr))) in getLogicOperatorSubExprValue()
[all …]
H A DArena.cpp112 BoolValue &Arena::makeBoolValue(const Formula &F) { in makeBoolValue()
116 ? (BoolValue *)&create<AtomicBoolValue>(F) in makeBoolValue()
H A DDataflowEnvironment.cpp100 if (isa<BoolValue>(&Val1) && isa<BoolValue>(&Val2)) { in mergeDistinctValues()
114 auto &Expr1 = cast<BoolValue>(Val1).formula(); in mergeDistinctValues()
115 auto &Expr2 = cast<BoolValue>(Val2).formula(); in mergeDistinctValues()
160 if (auto *PrevBool = dyn_cast<BoolValue>(&Prev)) { in widenDistinctValues()
169 auto &CurBool = cast<BoolValue>(Current); in widenDistinctValues()
H A DTypeErasedDataflowAnalysis.cpp128 auto *Val = Env.get<BoolValue>(Cond); in extendFlowCondition()
H A DHTMLLogger.cpp115 if (auto *B = llvm::dyn_cast<BoolValue>(&V)) { in dump()
/freebsd-14.2/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/Models/
H A DUncheckedOptionalAccessModel.cpp229 auto *Value = Env.get<BoolValue>(Expr); in forceBoolValue()
248 void setHasValue(RecordStorageLocation &OptionalLoc, BoolValue &HasValueVal, in setHasValue()
257 BoolValue &HasValueVal, Environment &Env) { in createOptionalValue()
266 BoolValue *getHasValue(Environment &Env, RecordStorageLocation *OptionalLoc) { in getHasValue()
270 auto *HasValueVal = Env.get<BoolValue>(HasValueLoc); in getHasValue()
423 BoolValue &HasValueVal) { in constructOptionalValue()
431 BoolValue &valueOrConversionHasValue(const FunctionDecl &F, const Expr &E, in valueOrConversionHasValue()
469 void transferAssignment(const CXXOperatorCallExpr *E, BoolValue &HasValueVal, in transferAssignment()
519 BoolValue *BoolVal1 = getHasValue(Env, Loc1); in transferSwap()
523 BoolValue *BoolVal2 = getHasValue(Env, Loc2); in transferSwap()
[all …]
/freebsd-14.2/contrib/llvm-project/clang/lib/Sema/
H A DSemaDeclCXX.cpp17162 int64_t BoolValue = V.getInt().getExtValue(); in ConvertAPValueToString() local
17163 assert((BoolValue == 0 || BoolValue == 1) && in ConvertAPValueToString()
17166 OS << (BoolValue ? "true" : "false"); in ConvertAPValueToString()