[Bug c++/65693] New: [5.0 Regression] ICE in assign_by_spills, at lra-assigns.c:1419

[Bug c++/65693] New: [5.0 Regression] ICE in assign_by_spills, at lra-assigns.c:1419

[costamagnagianfranco at yahoo dot it]

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

            Bug ID: 65693
           Summary: [5.0 Regression] ICE in assign_by_spills, at
                    lra-assigns.c:1419
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: major
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: costamagnagianfranco at yahoo dot it

Created attachment 35251
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=35251&action=edit
snip of the build log

I can't build anymore virtualbox with gcc 5-20150404-1 in experimental (medium)
 (debian experimental)

gcc -v
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/5/lto-wrapper
Target: x86_64-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Debian 5-20150404-1'
--with-bugurl=file:///usr/share/doc/gcc-5/README.Bugs
--enable-languages=c,ada,c++,java,go,fortran,objc,obj-c++ --prefix=/usr
--program-suffix=-5 --enable-shared --enable-linker-build-id
--libexecdir=/usr/lib --without-included-gettext --enable-threads=posix
--libdir=/usr/lib --enable-nls --with-sysroot=/ --enable-clocale=gnu
--enable-libstdcxx-debug --enable-libstdcxx-time=yes
--with-default-libstdcxx-abi=c++98 --enable-gnu-unique-object
--disable-vtable-verify --enable-libmpx --enable-plugin --with-system-zlib
--disable-browser-plugin --enable-java-awt=gtk --enable-gtk-cairo
--with-java-home=/usr/lib/jvm/java-1.5.0-gcj-5-amd64/jre --enable-java-home
--with-jvm-root-dir=/usr/lib/jvm/java-1.5.0-gcj-5-amd64
--with-jvm-jar-dir=/usr/lib/jvm-exports/java-1.5.0-gcj-5-amd64
--with-arch-directory=amd64 --with-ecj-jar=/usr/share/java/eclipse-ecj.jar
--enable-objc-gc --enable-multiarch --with-arch-32=i586 --with-abi=m64
--with-multilib-list=m32,m64,mx32 --enable-multilib --with-tune=generic
--enable-checking=yes --build=x86_64-linux-gnu --host=x86_64-linux-gnu
--target=x86_64-linux-gnu
Thread model: posix
gcc version 5.0.0 20150404 (experimental) [trunk revision 221867] (Debian
5-20150404-1) 


attaching the build log, the build log2 with -Wall -Wextra -fno-strict-aliasing
and the preprocessed source

[Bug c++/65693] [5.0 Regression] ICE in assign_by_spills, at lra-assigns.c:1419

[costamagnagianfranco at yahoo dot it]

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

--- Comment #1 from Gianfranco <costamagnagianfranco at yahoo dot it> ---
Created attachment 35252
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=35252&action=edit
log with -Wall -Wextra -fno-strict-aliasing -fwrapv

[Bug c++/65693] [5.0 Regression] ICE in assign_by_spills, at lra-assigns.c:1419

[costamagnagianfranco at yahoo dot it]

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

Gianfranco <costamagnagianfranco at yahoo dot it> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |costamagnagianfranco@yahoo.
                   |                            |it

--- Comment #2 from Gianfranco <costamagnagianfranco at yahoo dot it> ---
Created attachment 35253
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=35253&action=edit
preprocessed source

[Bug rtl-optimization/65693] [5.0 Regression] ICE in assign_by_spills, at lra-assigns.c:1419

[trippels at gcc dot gnu.org]

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

Markus Trippelsdorf <trippels at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-04-08
                 CC|                            |trippels at gcc dot gnu.org,
                   |                            |vmakarov at gcc dot gnu.org
          Component|c++                         |rtl-optimization
   Target Milestone|---                         |5.0
     Ever confirmed|0                           |1

--- Comment #3 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
markus@x4 tmp % cat t.ii
int a;
unsigned b;
void
VBoxNsxpXPTC_InvokeByIndex ()
{
  unsigned long *c = (unsigned long *) __builtin_alloca (b);
  a = *c;
  register int d asm("rdx")
      = ((int (*) (int, int, int, int, int, int)) 0)(0, 0, d, 0, 0, 0);
}

markus@x4 tmp % g++ -c t.ii
t.ii: In function ‘void VBoxNsxpXPTC_InvokeByIndex()’:
t.ii:10:1: error: unable to find a register to spill
 }
 ^
t.ii:10:1: error: this is the insn:
(insn 10 37 11 2 (parallel [
            (set (reg:DI 97)
                (udiv:DI (reg:DI 95)
                    (reg:DI 107)))
            (set (reg:DI 108 [98])
                (umod:DI (reg:DI 95)
                    (reg:DI 107)))
            (clobber (reg:CC 17 flags))
        ]) t.ii:6 352 {*udivmoddi4}
     (expr_list:REG_UNUSED (reg:DI 108 [98])
        (expr_list:REG_DEAD (reg:DI 107)
            (expr_list:REG_DEAD (reg:DI 95)
                (expr_list:REG_UNUSED (reg:CC 17 flags)
                    (nil))))))
t.ii:10: confused by earlier errors, bailing out
>From gcc-bugs-return-482973-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Apr 08 09:50:17 2015
Return-Path: <gcc-bugs-return-482973-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 35247 invoked by alias); 8 Apr 2015 09:50:17 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 35211 invoked by uid 48); 8 Apr 2015 09:50:13 -0000
From: "mpolacek at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c/65653] cilkplus reducer ICE
Date: Wed, 08 Apr 2015 09:50:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: mpolacek at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_status cf_reconfirmed_on cc everconfirmed
Message-ID: <bug-65653-4-BI1I5XN8KM@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-65653-4@http.gcc.gnu.org/bugzilla/>
References: <bug-65653-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-04/txt/msg00525.txt.bz2
Content-length: 560

https://gcc.gnu.org/bugzilla/show_bug.cgi?ide653

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-04-08
                 CC|                            |mpolacek at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #3 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Confirmed.

[Bug rtl-optimization/65693] ICE in assign_by_spills, at lra-assigns.c:1419

[mpolacek at gcc dot gnu.org]

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

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mpolacek at gcc dot gnu.org
            Summary|[5.0 Regression] ICE in     |ICE in assign_by_spills, at
                   |assign_by_spills, at        |lra-assigns.c:1419
                   |lra-assigns.c:1419          |

--- Comment #4 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
I don't think this is a 5 Regression, even 4.6 ICEs for me.

[Bug rtl-optimization/65693] ICE in assign_by_spills, at lra-assigns.c:1419

[mpolacek at gcc dot gnu.org]

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

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|major                       |normal

[Bug rtl-optimization/65693] ICE in assign_by_spills, at lra-assigns.c:1419

[trippels at gcc dot gnu.org]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain; charset="UTF-8", Size: 7427 bytes --]

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

--- Comment #5 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
Well, this testcase only ICEs with gcc-5:

markus@x4 tmp % < foo.ii
int a, b;
unsigned c;
static void
invoke_copy_to_stack (unsigned long *p1, int, int)
{
  for (; b;)
    if (a)
      *p1 = 0;
}

void
VBoxNsxpXPTC_InvokeByIndex ()
{
  unsigned long *d = (unsigned long *) __builtin_alloca (c);
  invoke_copy_to_stack (d, 0, 0);
  register int e asm("rdx")
      = ((int (*) (int, int, int, int, int, int)) 0)(0, 0, e, 0, 0, 0);
}

markus@x4 tmp % g++ -O -c foo.ii
foo.ii: In function ‘void VBoxNsxpXPTC_InvokeByIndex()’:
foo.ii:18:1: error: unable to find a register to spill
 }
 ^
foo.ii:18:1: error: this is the insn:
(insn 9 8 10 2 (parallel [
            (set (reg:DI 98)
                (udiv:DI (reg:DI 96)
                    (reg:DI 106)))
            (set (reg:DI 109 [99])
                (umod:DI (reg:DI 96)
                    (reg:DI 106)))
            (clobber (reg:CC 17 flags))
        ]) foo.ii:14 352 {*udivmoddi4}
     (expr_list:REG_UNUSED (reg:DI 109 [99])
        (expr_list:REG_DEAD (reg:DI 106)
            (expr_list:REG_DEAD (reg:DI 96)
                (expr_list:REG_UNUSED (reg:CC 17 flags)
                    (nil))))))
foo.ii:18: confused by earlier errors, bailing out
>From gcc-bugs-return-482978-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Apr 08 10:07:09 2015
Return-Path: <gcc-bugs-return-482978-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 33312 invoked by alias); 8 Apr 2015 10:07:09 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 33227 invoked by uid 48); 8 Apr 2015 10:07:05 -0000
From: "doko at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/65694] New: [5 Regression] ICE (in decompose, at rtl.h:2007) on arm-linux-gnueabihf
Date: Wed, 08 Apr 2015 10:07:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: doko at gcc dot gnu.org
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status bug_severity priority component assigned_to reporter attachments.created
Message-ID: <bug-65694-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-04/txt/msg00530.txt.bz2
Content-length: 4177

https://gcc.gnu.org/bugzilla/show_bug.cgi?ide694

            Bug ID: 65694
           Summary: [5 Regression] ICE (in decompose, at rtl.h:2007) on
                    arm-linux-gnueabihf
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: doko at gcc dot gnu.org

Created attachment 35254
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id5254&actioníit
preprocessed source

I'm aware of PR65321, but this is with r221867 on arm-linux-gnueabihf.

$ gcc -v
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/usr/lib/gcc/arm-linux-gnueabihf/5/lto-wrapper
Target: arm-linux-gnueabihf
Configured with: ../src/configure -v --with-pkgversion='Ubuntu
5-20150404-0ubuntu11' --with-bugurl=file:///usr/share/doc/gcc-5/README.Bugs
--enable-languages=c,ada,c++,java,go,fortran,objc,obj-c++ --prefix=/usr
--program-suffix=-5 --enable-shared --enable-linker-build-id
--libexecdir=/usr/lib --without-included-gettext --enable-threads=posix
--libdir=/usr/lib --enable-nls --with-sysroot=/ --enable-clocale=gnu
--enable-libstdcxx-debug --enable-libstdcxx-time=yes
--with-default-libstdcxx-abi=c++98 --enable-gnu-unique-object --disable-libitm
--disable-libquadmath --enable-plugin --with-system-zlib
--disable-browser-plugin --enable-java-awt=gtk --enable-gtk-cairo
--with-java-home=/usr/lib/jvm/java-1.5.0-gcj-5-armhf/jre --enable-java-home
--with-jvm-root-dir=/usr/lib/jvm/java-1.5.0-gcj-5-armhf
--with-jvm-jar-dir=/usr/lib/jvm-exports/java-1.5.0-gcj-5-armhf
--with-arch-directory=arm --with-ecj-jar=/usr/share/java/eclipse-ecj.jar
--enable-objc-gc --enable-multiarch --enable-multilib --disable-sjlj-exceptions
--with-arch=armv7-a --with-fpu=vfpv3-d16 --with-float=hard --with-mode=thumb
--disable-werror --enable-multilib --enable-checking=yes
--build=arm-linux-gnueabihf --host=arm-linux-gnueabihf
--target=arm-linux-gnueabihf
Thread model: posix
gcc version 5.0.0 20150404 (experimental) [trunk revision 221867] (Ubuntu
5-20150404-0ubuntu11)

$ g++  -c -g -O2 -std=c++98 dnaclust.ii
dnaclust.cpp: In function 'Index twoMeans(Index, Index)':
dnaclust.cpp:753:1: internal compiler error: in decompose, at rtl.h:2007
 } // twoMeans
 ^
0x65c651 wi::int_traits<std::pair<rtx_def*, machine_mode> >::decompose(long
long*, unsigned int, std::pair<rtx_def*, machine_mode> const&)
        ../../src/gcc/rtl.h:2005
0x65c651 wide_int_ref_storage<false>::wide_int_ref_storage<std::pair<rtx_def*,
machine_mode> >(std::pair<rtx_def*, machine_mode> const&, unsigned int)
        ../../src/gcc/wide-int.h:957
0x65c651 generic_wide_int<wide_int_ref_storage<false>
>::generic_wide_int<std::pair<rtx_def*, machine_mode> >(std::pair<rtx_def*,
machine_mode> const&, unsigned int)
        ../../src/gcc/wide-int.h:733
0x65c651 bool wi::eq_p<std::pair<rtx_def*, machine_mode>, std::pair<rtx_def*,
machine_mode> >(std::pair<rtx_def*, machine_mode> const&, std::pair<rtx_def*,
machine_mode> const&)
        ../../src/gcc/wide-int.h:1715
0x65c651 simplify_const_relational_operation(rtx_code, machine_mode, rtx_def*,
rtx_def*)
        ../../src/gcc/simplify-rtx.c:4919
0x65c6b3 simplify_relational_operation(rtx_code, machine_mode, machine_mode,
rtx_def*, rtx_def*)
        ../../src/gcc/simplify-rtx.c:4413
0x65cced simplify_gen_relational(rtx_code, machine_mode, machine_mode,
rtx_def*, rtx_def*)
        ../../src/gcc/simplify-rtx.c:441
0x66054f simplify_replace_fn_rtx(rtx_def*, rtx_def const*, rtx_def*
(*)(rtx_def*, rtx_def const*, void*), void*)
        ../../src/gcc/simplify-rtx.c:501
0x6604cb simplify_replace_fn_rtx(rtx_def*, rtx_def const*, rtx_def*
(*)(rtx_def*, rtx_def const*, void*), void*)
        ../../src/gcc/simplify-rtx.c:507
0x9f43d9 bypass_block
        ../../src/gcc/cprop.c:1608
0x9f43d9 bypass_conditional_jumps
        ../../src/gcc/cprop.c:1726
0x9f43d9 one_cprop_pass
        ../../src/gcc/cprop.c:1887
0x9f43d9 execute_rtl_cprop
        ../../src/gcc/cprop.c:1931
0x9f43d9 execute
        ../../src/gcc/cprop.c:1969
Please submit a full bug report,
with preprocessed source if appropriate.

[Bug rtl-optimization/65693] [4.8/4.9/5 Regression] ICE in assign_by_spills, at lra-assigns.c:1419

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ra
           Priority|P3                          |P2
      Known to work|                            |4.3.4, 4.5.4
   Target Milestone|5.0                         |4.8.5
            Summary|ICE in assign_by_spills, at |[4.8/4.9/5 Regression] ICE
                   |lra-assigns.c:1419          |in assign_by_spills, at
                   |                            |lra-assigns.c:1419
      Known to fail|                            |4.6.4, 5.0

--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> ---
4.3 works for me so does 4.5.

[Bug rtl-optimization/65693] [4.8/4.9/5 Regression] ICE in assign_by_spills, at lra-assigns.c:1419

[ubizjak at gmail dot com]

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

--- Comment #7 from Uroš Bizjak <ubizjak at gmail dot com> ---
gcc-4.9 combines udivmoddi4 to :

(insn 30 5 8 2 (set (reg:DI 103)
        (const_int 16 [0x10])) pr65693.ii:6 -1
     (nil))

[...]

(insn 9 8 10 2 (parallel [
            (set (reg:DI 94)
                (udiv:DI (reg:DI 92)
                    (reg:DI 103)))
            (set (reg:DI 95)
                (umod:DI (reg:DI 92)
                    (reg:DI 103)))
            (clobber (reg:CC 17 flags))
        ]) pr65693.ii:6 348 {*udivmoddi4}
     (expr_list:REG_DEAD (reg:DI 103)
        (expr_list:REG_DEAD (reg:DI 92)
            (expr_list:REG_UNUSED (reg:DI 95)
                (expr_list:REG_UNUSED (reg:CC 17 flags)
                    (nil))))))


Trying 30 -> 9:

...

Successfully matched this instruction:
(set (reg:DI 94)
    (lshiftrt:DI (reg:DI 92)
        (const_int 4 [0x4])))

For some reason gcc-5 doesn't do this conversion anymore.
>From gcc-bugs-return-482984-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Apr 08 10:16:29 2015
Return-Path: <gcc-bugs-return-482984-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 47620 invoked by alias); 8 Apr 2015 10:16:28 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 47581 invoked by uid 48); 8 Apr 2015 10:16:24 -0000
From: "a.vogt at fulguritus dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug fortran/65684] Wrong error message when writing to a string
Date: Wed, 08 Apr 2015 10:16:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: fortran
X-Bugzilla-Version: 4.9.3
X-Bugzilla-Keywords:
X-Bugzilla-Severity: enhancement
X-Bugzilla-Who: a.vogt at fulguritus dot com
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: jvdelisle at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-65684-4-M3LXoimWWa@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-65684-4@http.gcc.gnu.org/bugzilla/>
References: <bug-65684-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-04/txt/msg00536.txt.bz2
Content-length: 898

https://gcc.gnu.org/bugzilla/show_bug.cgi?ide684

--- Comment #8 from Alexander Vogt <a.vogt at fulguritus dot com> ---
I think this happens in io/transfer.c:

413     void *
414     read_block_form (st_parameter_dt *dtp, int * nbytes)
415     {
...
419       if (!is_stream_io (dtp))
420         {
421           if (dtp->u.p.current_unit->bytes_left < (gfc_offset) *nbytes)
422             {
...
430                   if (unlikely (dtp->u.p.current_unit->pad_status =PAD_NO)
431                       && !is_internal_unit (dtp))
432                     {
433                       /* Not enough data left.  */
434                       generate_error (&dtp->common, LIBERROR_EOR, NULL);
435                       return NULL;
436                     }
437                 }
...

I'm a little confused, though... Aren't we writing to an internal unit here?
This case seems not to be covered.

[Bug rtl-optimization/65693] [4.8/4.9/5 Regression] ICE in assign_by_spills, at lra-assigns.c:1419

[costamagnagianfranco at yahoo dot it]

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

--- Comment #8 from Gianfranco <costamagnagianfranco at yahoo dot it> ---
Nope, I can build on debian (I'm the maintainer BTW) with 4.9 successfully.

https://buildd.debian.org/status/fetch.php?pkg=virtualbox&arch=amd64&ver=4.3.26-dfsg-1&stamp=1426696248

for now I forced gcc-4.9 as a gcc version and the build completes with no
problems.

This is why I think this is a gcc-5.0 specific regression.

Also gcc 4.8 and 4.7 are fine (I maintain a backport on ubuntu too, and they
all build correctly).

This is a snapshot of virtualbox 5.0.0_BETA1, but the ICE occurs with
virtualbox 4.3.26 and older releases (but *only* with gcc-5)

[Bug rtl-optimization/65693] [4.8/4.9/5 Regression] ICE in assign_by_spills, at lra-assigns.c:1419

[costamagnagianfranco at yahoo dot it]

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

--- Comment #10 from Gianfranco <costamagnagianfranco at yahoo dot it> ---
Hi @Markus, I'm *really* impressed about your efficiency.

I reported the progresses on the vbox official mail list, thanks!

[Bug rtl-optimization/65693] [4.8/4.9/5 Regression] ICE in assign_by_spills, at lra-assigns.c:1419

[segher at gcc dot gnu.org]

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

--- Comment #11 from Segher Boessenkool <segher at gcc dot gnu.org> ---
I see GCC not trying to throw away the useless arm of the parallel,
just as comment 7 mentions.  I wonder why that is, investigating.

This isn't the root cause; it is just exposing a problem in the RA :-(

[Bug rtl-optimization/65693] [4.8/4.9/5 Regression] ICE in assign_by_spills, at lra-assigns.c:1419

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

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

--- Comment #12 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Well, the RA issue is hard to deal with, there is a local register var that
uses a register some instruction needs while the local register is live.
Anyway, this alloca/VLA division issue is what I meant to fix with PR65220, but
here unfortunately the RTL cprop isn't performed because the function has a
single basic block and for some reason RTL cprop doesn't perform even the local
cprop subpass then.
And, at combine time, combiner attempts to simplify the insn, so the
*udivmod<mode>4_pow2 pattern no longer matches.
One possibility to fix this would be to add *udivmod<mode>4_pow2_1 pattern that
would just have the lshiftrt and and instructions in PARALLEL until reload,
then split them.

[Bug rtl-optimization/65693] [4.8/4.9/5 Regression] ICE in assign_by_spills, at lra-assigns.c:1419

[jakub at gcc dot gnu.org]

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

--- Comment #13 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Created attachment 35261
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=35261&action=edit
gcc5-pr65693.patch

Untested fix.

[Bug rtl-optimization/65693] [4.8/4.9/5 Regression] ICE in assign_by_spills, at lra-assigns.c:1419

[segher at gcc dot gnu.org]

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

--- Comment #14 from Segher Boessenkool <segher at gcc dot gnu.org> ---
I sent a patch for the combine issue,
http://gcc.gnu.org/ml/gcc-patches/2015-04/msg00359.html .

[Bug rtl-optimization/65693] [4.8/4.9/5 Regression] ICE in assign_by_spills, at lra-assigns.c:1419

[segher at gcc dot gnu.org]

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

--- Comment #15 from Segher Boessenkool <segher at gcc dot gnu.org> ---
Author: segher
Date: Wed Apr  8 22:52:24 2015
New Revision: 221937

URL: https://gcc.gnu.org/viewcvs?rev=221937&root=gcc&view=rev
Log:
    PR rtl-optimization/65693
    * combine.c (is_parallel_of_n_reg_sets): Change first argument
    from an rtx_insn * to an rtx.
    (try_combine): Adjust both callers.  Use it once more.

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

[Bug rtl-optimization/65693] [4.8/4.9/5 Regression] ICE in assign_by_spills, at lra-assigns.c:1419

[jakub at gcc dot gnu.org]

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

--- Comment #16 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Thu Apr  9 07:28:54 2015
New Revision: 221942

URL: https://gcc.gnu.org/viewcvs?rev=221942&root=gcc&view=rev
Log:
    PR target/65693
    * config/i386/i386.md (*udivmod<mode>4_pow2): Allow
    any pow2 integer in between 2 and 0x80000000U inclusive.

    * gcc.target/i386/pr65693.c: New test.

Added:
    trunk/gcc/testsuite/gcc.target/i386/pr65693.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/config/i386/i386.md
    trunk/gcc/testsuite/ChangeLog

[Bug rtl-optimization/65693] [4.8/4.9/5 Regression] ICE in assign_by_spills, at lra-assigns.c:1419

[segher at gcc dot gnu.org]

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

--- Comment #17 from Segher Boessenkool <segher at gcc dot gnu.org> ---
Author: segher
Date: Thu Apr  9 14:37:14 2015
New Revision: 221951

URL: https://gcc.gnu.org/viewcvs?rev=221951&root=gcc&view=rev
Log:
    PR rtl-optimization/65693
    * combine.c (is_parallel_of_n_reg_sets): Move outside of
    #ifndef HAVE_cc0.

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

[Bug rtl-optimization/65693] [4.8/4.9 Regression] ICE in assign_by_spills, at lra-assigns.c:1419

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |5.0
            Summary|[4.8/4.9/5 Regression] ICE  |[4.8/4.9 Regression] ICE in
                   |in assign_by_spills, at     |assign_by_spills, at
                   |lra-assigns.c:1419          |lra-assigns.c:1419
      Known to fail|5.0                         |

--- Comment #18 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Fixed on the trunk so far.

[Bug rtl-optimization/65693] [4.8/4.9 Regression] ICE in assign_by_spills, at lra-assigns.c:1419

[costamagnagianfranco at yahoo dot it]

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

Gianfranco <costamagnagianfranco at yahoo dot it> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED

--- Comment #19 from Gianfranco <costamagnagianfranco at yahoo dot it> ---
I tested a build with the patch
https://gcc.gnu.org/viewcvs/gcc?view=revision&revision=221937 and the build
seems to have been successfully completed (I got some pedantic errors, but
nothing spills related)

thanks a lot to everybody for the support!