Searched refs:makeAtomicBoolValue (Results 1 – 5 of 5) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/Models/ |
| H A D | UncheckedOptionalAccessModel.cpp | 373 Value = &Env.makeAtomicBoolValue(); in forceBoolValue()
401 HasValueVal = &Env.makeAtomicBoolValue(); in getHasValue()
548 setHasValue(*Loc, State.Env.makeAtomicBoolValue(), State.Env); in transferCallReturningOptional()
573 State.Env.makeAtomicBoolValue(), State.Env); in handleConstMemberCall()
601 State.Env.makeAtomicBoolValue(), State.Env); in handleConstMemberCall()
653 setHasValue(*FieldRecordLoc, State.Env.makeAtomicBoolValue(), in handleNonConstMemberCall()
715 return State.Env.makeAtomicBoolValue(); in valueOrConversionHasValue()
767 setHasValue(*Loc2, Env.makeAtomicBoolValue(), Env); in transferSwap()
771 setHasValue(*Loc1, Env.makeAtomicBoolValue(), Env); in transferSwap()
783 BoolVal1 = &Env.makeAtomicBoolValue(); in transferSwap()
[all …]
|
| /freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/ |
| H A D | Transfer.cpp | 84 return Env.makeAtomicBoolValue(); in evaluateBooleanEquality()
305 Env.setValue(*S, Env.makeAtomicBoolValue()); in VisitImplicitCastExpr()
848 return Env.makeAtomicBoolValue(); in getLogicOperatorSubExprValue()
|
| H A D | TypeErasedDataflowAnalysis.cpp | 480 State.Env.setValue(*TerminatorCond, State.Env.makeAtomicBoolValue());
|
| H A D | DataflowEnvironment.cpp | 990 return &makeAtomicBoolValue(); in createValueUnlessSelfReferential()
|
| /freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | DataflowEnvironment.h | 574 BoolValue &makeAtomicBoolValue() const { in makeAtomicBoolValue() function
|