https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96344
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|[11 regerssion] |3rdd case of
|gnat.dg/opt86a.adb fails |gnat.dg/opt86a.adb fails
|starting with r11-1675 |
Target Milestone|11.0 |---
Last reconfirmed| |2020-07-31
Status|UNCONFIRMED |NEW
Ever confirmed|0 |1
Severity|normal |enhancement
--- Comment #2 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
I can reproduce: the third optimization does not work
<bb 22> [local count: 1070914630]:
if (_40 == 1)
goto <bb 24>; [0.04%]
else
goto <bb 23>; [99.96%]
<bb 23> [local count: 1070486265]:
_65 = s3_41 + 252;
_73 = _65 & 251;
if (_73 == 0)
goto <bb 24>; [0.04%]
else
goto <bb 25>; [99.96%]
<bb 24> [local count: 1284581]:
.gnat_rcheck_PE_Explicit_Raise ("opt86a.adb", 27);
but that's not a regression, just a missed optimization.
