https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116998
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |needs-testcase
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
As noted in the bug what PRE considers possibly trapping is quite conservative
(and has to, as no flow-sensitive info can be used easily). But the fix was a
correctness one so I'm not sure what we can do.
Needs a testcase showing the 400.perlbench case for analysis.
