Searched defs:IsNegatedImplied (Results 1 – 1 of 1) sorted by relevance
801 bool IsNegatedImplied = !Negated.empty() && CS.isConditionImplied(Negated); in isImpliedBy() local821 auto IsNegatedImplied = !Negated.empty() && CS.isConditionImplied(Negated); in isImpliedBy() local