[Bug c/59011] New: ICE in make_decl_rtl, at varasm.c:1147

[Bug c/59011] New: ICE in make_decl_rtl, at varasm.c:1147

[benlynn at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59011

            Bug ID: 59011
           Summary: ICE in make_decl_rtl, at varasm.c:1147
           Product: gcc
           Version: 4.8.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: benlynn at gmail dot com

$ gcc -v -save-temps -std=gnu99 err.c
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/4.8/lto-wrapper
Target: x86_64-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Ubuntu/Linaro
4.8.1-10ubuntu8' --with-bugurl=file:///usr/share/doc/gcc-4.8/README.Bugs
--enable-languages=c,c++,java,go,d,fortran,objc,obj-c++ --prefix=/usr
--program-suffix=-4.8 --enable-shared --enable-linker-build-id
--libexecdir=/usr/lib --without-included-gettext --enable-threads=posix
--with-gxx-include-dir=/usr/include/c++/4.8 --libdir=/usr/lib --enable-nls
--with-sysroot=/ --enable-clocale=gnu --enable-libstdcxx-debug
--enable-libstdcxx-time=yes --enable-gnu-unique-object --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-4.8-amd64/jre
--enable-java-home --with-jvm-root-dir=/usr/lib/jvm/java-1.5.0-gcj-4.8-amd64
--with-jvm-jar-dir=/usr/lib/jvm-exports/java-1.5.0-gcj-4.8-amd64
--with-arch-directory=amd64 --with-ecj-jar=/usr/share/java/eclipse-ecj.jar
--enable-objc-gc --enable-multiarch --disable-werror --with-arch-32=i686
--with-abi=m64 --with-multilib-list=m32,m64,mx32 --with-tune=generic
--enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu
--target=x86_64-linux-gnu
Thread model: posix
gcc version 4.8.1 (Ubuntu/Linaro 4.8.1-10ubuntu8) 
COLLECT_GCC_OPTIONS='-v' '-save-temps' '-std=gnu99' '-mtune=generic'
'-march=x86-64'
 /usr/lib/gcc/x86_64-linux-gnu/4.8/cc1 -E -quiet -v -imultiarch
x86_64-linux-gnu err.c -mtune=generic -march=x86-64 -std=gnu99 -fpch-preprocess
-fstack-protector -Wformat -Wformat-security -o err.i
ignoring nonexistent directory "/usr/local/include/x86_64-linux-gnu"
ignoring nonexistent directory
"/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../x86_64-linux-gnu/include"
#include "..." search starts here:
#include <...> search starts here:
 /usr/lib/gcc/x86_64-linux-gnu/4.8/include
 /usr/local/include
 /usr/lib/gcc/x86_64-linux-gnu/4.8/include-fixed
 /usr/include/x86_64-linux-gnu
 /usr/include
End of search list.
COLLECT_GCC_OPTIONS='-v' '-save-temps' '-std=gnu99' '-mtune=generic'
'-march=x86-64'
 /usr/lib/gcc/x86_64-linux-gnu/4.8/cc1 -fpreprocessed err.i -quiet -dumpbase
err.c -mtune=generic -march=x86-64 -auxbase err -std=gnu99 -version
-fstack-protector -Wformat -Wformat-security -o err.s
GNU C (Ubuntu/Linaro 4.8.1-10ubuntu8) version 4.8.1 (x86_64-linux-gnu)
        compiled by GNU C version 4.8.1, GMP version 5.1.2, MPFR version
3.1.1-p2, MPC version 1.0.1
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
GNU C (Ubuntu/Linaro 4.8.1-10ubuntu8) version 4.8.1 (x86_64-linux-gnu)
        compiled by GNU C version 4.8.1, GMP version 5.1.2, MPFR version
3.1.1-p2, MPC version 1.0.1
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
Compiler executable checksum: 1dbd2d69491678f2baa989ac072ab7ac
err.c: In function ‘f’:
err.c:14:8: internal compiler error: in make_decl_rtl, at varasm.c:1147
   void f(char *s, int i) {
        ^
Please submit a full bug report,
with preprocessed source if appropriate.
See <file:///usr/share/doc/gcc-4.8/README.Bugs> for instructions.
Preprocessed source stored into /tmp/ccrNDSr7.out file, please attach this to
your bugreport.
~/err$ cat err.i
# 1 "err.c"
# 1 "<command-line>"
# 1 "/usr/include/stdc-predef.h" 1 3 4
# 30 "/usr/include/stdc-predef.h" 3 4
# 1 "/usr/include/x86_64-linux-gnu/bits/predefs.h" 1 3 4
# 31 "/usr/include/stdc-predef.h" 2 3 4
# 1 "<command-line>" 2
# 1 "err.c"
struct foo {
  int i[8], j[8], k[8], n;
};

int main() {
  int m = 5;
  char *sym[16][16];
  char buf[1024] = { 0 };
  int a[m];

  int has(int j, int k) { return a[j] == k; }
  int match(struct foo *p) { return has(p->i[0], p->j[0]); }

  void f(char *s, int i) {
    if (i == 0) {
      int anon(void *data) {
        return match(data);
      }
      anon(0);
      return;
    }
    a[i] = 0;
    *s = sym[i][0][0];
    f(s, i+1);
  }
  f(buf, 0);
  return 0;
}
>From gcc-bugs-return-433649-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Nov 05 18:55:43 2013
Return-Path: <gcc-bugs-return-433649-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 29549 invoked by alias); 5 Nov 2013 18:55:42 -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 26051 invoked by uid 48); 5 Nov 2013 18:53:40 -0000
From: "dje at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug sanitizer/59009] libsanitizer merge from upstream r191666 breaks bootstrap on powerpc64-linux
Date: Tue, 05 Nov 2013 18:55:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: sanitizer
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: blocker
X-Bugzilla-Who: dje 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: 4.9.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_status cf_reconfirmed_on cc target_milestone everconfirmed
Message-ID: <bug-59009-4-ofVC3k19JR@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-59009-4@http.gcc.gnu.org/bugzilla/>
References: <bug-59009-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: 2013-11/txt/msg00426.txt.bz2
Content-length: 675

http://gcc.gnu.org/bugzilla/show_bug.cgi?idY009

David Edelsohn <dje at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-11-05
                 CC|                            |dje at gcc dot gnu.org
   Target Milestone|---                         |4.9.0
     Ever confirmed|0                           |1

--- Comment #1 from David Edelsohn <dje at gcc dot gnu.org> ---
Confirmed. Should libsanitizer make these types of assumptions about kernel
headers?

[Bug c/59011] [4.7/4.8/4.9 Regression] ICE in make_decl_rtl, at varasm.c:1147

[mpolacek at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59011

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-11-06
                 CC|                            |mpolacek at gcc dot gnu.org
   Target Milestone|---                         |4.7.4
            Summary|ICE in make_decl_rtl, at    |[4.7/4.8/4.9 Regression]
                   |varasm.c:1147               |ICE in make_decl_rtl, at
                   |                            |varasm.c:1147
     Ever confirmed|0                           |1

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

[Bug c/59011] [4.7/4.8/4.9 Regression] ICE in make_decl_rtl, at varasm.c:1147

[mpolacek at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59011

--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
void
foo (int m)
{
  int a[m];
  void bar (void)
  {
    {
      int baz (void)
      {
    return a[0];
      }
    }
    a[0] = 42;
  }
  bar ();
}

[Bug middle-end/59011] [4.7/4.8/4.9 Regression] ICE in make_decl_rtl, at varasm.c:1147

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59011

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2
      Known to work|                            |4.3.6
      Known to fail|                            |4.5.3

[Bug middle-end/59011] [4.7/4.8/4.9 Regression] ICE in make_decl_rtl, at varasm.c:1147

[hjl.tools at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59011

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|4.3.6                       |4.4.0

--- Comment #3 from H.J. Lu <hjl.tools at gmail dot com> ---
It is caused by r148198.

[Bug middle-end/59011] [4.7/4.8/4.9 Regression] ICE in make_decl_rtl, at varasm.c:1147

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59011

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Tue Dec  3 07:44:37 2013
New Revision: 205621

URL: http://gcc.gnu.org/viewcvs?rev=205621&root=gcc&view=rev
Log:
    PR middle-end/59011
    * gimplify.c (nonlocal_vla_vars): New variable.
    (gimplify_var_or_parm_decl): Put VAR_DECLs for VLAs into
    nonlocal_vla_vars chain.
    (gimplify_body): Call declare_vars on nonlocal_vla_vars chain
    if outer_bind has DECL_INITIAL (current_function_decl) block.

    * gcc.dg/pr59011.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/pr59011.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/gimplify.c
    trunk/gcc/testsuite/ChangeLog

[Bug middle-end/59011] [4.7/4.8/4.9 Regression] ICE in make_decl_rtl, at varasm.c:1147

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59011

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Tue Dec  3 07:47:50 2013
New Revision: 205622

URL: http://gcc.gnu.org/viewcvs?rev=205622&root=gcc&view=rev
Log:
    PR middle-end/59011
    * gimplify.c (nonlocal_vla_vars): New variable.
    (gimplify_var_or_parm_decl): Put VAR_DECLs for VLAs into
    nonlocal_vla_vars chain.
    (gimplify_body): Call declare_vars on nonlocal_vla_vars chain
    if outer_bind has DECL_INITIAL (current_function_decl) block.

    * gcc.dg/pr59011.c: New test.

Modified:
    branches/gcc-4_8-branch/gcc/ChangeLog
    branches/gcc-4_8-branch/gcc/gimplify.c
    branches/gcc-4_8-branch/gcc/testsuite/ChangeLog

[Bug middle-end/59011] [4.7 Regression] ICE in make_decl_rtl, at varasm.c:1147

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59011

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |4.8.3, 4.9.0
            Summary|[4.7/4.8/4.9 Regression]    |[4.7 Regression] ICE in
                   |ICE in make_decl_rtl, at    |make_decl_rtl, at
                   |varasm.c:1147               |varasm.c:1147
      Known to fail|                            |4.8.2

--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Fixed for 4.8.3+ so far.

[Bug middle-end/59011] [4.7 Regression] ICE in make_decl_rtl, at varasm.c:1147

[mikpelinux at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59011

--- Comment #7 from Mikael Pettersson <mikpelinux at gmail dot com> ---
It appears the test case wasn't added to 4.8 branch.

[Bug middle-end/59011] [4.7 Regression] ICE in make_decl_rtl, at varasm.c:1147

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59011

--- Comment #8 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Sat Dec  7 15:43:05 2013
New Revision: 205783

URL: http://gcc.gnu.org/viewcvs?rev=205783&root=gcc&view=rev
Log:
    PR middle-end/59011
    * gimplify.c (nonlocal_vla_vars): New variable.
    (gimplify_var_or_parm_decl): Put VAR_DECLs for VLAs into
    nonlocal_vla_vars chain.
    (gimplify_body): Call declare_vars on nonlocal_vla_vars chain
    if outer_bind has DECL_INITIAL (current_function_decl) block.

    * gcc.dg/pr59011.c: New test.

Added:
    branches/gcc-4_8-branch/gcc/testsuite/gcc.dg/pr59011.c

[Bug middle-end/59011] [4.7 Regression] ICE in make_decl_rtl, at varasm.c:1147

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59011

--- Comment #9 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Wed May  7 16:10:35 2014
New Revision: 210179

URL: http://gcc.gnu.org/viewcvs?rev=210179&root=gcc&view=rev
Log:
    Backported from mainline
    2013-12-03  Jakub Jelinek  <jakub@redhat.com>

    PR middle-end/59011
    * gimplify.c (nonlocal_vla_vars): New variable.
    (gimplify_var_or_parm_decl): Put VAR_DECLs for VLAs into
    nonlocal_vla_vars chain.
    (gimplify_body): Call declare_vars on nonlocal_vla_vars chain
    if outer_bind has DECL_INITIAL (current_function_decl) block.

    * gcc.dg/pr59011.c: New test.

Added:
    branches/gcc-4_7-branch/gcc/testsuite/gcc.dg/pr59011.c
Modified:
    branches/gcc-4_7-branch/gcc/ChangeLog
    branches/gcc-4_7-branch/gcc/gimplify.c
    branches/gcc-4_7-branch/gcc/testsuite/ChangeLog

[Bug middle-end/59011] [4.7 Regression] ICE in make_decl_rtl, at varasm.c:1147

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59011

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
      Known to work|                            |4.7.4
         Resolution|---                         |FIXED

--- Comment #10 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Fixed.