[Bug middle-end/67912] [6 regression] ICE in gen_lowpart_common, at emit-rtl.c:1399

[Bug middle-end/67912] [6 regression] ICE in gen_lowpart_common, at emit-rtl.c:1399

[ro at gcc dot gnu.org]

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

Rainer Orth <ro at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |6.0

[Bug middle-end/67912] New: [6 regression] ICE in gen_lowpart_common, at emit-rtl.c:1399

[ro at gcc dot gnu.org]

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

            Bug ID: 67912
           Summary: [6 regression] ICE in gen_lowpart_common, at
                    emit-rtl.c:1399
           Product: gcc
           Version: 6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ro at gcc dot gnu.org
                CC: hubicka at gcc dot gnu.org
  Target Milestone: ---
              Host: i386-pc-solaris2.*
            Target: i386-pc-solaris2.*
             Build: i386-pc-solaris2.*

Solaris/x86 bootstrap is currently broken compiling the 64-bit s-regpat.adb:

$ /var/gcc/regression/trunk/10-gcc/build/./gcc/xgcc
-B/var/gcc/regression/trunk/10-gcc/build/./gcc/
-B/vol/gcc/i386-pc-solaris2.10/bin/ -B/vol/gcc/i386-pc-solaris2.10/lib/
-isystem /vol/gcc/i386-pc-solaris2.10/include -isystem
/vol/gcc/i386-pc-solaris2.10/sys-include    -c -g -O2 -m64 -fpic  -W -Wall
-gnatpg -nostdinc -m64  s-regpat.adb -o s-regpat.o
+===========================GNAT BUG DETECTED==============================+
| 6.0.0 20151009 (experimental) [trunk revision 228636] (i386-pc-solaris2.10)
GCC error:|
| in gen_lowpart_common, at emit-rtl.c:1399                                |
| Error detected around s-regpat.adb:1029:22           

This happens already with the stage1 compiler, though.  A reghunt determined
that
this patch

2015-10-07  Jan Hubicka  <hubicka@ucw.cz>

        * expr.c (store_expr_with_bounds): Handle aggregate moves from
        BLKmode.
        * gimple-expr.c (useless_type_conversion_p): Do not use TYPE_CANONICAL
        to define gimple type system; compare aggregates only by size.

is the culprit.

  Rainer

[Bug middle-end/67912] [6 regression] ICE in gen_lowpart_common, at emit-rtl.c:1399

[dominiq at lps dot ens.fr]

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

Dominique d'Humieres <dominiq at lps dot ens.fr> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-10-10
     Ever confirmed|0                           |1

--- Comment #1 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
I think this bug affects all platforms, see the thread
https://gcc.gnu.org/ml/gcc-patches/2015-10/msg01013.html.

[Bug middle-end/67912] [6 regression] ICE in gen_lowpart_common, at emit-rtl.c:1399

[ro at CeBiTec dot Uni-Bielefeld.DE]

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

--- Comment #2 from ro at CeBiTec dot Uni-Bielefeld.DE <ro at CeBiTec dot Uni-Bielefeld.DE> ---
> --- Comment #1 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
> I think this bug affects all platforms, see the thread
> https://gcc.gnu.org/ml/gcc-patches/2015-10/msg01013.html.

Right, I've since seen it on x86_64-darwin and sparc-solaris.  Didn't
expect something of this impact not being in bugzilla, though.

Thanks.
        Rainer

[Bug middle-end/67912] [6 regression] ICE in gen_lowpart_common, at emit-rtl.c:1399

[doko at gcc dot gnu.org]

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

Matthias Klose <doko at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code
             Target|i386-pc-solaris2.*          |i386-pc-solaris2.*,
                   |                            |x86_64-linux-gnu,
                   |                            |powerpc64le-linux-gnu
                 CC|                            |doko at gcc dot gnu.org
      Known to work|                            |5.2.1
      Known to fail|                            |6.0

--- Comment #3 from Matthias Klose <doko at gcc dot gnu.org> ---
seen as well on x86_64-linux-gnu, powerpc64le-linux-gnu.

[Bug middle-end/67912] [6 Regression] ICE in gen_lowpart_common, at emit-rtl.c:1399

[danglin at gcc dot gnu.org]

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

John David Anglin <danglin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |danglin at gcc dot gnu.org

--- Comment #4 from John David Anglin <danglin at gcc dot gnu.org> ---
Also seen with hppa-unknown-linux-gnu.

[Bug middle-end/67912] [6 Regression] ICE in gen_lowpart_common, at emit-rtl.c:1399

[aoliva at gcc dot gnu.org]

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

--- Comment #5 from Alexandre Oliva <aoliva at gcc dot gnu.org> ---
Author: aoliva
Date: Tue Oct 13 16:34:29 2015
New Revision: 228774

URL: https://gcc.gnu.org/viewcvs?rev=228774&root=gcc&view=rev
Log:
support BLKmode inputs for store_bit_field

Revision 228586 changed useless_type_conversion_p and added mode
changes for MEM:BLKmode inputs in store_expr_with_bounds, but it
missed store_bit_field.  This caused ada/rts/s-regpat.ads to fail
compilation on x86_64-linux-gnu.

for  gcc/ChangeLog

        PR middle-end/67912
        * expmed.c (store_bit_field_1): Adjust mode of BLKmode inputs.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/expmed.c

[Bug middle-end/67912] [6 Regression] ICE in gen_lowpart_common, at emit-rtl.c:1399

[aoliva at gcc dot gnu.org]

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

Alexandre Oliva <aoliva at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |aoliva at gcc dot gnu.org
         Resolution|---                         |FIXED
           Assignee|unassigned at gcc dot gnu.org      |aoliva at gcc dot gnu.org

--- Comment #6 from Alexandre Oliva <aoliva at gcc dot gnu.org> ---
Mine.  Fixed.