https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80743

--- Comment #3 from David Binderman <dcb314 at hotmail dot com> ---
(In reply to Richard Biener from comment #2)
> Similar bug was mitigated recently.

Presumably you mean 80597, which  was all about floating point rounding.

This bug looks different to me. The relevant lines of gcc source code are

      bool nonconst = evaluate_predicate (&e->nonconst_predicate,
                      possible_truths);
      bool exec = evaluate_predicate (&e->exec_predicate,
                      nonspec_possible_truths);
      gcc_assert (!nonconst || exec);

Reply via email to