[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=gccview=revrev=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

[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|-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