[Bug middle-end/37417] New: [4.4 Regression] error: type mismatch in binary expression, verify_gimple failed

[Bug middle-end/37417] New: [4.4 Regression] error: type mismatch in binary expression, verify_gimple failed

[tbm at cyrius dot com]

With current trunk (revision 140100):

(sid)1089:tbm@em64t: ~] /usr/lib/gcc-snapshot/bin/gcc -c -O2 asc-edgen.ii
./../../edgen.cpp: In member function 'void tmapgenerator::init()':
./../../edgen.cpp:71: error: type mismatch in binary expression
long unsigned int

long unsigned int

int

D.95017 = D.95016 + 1;

./../../edgen.cpp:71: internal compiler error: verify_gimple failed
Please submit a full bug report,


-- 
           Summary: [4.4 Regression] error: type mismatch in binary
                    expression, verify_gimple failed
           Product: gcc
           Version: 4.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: tbm at cyrius dot com


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

[Bug middle-end/37417] [4.4 Regression] error: type mismatch in binary expression, verify_gimple failed

[tbm at cyrius dot com]

------- Comment #1 from tbm at cyrius dot com  2008-09-08 08:48 -------
Forgot to mention that this also happens with -O0


-- 


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

[Bug middle-end/37417] [4.4 Regression] error: type mismatch in binary expression, verify_gimple failed

[tbm at cyrius dot com]

------- Comment #2 from tbm at cyrius dot com  2008-09-08 08:53 -------
Created an attachment (id=16251)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16251&action=view)
Preprocessed code


-- 


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

[Bug middle-end/37417] [4.4 Regression] error: type mismatch in binary expression, verify_gimple failed

[tbm at cyrius dot com]

------- Comment #3 from tbm at cyrius dot com  2008-09-08 10:08 -------
/* Testcase by Martin Michlmayr <tbm@cyrius.com> */

class tplasma
{
  public: int maxx;
};
tplasma plasma;
void init (void)
{
  new (char[plasma.maxx]);
}


-- 


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

[Bug c++/37417] [4.4 Regression] error: type mismatch in binary expression, verify_gimple failed

[pinskia at gcc dot gnu dot org]

------- Comment #4 from pinskia at gcc dot gnu dot org  2008-09-08 21:05 -------
Even more reduced testcase:
void init (int a)
{
  new (char[a]);
}


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
          Component|middle-end                  |c++
     Ever Confirmed|0                           |1
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|0000-00-00 00:00:00         |2008-09-08 21:05:56
               date|                            |
   Target Milestone|---                         |4.4.0


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

[Bug c++/37417] [4.4 Regression] error: type mismatch in binary expression, verify_gimple failed

[jakub at gcc dot gnu dot org]

------- Comment #5 from jakub at gcc dot gnu dot org  2008-09-09 16:41 -------
FE bug:
tree
array_type_nelts_top (tree type)
{
  return fold_build2 (PLUS_EXPR, sizetype,
                      array_type_nelts (type),
                      integer_one_node);
}
Should use size_one_node instead.


-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |jakub at gcc dot gnu dot org
                   |dot org                     |
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2008-09-08 21:05:56         |2008-09-09 16:41:19
               date|                            |


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

[Bug c++/37417] [4.4 Regression] error: type mismatch in binary expression, verify_gimple failed

[jsm28 at gcc dot gnu dot org]

-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1


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

[Bug c++/37417] [4.4 Regression] error: type mismatch in binary expression, verify_gimple failed

[jakub at gcc dot gnu dot org]

------- Comment #6 from jakub at gcc dot gnu dot org  2008-09-09 22:10 -------
Subject: Bug 37417

Author: jakub
Date: Tue Sep  9 22:08:46 2008
New Revision: 140178

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=140178
Log:
        PR c++/37417
        * tree.c (array_type_nelts_top): Add size_one_node instead of
        integer_one_node.

        * g++.dg/ext/vla5.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/ext/vla5.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/tree.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/37417] [4.4 Regression] error: type mismatch in binary expression, verify_gimple failed

[jakub at gcc dot gnu dot org]

------- Comment #7 from jakub at gcc dot gnu dot org  2008-09-09 22:13 -------
Fixed.


-- 

jakub at gcc dot gnu dot org changed:

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


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