https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109311
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Assignee|unassigned at gcc dot gnu.org |rguenth at gcc dot
gnu.org
Status|UNCONFIRMED |ASSIGNED
Target Milestone|--- |13.0
Last reconfirmed| |2023-03-28
Ever confirmed|0 |1
Priority|P2 |P1
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
Doh - thanks for reporting, I'll revert the offending revision and revisit
during stage1. I think for the forward walk it indeed wants to reject
use-after-return, so to make it identical for the backward walk the check
then should be *ret && !*use instead of !*ret && !*use I think.
