Searched refs:makeAtomicBoolValue (Results 1 – 5 of 5) sorted by relevance
233 Value = &Env.makeAtomicBoolValue(); in forceBoolValue()272 HasValueVal = &Env.makeAtomicBoolValue(); in getHasValue()417 createOptionalValue(*Loc, State.Env.makeAtomicBoolValue(), State.Env); in transferCallReturningOptional()455 return State.Env.makeAtomicBoolValue(); in valueOrConversionHasValue()505 createOptionalValue(*Loc2, Env.makeAtomicBoolValue(), Env); in transferSwap()509 createOptionalValue(*Loc1, Env.makeAtomicBoolValue(), Env); in transferSwap()521 BoolVal1 = &Env.makeAtomicBoolValue(); in transferSwap()525 BoolVal2 = &Env.makeAtomicBoolValue(); in transferSwap()
65 return Env.makeAtomicBoolValue(); in evaluateBooleanEquality()276 Env.setValue(*S, Env.makeAtomicBoolValue()); in VisitImplicitCastExpr()781 return Env.makeAtomicBoolValue(); in getLogicOperatorSubExprValue()
504 State.Env.setValue(*TerminatorCond, State.Env.makeAtomicBoolValue()); in transferCFGBlock()
871 return &makeAtomicBoolValue(); in createValueUnlessSelfReferential()
523 BoolValue &makeAtomicBoolValue() const { in makeAtomicBoolValue() function