Home
last modified time | relevance | path

Searched refs:makeAtomicBoolValue (Results 1 – 7 of 7) sorted by relevance

/llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/Models/
H A DUncheckedOptionalAccessModel.cpp195 HasValueVal = &Env.makeAtomicBoolValue(); in getHasValue()
285 setHasValue(*OptionalVal, State.Env.makeAtomicBoolValue()); in initializeOptionalReference()
363 ExprValue = &State.Env.makeAtomicBoolValue(); in transferValueOrImpl()
410 Loc, createOptionalValue(State.Env, State.Env.makeAtomicBoolValue())); in transferCallReturningOptional()
446 return State.Env.makeAtomicBoolValue(); in value_orConversionHasValue()
734 auto &HasValueVal = MergedEnv.makeAtomicBoolValue(); in merge()
/llvm-project-15.0.7/clang/unittests/Analysis/FlowSensitive/
H A DDataflowEnvironmentTest.cpp40 auto &X = Env.makeAtomicBoolValue(); in TEST_F()
H A DTypeErasedDataflowAnalysisTest.cpp373 auto &IsSet = MergedEnv.makeAtomicBoolValue(); in merge()
/llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/
H A DTransfer.cpp46 return Env.makeAtomicBoolValue(); in evaluateBooleanEquality()
220 Env.setValue(Loc, Env.makeAtomicBoolValue()); in VisitImplicitCastExpr()
663 return Env.makeAtomicBoolValue(); in getLogicOperatorSubExprValue()
H A DDataflowEnvironment.cpp88 auto &MergedVal = MergedEnv.makeAtomicBoolValue(); in mergeDistinctValues()
449 return &makeAtomicBoolValue(); in createValueUnlessSelfReferential()
H A DTypeErasedDataflowAnalysis.cpp139 Val = &Env.makeAtomicBoolValue(); in extendFlowCondition()
/llvm-project-15.0.7/clang/include/clang/Analysis/FlowSensitive/
H A DDataflowEnvironment.h280 BoolValue &makeAtomicBoolValue() const { in makeAtomicBoolValue() function