This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug middle-end/82319] [8 Regression] ICE in generic_simplify_148, at generic-match.c:6436
- From: "ygribov at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Mon, 25 Sep 2017 11:26:10 +0000
- Subject: [Bug middle-end/82319] [8 Regression] ICE in generic_simplify_148, at generic-match.c:6436
- Auto-submitted: auto-generated
- References: <bug-82319-4@http.gcc.gnu.org/bugzilla/>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82319
--- Comment #7 from Yury Gribov <ygribov at gcc dot gnu.org> ---
(In reply to Jakub Jelinek from comment #6)
> Shouldn't
> ...
> catch that?
Yes, these are the checks that constant fits into integer type.
> Though, for those I think you really don't need itype_fits_ftype_p,
> ...
> then
> the above if you actually round imin and imax to the corresponding real type
> away from zero at least should work always.
Problem is that then pattern would remove potential inexact/overflow IEEE
exceptions. It may be ok under various cmdline flags that control floating
point semantics (TODO in pattern mentions that) but I never got to implementing
this.