[Bug c/25309] New: ICE on initialization of a huge array

[Bug c/25309] New: ICE on initialization of a huge array

[jens dot teubner at in dot tum dot de]

GCC throws an internal compiler error when compiling the following
C99 code (gcc -std=c99 -c):

    static char * name[] = {
        [0x80000000]  = "bar"
    };

(GCC reports `internal compiler error: in tree_low_cst, at tree.c:3318'.)

I realize that the above code is quite stupid, as I request the compiler
to create an array of huge size.  However, I think GCC should not throw
an internal compiler error.  For smaller values of the array index, GCC
correctly reports `error: size of variable 'name' is too large'.

I have reproduced the problem with GCC 3.4.4 (Gentoo Linux) and GCC
3.3.5 (SuSE 9.3), both on Intel Pentium M.


-- 
           Summary: ICE on initialization of a huge array
           Product: gcc
           Version: 3.4.4
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: jens dot teubner at in dot tum dot de
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


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

[Bug c/25309] [3.4/4.0/4.1 Regression] ICE on initialization of a huge array

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2005-12-08 15:54 -------
Confirmed.  This is only reproducible on targets where HOST_WIDE_INT is 32bits
(and I still say that HOST_WIDE_INT should be always at least 64bits).  Oh and
this is a regression for at least x86.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
  GCC build triplet|i686-pc-linux-gnu           |
   GCC host triplet|i686-pc-linux-gnu           |
           Keywords|                            |ice-on-invalid-code
      Known to fail|                            |3.3.3 3.2.3 3.4.0 4.0.0
                   |                            |4.1.0 4.2.0
      Known to work|                            |3.0.4
   Last reconfirmed|0000-00-00 00:00:00         |2005-12-08 15:54:05
               date|                            |
            Summary|ICE on initialization of a  |[3.4/4.0/4.1 Regression] ICE
                   |huge array                  |on initialization of a huge
                   |                            |array


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

[Bug c/25309] [3.4/4.0/4.1 Regression] ICE on initialization of a huge array

[rguenth at gcc dot gnu dot org]

------- Comment #2 from rguenth at gcc dot gnu dot org  2005-12-08 16:55 -------
HOST_WIDE_INT is what it says.  The code should check host_integerp first and
then use TREE_INT_CST_LOW.


-- 


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

[Bug c/25309] [3.4/4.0/4.1/4.2 Regression] ICE on initialization of a huge array

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[3.4/4.0/4.1 Regression] ICE|[3.4/4.0/4.1/4.2 Regression]
                   |on initialization of a huge |ICE on initialization of a
                   |array                       |huge array
   Target Milestone|---                         |4.0.3


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

[Bug c/25309] [3.4/4.0/4.1/4.2 Regression] ICE on initialization of a huge array

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2005-12-12 02:50 -------
: Search converges between 2002-02-17-trunk (#59) and 2002-02-24-trunk (#60).


-- 


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

[Bug c/25309] [3.4/4.0/4.1/4.2 Regression] ICE on initialization of a huge array

[pinskia at gcc dot gnu dot org]

------- Comment #4 from pinskia at gcc dot gnu dot org  2005-12-12 02:55 -------
Hmm, I almost want to say this was caused by:
2002-02-20  Roger Sayle  <roger@eyesopen.com>
            Jakub Jelinek  <jakub@redhat.com>

        PR c/4389
        * tree.c (host_integerp): Ensure that the constant integer is
        representable in a HOST_WIDE_INT or an unsigned HOST_WIDE_INT
        when pos is zero or nonzero respectively.  Clarify comment.
        * c-format.c (check_format_info_recurse): Fix host_integerp
        usage; the pos argument should be zero when assigning to a
        signed HOST_WIDE_INT.

Which means it was a latent bug as this added the ICE in the first place.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |roger at eyesopen dot com,
                   |                            |jakub at redhat dot com


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

[Bug c/25309] [3.4/4.0/4.1/4.2 Regression] ICE on initialization of a huge array

[mmitchel at gcc dot gnu dot org]

------- Comment #5 from mmitchel at gcc dot gnu dot org  2005-12-19 19:16 -------
ICE on somewhat odd code: P2.


-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2


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

[Bug c/25309] [3.4/4.0/4.1/4.2 Regression] ICE on initialization of a huge array

[mmitchel at gcc dot gnu dot org]

------- Comment #6 from mmitchel at gcc dot gnu dot org  2006-02-24 00:26 -------
This issue will not be resolved in GCC 4.1.0; retargeted at GCC 4.1.1.


-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.0.3                       |4.1.1


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

[Bug c/25309] [4.0/4.1/4.2 Regression] ICE on initialization of a huge array

[sayle at gcc dot gnu dot org]

------- Comment #7 from sayle at gcc dot gnu dot org  2006-04-28 20:00 -------
Subject: Bug 25309

Author: sayle
Date: Fri Apr 28 19:59:57 2006
New Revision: 113355

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=113355
Log:

        PR c/25309
        * c-typeck.c (struct spelling): Make I an unsigned HOST_WIDE_INT.
        (push_array_bounds): Delete prototype.  Change BOUNDS argument to
        an unsigned HOST_WIDE_INT.
        (print_spelling): Use HOST_WIDE_INT_PRINT_UNSIGNED to output the
        array index.
        (really_start_incremental_init): No need to call convert because
        bitsize_zero_node is already of type bitsizetype.
        (push_init_level): Extract the value of constructor_index as an
        unsigned HOST_WIDE_INT quantity, using tree_low_cst.
        (process_init_element): Likewise.

        * gcc.dg/large-size-array-2.c: New test case.


Added:
    trunk/gcc/testsuite/gcc.dg/large-size-array-2.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/c-typeck.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug c/25309] [4.0/4.1/4.2 Regression] ICE on initialization of a huge array

[sayle at gcc dot gnu dot org]

------- Comment #8 from sayle at gcc dot gnu dot org  2006-05-02 17:15 -------
Subject: Bug 25309

Author: sayle
Date: Tue May  2 17:15:25 2006
New Revision: 113476

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=113476
Log:

        PR c/25309
        * c-typeck.c (struct spelling): Make I an unsigned HOST_WIDE_INT.
        (push_array_bounds): Delete prototype.  Change BOUNDS argument to
        an unsigned HOST_WIDE_INT.
        (print_spelling): Use HOST_WIDE_INT_PRINT_UNSIGNED to output the
        array index.
        (really_start_incremental_init): No need to call convert because
        bitsize_zero_node is already of type bitsizetype.
        (push_init_level): Extract the value of constructor_index as an
        unsigned HOST_WIDE_INT quantity, using tree_low_cst.
        (process_init_element): Likewise.

        * gcc.dg/large-size-array-2.c: New test case.


Added:
    branches/gcc-4_1-branch/gcc/testsuite/gcc.dg/large-size-array-2.c
Modified:
    branches/gcc-4_1-branch/gcc/ChangeLog
    branches/gcc-4_1-branch/gcc/c-typeck.c
    branches/gcc-4_1-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug c/25309] [4.0/4.1/4.2 Regression] ICE on initialization of a huge array

[sayle at gcc dot gnu dot org]

------- Comment #9 from sayle at gcc dot gnu dot org  2006-05-03 18:49 -------
Subject: Bug 25309

Author: sayle
Date: Wed May  3 18:49:40 2006
New Revision: 113500

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=113500
Log:

        PR c/25309
        * c-typeck.c (struct spelling): Make I an unsigned HOST_WIDE_INT.
        (push_array_bounds): Delete prototype.  Change BOUNDS argument to
        an unsigned HOST_WIDE_INT.
        (print_spelling): Use HOST_WIDE_INT_PRINT_UNSIGNED to output the
        array index.
        (really_start_incremental_init): No need to call convert because
        bitsize_zero_node is already of type bitsizetype.
        (push_init_level): Extract the value of constructor_index as an
        unsigned HOST_WIDE_INT quantity, using tree_low_cst.
        (process_init_element): Likewise.

        * gcc.dg/large-size-array-2.c: New test case.


Added:
    branches/gcc-4_0-branch/gcc/testsuite/gcc.dg/large-size-array-2.c
Modified:
    branches/gcc-4_0-branch/gcc/ChangeLog
    branches/gcc-4_0-branch/gcc/c-typeck.c
    branches/gcc-4_0-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug c/25309] [4.0/4.1/4.2 Regression] ICE on initialization of a huge array

[roger at eyesopen dot com]

------- Comment #10 from roger at eyesopen dot com  2006-05-04 00:14 -------
This should now be fixed on mainline and all active branches.


-- 

roger at eyesopen dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|4.1.1                       |4.0.4


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

[Bug c/25309] [4.0/4.1/4.2 Regression] ICE on initialization of a huge array

[hp at gcc dot gnu dot org]

------- Comment #11 from hp at gcc dot gnu dot org  2007-03-18 15:43 -------
I see this error for cris-axis-elf with trunk, as late as r123034:
gcc.dg/large-size-array-2.c:6: internal compiler error: in tree_low_cst, at
tree.c:4867
I think the proper action is to re-open the PR, right?


-- 

hp at gcc dot gnu dot org changed:

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


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

[Bug c/25309] [4.0/4.1/4.2/4.3 Regression] ICE on initialization of a huge array

[pinskia at gcc dot gnu dot org]

------- Comment #12 from pinskia at gcc dot gnu dot org  2007-03-18 17:38 -------
Ok, I can reproduce this ICE on a cross to cris-axis-elf, why it works for
powerpc-darwin and spu-elf, I don't know.  Does cris normally have
HOST_WIDE_INT as being 32bits?


-- 


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

[Bug c/25309] [4.0/4.1/4.2/4.3 Regression] ICE on initialization of a huge array

[hp at gcc dot gnu dot org]

------- Comment #13 from hp at gcc dot gnu dot org  2007-03-18 23:04 -------
I'm not sure I understand comment #12, because HOST_WIDE_INT is decided by the
host, not the target, unless need_64bit_hwint=yes but that's *not* set for
cris-*-*; it's a fairly regular 32-bit:er.  I saw this with a cross from a
x86_64-unknown-linux-gnu host (64-bit longs).


-- 


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

[Bug c/25309] [4.0/4.1/4.2/4.3 Regression] ICE on initialization of a huge array

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.0.4                       |4.1.3


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

[Bug c/25309] [4.0/4.1/4.2/4.3 Regression] ICE on initialization of a huge array

[jsm28 at gcc dot gnu dot org]

------- Comment #14 from jsm28 at gcc dot gnu dot org  2007-09-26 00:22 -------
Working on a patch.


-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |jsm28 at gcc dot gnu dot org
                   |dot org                     |
             Status|REOPENED                    |ASSIGNED
   Last reconfirmed|2006-02-12 18:03:19         |2007-09-26 00:22:34
               date|                            |


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

[Bug c/25309] [4.0/4.1/4.2/4.3 Regression] ICE on initialization of a huge array

[jsm28 at gcc dot gnu dot org]

------- Comment #15 from jsm28 at gcc dot gnu dot org  2007-09-26 12:32 -------
Subject: Bug 25309

Author: jsm28
Date: Wed Sep 26 12:32:27 2007
New Revision: 128811

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=128811
Log:
        PR c/25309
        * c-common.c (complete_array_type): Diagnose too-large arrays and
        set type to error_mark_node.

testsuite:
        * gcc.dg/large-size-array-2.c: Expect diagnostic for too-large
        array.
        * gcc.dg/large-size-array-4.c: New.  Copy of large-size-array-2.c
        without -O2.

Added:
    trunk/gcc/testsuite/gcc.dg/large-size-array-4.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/c-common.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.dg/large-size-array-2.c


-- 


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

[Bug c/25309] [4.1/4.2 Regression] ICE on initialization of a huge array

[jsm28 at gcc dot gnu dot org]

------- Comment #16 from jsm28 at gcc dot gnu dot org  2007-09-27 12:19 -------
Fixed for 4.3.0.


-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.0/4.1/4.2/4.3 Regression]|[4.1/4.2 Regression] ICE on
                   |ICE on initialization of a  |initialization of a huge
                   |huge array                  |array


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

[Bug c/25309] [4.1/4.2 Regression] ICE on initialization of a huge array

[jsm28 at gcc dot gnu dot org]

------- Comment #17 from jsm28 at gcc dot gnu dot org  2007-10-10 20:46 -------
Subject: Bug 25309

Author: jsm28
Date: Wed Oct 10 20:46:11 2007
New Revision: 129216

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=129216
Log:
        PR c/25309
        * c-common.c (complete_array_type): Diagnose too-large arrays and
        set type to error_mark_node.

testsuite:
        * gcc.dg/large-size-array-2.c: Expect diagnostic for too-large
        array.
        * gcc.dg/large-size-array-4.c: New.  Copy of large-size-array-2.c
        without -O2.

Added:
    branches/gcc-4_2-branch/gcc/testsuite/gcc.dg/large-size-array-4.c
Modified:
    branches/gcc-4_2-branch/gcc/ChangeLog
    branches/gcc-4_2-branch/gcc/c-common.c
    branches/gcc-4_2-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_2-branch/gcc/testsuite/gcc.dg/large-size-array-2.c


-- 


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

[Bug c/25309] [4.1 Regression] ICE on initialization of a huge array

[jsm28 at gcc dot gnu dot org]

------- Comment #18 from jsm28 at gcc dot gnu dot org  2007-10-10 21:19 -------
Fixed for 4.2.3.


-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|jsm28 at gcc dot gnu dot org|unassigned at gcc dot gnu
                   |                            |dot org
             Status|ASSIGNED                    |NEW
            Summary|[4.1/4.2 Regression] ICE on |[4.1 Regression] ICE on
                   |initialization of a huge    |initialization of a huge
                   |array                       |array


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

[Bug c/25309] [4.1 Regression] ICE on initialization of a huge array

[jsm28 at gcc dot gnu dot org]

------- Comment #19 from jsm28 at gcc dot gnu dot org  2008-07-04 15:12 -------
Closing 4.1 branch.


-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
      Known to fail|3.3.3 3.2.3 3.4.0 4.0.0     |3.3.3 3.2.3 3.4.0 4.0.0
                   |4.1.0 4.2.0                 |4.1.0 4.1.3 4.2.0
      Known to work|3.0.4                       |3.0.4 4.2.3 4.3.0
         Resolution|                            |FIXED
   Target Milestone|4.1.3                       |4.2.3


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