[Bug c/22439] New: ICE with unsigned char array: size_binop, at fold-const.c:1637

[Bug c/22439] New: ICE with unsigned char array: size_binop, at fold-const.c:1637

[etienne_lorrain at yahoo dot fr]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 5357 bytes --]

etienne@cygne:~/projet$ gcc fntbin2h.c
fntbin2h.c: In function 'fct':
fntbin2h.c:50: warning: passing argument 1 of 'fct2' from incompatible pointer 
type
fntbin2h.c:62: internal compiler error: in size_binop, at fold-const.c:1637
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.
For Debian GNU/Linux specific bug reporting instructions,
see <URL:file:///usr/share/doc/gcc-4.0/README.Bugs>.
etienne@cygne:~/projet$ gcc -v
Using built-in specs.
Target: i486-linux-gnu
Configured with: ../src/configure -v --enable-
languages=c,c++,java,f95,objc,ada,treelang --prefix=/usr --enable-shared --
with-system-zlib --libexecdir=/usr/lib --enable-nls --without-included-
gettext --enable-threads=posix --program-suffix=-4.0 --enable-__cxa_atexit --
enable-libstdcxx-allocator=mt --enable-clocale=gnu --enable-libstdcxx-debug --
enable-java-gc=boehm --enable-java-awt=gtk --with-java-home=/usr/lib/jvm/java-
1.4.2-gcj-4.0-1.4.2.0/jre --enable-mpfr --disable-werror --enable-
checking=release i486-linux-gnu
Thread model: posix
gcc version 4.0.1 20050701 (prerelease) (Debian 4.0.0-12)
etienne@cygne:~/projet$

------------------------------
/* fntbin2h.c of Gujin (see sourceforge) */
void PRINTF (char *, ...);
void fct2(unsigned char *font[256], void *ptr);

void fct (unsigned fntheigh, void *ptr)
  {
  unsigned char font[256][fntheigh];
  unsigned font_index;
  const unsigned char font_order[256] = {
        0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07,
        0x08, 0x09, 0x0A, 0x0B, 0x0C, 0x0D, 0x0E, 0x0F,
        0x10, 0x11, 0x12, 0x13, 0x14, 0x15, 0x16, 0x17,
        0x18, 0x19, 0x1A, 0x1B, 0x1C, 0x1D, 0x1E, 0x1F,

        0x80, 0x81, 0x82, 0x83, 0x84, 0x85, 0x86, 0x87,
        0x88, 0x89, 0x8A, 0x8B, 0x8C, 0x8D, 0x8E, 0x8F,
        0x90, 0x91, 0x92, 0x93, 0x94, 0x95, 0x96, 0x97,
        0x98, 0x99, 0x9A, 0x9B, 0x9C, 0x9D, 0x9E, 0x9F,

        0x7F,  '¹',  '²',  '³',  '¼',  '½',  '¾',  '%',
         'ª',  'º',  '°',  '·',  '.',  ':',  ',',  ';',
        '\'',  '"',  '`',  '^',  '~',  '¨',  '´',  '¸',
         '«',  '»',  '¬',  '×',  'µ',  '&',  '§',  '¶',
         '[',  ']',  '{',  '}',  '(',  ')',  '<',  '>',
         '#',  '@',  '?',  '¿',  '!',  '¡',  '¦',  '|',
         '+',  '-',  '±',  '÷',  '/', '\\',  '_',  '­',
         '¯',  '*',  '=',  '¤',  '£',  '$',  '¢',  '¥',
         '0',  '1',  '2',  '3',  '4',  '5',  '6',  '7',
         '8',  '9',  ' ', 0xA0,  '®',  '©',  'Þ',  'þ', /* NBSP, big/small 
islandic thorn */

        /* Accented letter order:
                grave, acute, circumflex, tilda, trema, round */
         'A',  'À',  'Á',  'Â',  'Ã',  'Ä',  'Å',  'Æ',
         'B',  'C',  'Ç',  'D',  'Ð',  'E',  'È',  'É',
         'Ê',  'Ë',  'F',  'G',  'H',  'I',  'Ì',  'Í',
         'Î',  'Ï',  'J',  'K',  'L',  'M',  'N',  'Ñ',
         'O',  'Ò',  'Ó',  'Ô',  'Õ',  'Ö',  'Ø',  'P',
         'Q',  'R',  'S',  'ß',  'T',  'U',  'Ù',  'Ú',
         'Û',  'Ü',  'V',  'W',  'X',  'Y',  'Ý',  'Z',

         'a',  'à',  'á',  'â',  'ã',  'ä',  'å',  'æ',
         'b',  'c',  'ç',  'd',  'ð',  'e',  'è',  'é',
         'ê',  'ë',  'f',  'g',  'h',  'i',  'ì',  'í',
         'î',  'ï',  'j',  'k',  'l',  'm',  'n',  'ñ',
         'o',  'ò',  'ó',  'ô',  'õ',  'ö',  'ø',  'p',
         'q',  'r',  's',  't',  'u',  'ù',  'ú',  'û',
         'ü',  'v',  'w',  'x',  'y',  'ý',  'ÿ',  'z'
        };

  fct2 (font, ptr);
  PRINTF ("const union font_line_u font8x%u[256][%u] = {\n", fntheigh, 
fntheigh);
  for (font_index = 0; font_index < 256; font_index++) {
      unsigned cpt;
      if (   font_order[font_index] < 0x20
          || (font_order[font_index] >= 0x80 && font_order[font_index] < 0xA0))
          PRINTF ("    [0x%X] = {\n", font_order[font_index]);
        else if (font_order[font_index] == '\'' || font_order[font_index] 
== '\\')
          PRINTF ("    ['\\%c'] = {\n", font_order[font_index]);
        else
          PRINTF ("    ['%c'] = {\n", font_order[font_index]);
      for (cpt = 0; cpt < fntheigh; cpt++) {
          unsigned tmp = font[font_order[font_index]][cpt];
          PRINTF ("\t%c (%c,%c,%c,%c,%c,%c,%c,%c),\n",
//              (cpt == 0) ? 'T' : ((cpt == fntheigh - 1) ? 'B' : 'M'),
                'B',
                (tmp & 0x80)? 'X' : '_', (tmp & 0x40)? 'X' : '_',
                (tmp & 0x20)? 'X' : '_', (tmp & 0x10)? 'X' : '_',
                (tmp & 0x08)? 'X' : '_', (tmp & 0x04)? 'X' : '_',
                (tmp & 0x02)? 'X' : '_', (tmp & 0x01)? 'X' : '_');
          }
      PRINTF ("\t},\n");
      }

  PRINTF ("    }; /* font8x%u */\n", fntheigh);
  }
------------------------------

  Thanks,
  Etienne.

-- 
           Summary: ICE with unsigned char array: size_binop, at fold-
                    const.c:1637
           Product: gcc
           Version: 4.0.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: etienne_lorrain at yahoo dot fr
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i486-linux-gnu
  GCC host triplet: i486-linux-gnu
GCC target triplet: i486-linux-gnu


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

[Bug c/22439] [4.0/4.1 regression] ICE with char array: size_binop, at fold-const.c:1637

[reichelt at gcc dot gnu dot org]

------- Additional Comments From reichelt at gcc dot gnu dot org  2005-07-12 13:40 -------
Confirmed. Reduced testcase:

===========================
char foo(unsigned n)
{
    char c[1][n];
    return c[0][0];
}
===========================

The ICE appeared with gcc 4.0.0.
The code compiles fine if one replaces unsigned with int, or char with int.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |reichelt at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |ice-on-valid-code, monitored
   Last reconfirmed|0000-00-00 00:00:00         |2005-07-12 13:40:31
               date|                            |
            Summary|ICE with unsigned char      |[4.0/4.1 regression] ICE
                   |array: size_binop, at fold- |with char array: size_binop,
                   |const.c:1637                |at fold-const.c:1637
   Target Milestone|---                         |4.0.2


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

[Bug middle-end/22439] [4.0/4.1 regression] ICE with char array: size_binop, at fold-const.c:1637

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-12 15:16 -------
(In reply to comment #1)
> Confirmed. Reduced testcase:
Reduced testcase which fails everywhere (even on 64bit targets):
char foo(__SIZE_TYPE__ n)
{
    char c[1][n];
    return c[0][0];
}
======
Here is the backtrace:
#1  0x002eec68 in fancy_abort (file=0x8e8a78 "/Users/pinskia/src/local/gcc/gcc/fold-const.c", 
line=1663, function=0xa08968 "size_binop") at /Users/pinskia/src/local/gcc/gcc/diagnostic.c:590
#2  0x0033c70c in size_binop (code=EXACT_DIV_EXPR, arg0=0x41dba9a0, arg1=0x41d114a0) at /
Users/pinskia/src/local/gcc/gcc/fold-const.c:1662
#3  0x001db4c4 in gimplify_compound_lval (expr_p=0x41dc1c3c, pre_p=0xbfffe8d4, 
post_p=0xbfffe8d8, fallback=fb_rvalue) at /Users/pinskia/src/local/gcc/gcc/gimplify.c:1500
#4  0x001eb2d8 in gimplify_expr (expr_p=0x41dc1c3c, pre_p=0xbfffe8d4, post_p=0xbfffe8d8, 
gimple_test_f=0x3e8364 <is_gimple_val>, fallback=fb_rvalue) at /Users/pinskia/src/local/gcc/gcc/
gimplify.c:3978
#5  0x001ebbb0 in gimplify_expr (expr_p=0x41dbcef0, pre_p=0xbfffe8d4, post_p=0xbfffe8d8, 
gimple_test_f=0x3e72fc <is_gimple_reg_rhs>, fallback=fb_rvalue) at /Users/pinskia/src/local/gcc/
gcc/gimplify.c:4072
#6  0x001e6b10 in gimplify_modify_expr (expr_p=0xbfffe9f8, pre_p=0xbfffe8d4, post_p=0xbfffe8d8, 
want_value=0 '\0') at /Users/pinskia/src/local/gcc/gcc/gimplify.c:3154


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
          Component|c                           |middle-end
  GCC build triplet|i486-linux-gnu              |
   GCC host triplet|i486-linux-gnu              |
 GCC target triplet|i486-linux-gnu              |
      Known to fail|                            |4.0.0 4.1.0
      Known to work|                            |3.4.0


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

[Bug middle-end/22439] [4.0/4.1 regression] ICE with char VLA and __SIZE_TYPE__ argument (so no cast)

[rth at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |rth at gcc dot gnu dot org
                   |dot org                     |
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2005-07-12 13:40:31         |2005-08-08 17:33:32
               date|                            |


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

[Bug middle-end/22439] [4.0/4.1 regression] ICE with char VLA and __SIZE_TYPE__ argument (so no cast)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-08 18:11 -------
Hmm, this worked with 20041211.

-- 


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

[Bug middle-end/22439] [4.0/4.1 regression] ICE with char VLA and __SIZE_TYPE__ argument (so no cast)

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-08-08 21:38 -------
Subject: Bug 22439

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	rth@gcc.gnu.org	2005-08-08 21:38:25

Modified files:
	gcc            : ChangeLog gimplify.c 

Log message:
	PR 22439
	* gimplify.c (gimplify_one_sizepos): Preserve the original type.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.9682&r2=2.9683
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/gimplify.c.diff?cvsroot=gcc&r1=2.143&r2=2.144



-- 


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

[Bug middle-end/22439] [4.0/4.1 regression] ICE with char VLA and __SIZE_TYPE__ argument (so no cast)

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-08-08 21:39 -------
Subject: Bug 22439

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-4_0-branch
Changes by:	rth@gcc.gnu.org	2005-08-08 21:39:18

Modified files:
	gcc            : ChangeLog gimplify.c 

Log message:
	PR 22439
	* gimplify.c (gimplify_one_sizepos): Preserve the original type.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=2.7592.2.359&r2=2.7592.2.360
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/gimplify.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=2.113.2.8&r2=2.113.2.9



-- 


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

[Bug middle-end/22439] [4.0/4.1 regression] ICE with char VLA and __SIZE_TYPE__ argument (so no cast)

[rth at gcc dot gnu dot org]

------- Additional Comments From rth at gcc dot gnu dot org  2005-08-08 21:47 -------
Fixed.

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


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

[Bug middle-end/22439] [4.0/4.1 regression] ICE with char VLA and __SIZE_TYPE__ argument (so no cast)

[giovannibajo at libero dot it]

------- Additional Comments From giovannibajo at libero dot it  2005-08-10 13:49 -------
No testcase was added, so reopening this until the testcase is committed.

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


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

[Bug middle-end/22439] [4.0/4.1 regression] ICE with char VLA and __SIZE_TYPE__ argument (so no cast)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-26 15:05 -------
I am handling the testcase.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|rth at gcc dot gnu dot org  |pinskia at gcc dot gnu dot
                   |                            |org
             Status|REOPENED                    |ASSIGNED


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

[Bug middle-end/22439] [4.0/4.1 regression] ICE with char VLA and __SIZE_TYPE__ argument (so no cast)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-26 15:14 -------
Fixed.

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


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

[Bug middle-end/22439] [4.0/4.1 regression] ICE with char VLA and __SIZE_TYPE__ argument (so no cast)

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-08-26 15:13 -------
Subject: Bug 22439

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-4_0-branch
Changes by:	pinskia@gcc.gnu.org	2005-08-26 15:13:19

Modified files:
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/gcc.dg: vla-3.c 

Log message:
	2005-08-26  Andrew Pinski  <pinskia@physics.uc.edu>
	
	PR middle-end/22439
	* gcc.dg/vla-3.c: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.5084.2.350&r2=1.5084.2.351
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.dg/vla-3.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.2.1



-- 


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

[Bug middle-end/22439] [4.0/4.1 regression] ICE with char VLA and __SIZE_TYPE__ argument (so no cast)

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-08-26 15:14 -------
Subject: Bug 22439

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	pinskia@gcc.gnu.org	2005-08-26 15:14:14

Modified files:
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/gcc.dg: vla-3.c 

Log message:
	2005-08-26  Andrew Pinski  <pinskia@physics.uc.edu>
	
	PR middle-end/22439
	* gcc.dg/vla-3.c: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.5963&r2=1.5964
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.dg/vla-3.c.diff?cvsroot=gcc&r1=1.1&r2=1.2



-- 


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