Searched refs:flowConditionImplies (Results 1 – 5 of 5) sorted by relevance
337 Env.flowConditionImplies(Env.makeNot(*HasValueVal)); in isEmptyOptional()345 return HasValueVal != nullptr && Env.flowConditionImplies(*HasValueVal); in isNonEmptyOptional()782 if (Env.flowConditionImplies(*HasValueVal)) in diagnoseUnwrapCall()
415 bool flowConditionImplies(BoolValue &Val) const;
256 bool flowConditionImplies(AtomicBoolValue &Token, BoolValue &Val);
789 bool Environment::flowConditionImplies(BoolValue &Val) const { in flowConditionImplies() function in clang::dataflow::Environment790 return DACtx->flowConditionImplies(*FlowConditionToken, Val); in flowConditionImplies()
196 bool DataflowAnalysisContext::flowConditionImplies(AtomicBoolValue &Token, in flowConditionImplies() function in clang::dataflow::DataflowAnalysisContext