Searched refs:flowConditionImplies (Results 1 - 5 of 5) sorted by relevance

/openbsd-current/gnu/llvm/clang/include/clang/Analysis/FlowSensitive/
H A DDataflowAnalysisContext.h256 bool flowConditionImplies(AtomicBoolValue &Token, BoolValue &Val);
H A DDataflowEnvironment.h415 bool flowConditionImplies(BoolValue &Val) const;
/openbsd-current/gnu/llvm/clang/lib/Analysis/FlowSensitive/Models/
H A DUncheckedOptionalAccessModel.cpp337 Env.flowConditionImplies(Env.makeNot(*HasValueVal));
345 return HasValueVal != nullptr && Env.flowConditionImplies(*HasValueVal);
782 if (Env.flowConditionImplies(*HasValueVal))
/openbsd-current/gnu/llvm/clang/lib/Analysis/FlowSensitive/
H A DDataflowAnalysisContext.cpp196 bool DataflowAnalysisContext::flowConditionImplies(AtomicBoolValue &Token, function in class:clang::dataflow::DataflowAnalysisContext
H A DDataflowEnvironment.cpp789 bool Environment::flowConditionImplies(BoolValue &Val) const { function in class:clang::dataflow::Environment
790 return DACtx->flowConditionImplies(*FlowConditionToken, Val);

Completed in 197 milliseconds