[Bug c++/12253] New: [tree-ssa] ICE on conversion to std::string inside array initialization

[Bug c++/12253] New: [tree-ssa] ICE on conversion to std::string inside array initialization

[stefaandr at hotmail dot com]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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

           Summary: [tree-ssa] ICE on conversion to std::string inside array
                    initialization
           Product: gcc
           Version: tree-ssa
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: stefaandr at hotmail dot com
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu

This code:
#include <string>
void x() { std::string test[] = { "" }; }

Reading specs from
/esat/firenze/install/lib/gcc/i686-pc-linux-gnu/3.5-tree-ssa/specs
Configured with: ../../gcc/ssa/configure --prefix=/esat/firenze/install
--program-suffix=-ssa --enable-languages=c,c++
Thread model: posix
gcc version 3.5-tree-ssa 20030904 (merged 20030817)
 /esat/firenze/install/libexec/gcc/i686-pc-linux-gnu/3.5-tree-ssa/cc1plus -quiet
-v -D_GNU_SOURCE test.cpp -quiet -dumpbase test.cpp -mtune=pentiumpro -auxbase
test -version -o /tmp/ccRcGZzx.s
ignoring nonexistent directory
"/esat/firenze/install/lib/gcc/i686-pc-linux-gnu/3.5-tree-ssa/../../../../i686-pc-linux-gnu/include"
#include "..." search starts here:
#include <...> search starts here:
 /esat/firenze/install/lib/gcc/i686-pc-linux-gnu/3.5-tree-ssa/../../../../include/c++/3.5-tree-ssa
 /esat/firenze/install/lib/gcc/i686-pc-linux-gnu/3.5-tree-ssa/../../../../include/c++/3.5-tree-ssa/i686-pc-linux-gnu
 /esat/firenze/install/lib/gcc/i686-pc-linux-gnu/3.5-tree-ssa/../../../../include/c++/3.5-tree-ssa/backward
 /usr/local/include
 /esat/firenze/install/include
 /esat/firenze/install/lib/gcc/i686-pc-linux-gnu/3.5-tree-ssa/include
 /usr/include
End of search list.
GNU C++ version 3.5-tree-ssa 20030911 (merged 20030817) (i686-pc-linux-gnu)
        compiled by GNU C version 3.3.1.
GGC heuristics: --param ggc-min-expand=81 --param ggc-min-heapsize=96541
test.cpp: In function `void x()':
test.cpp:2: internal compiler error: in gimplify_expr, at gimplify.c:677
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

[Bug c++/12253] [tree-ssa] ICE on conversion to std::string inside array initialization

[reichelt at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|0000-00-00 00:00:00         |2003-10-06 20:03:06
               date|                            |


------- Additional Comments From reichelt at gcc dot gnu dot org  2003-10-06 20:03 -------
Confirmed with 3.5-tree-ssa 20031006.

Here's a reduced testcase:

==========================================
struct A
{
    ~A();
};

template<typename> struct B
{
    A a;
    B(const char*, const A& = A());
};

extern template class B<char>;

void foo() { B<char> b[] = { "" }; }
==========================================

for which I get

PR12253.ii: In function `void foo()':
PR12253.ii:14: internal compiler error: in gimplify_expr, at gimplify.c:662
Please submit a full bug report, [etc.]

[Bug c++/12253] [tree-ssa] ICE on conversion to std::string inside array initialization

[reichelt at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |tree-ssa

[Bug c++/12253] [tree-ssa] ICE on conversion to std::string inside array initialization

[reichelt at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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



------- Additional Comments From reichelt at gcc dot gnu dot org  2003-10-07 08:12 -------
Here's an even simpler testcase without templates,
and with fixed array dimension.

=======================================
struct A
{
    ~A();
};

struct B
{
    A a;
    B(int, const A& = A());
};

void foo() { B b[1] = { 0 }; }
=======================================

[Bug c++/12253] [tree-ssa] ICE on conversion to std::string inside array initialization

[pinskia at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|2003-10-06 20:03:06         |2003-10-26 20:05:31
               date|                            |


------- Additional Comments From pinskia at gcc dot gnu dot org  2003-10-26 20:05 -------
>From Phil's regression hunter: Search converges between 2003-08-20-ssa (#64) and 2003-08-21-
ssa (#65).

[Bug c++/12253] [tree-ssa] ICE on conversion to std::string inside array initialization

[steven at gcc dot gnu dot org]

------- Additional Comments From steven at gcc dot gnu dot org  2003-11-13 23:30 -------
Another WITH_CLEANUP_EXPR problem...  May be related to, or be fixed along 
with 13033. 
 
Breakpoint 1, internal_error (msgid=0x85156a4 "gimplify_expr") at ../../
tree-ssa/gcc/diagnostic.c:536 
536       va_start (ap, msgid); 
(gdb) up 
#1  0x0821721f in fancy_abort (file=0x85156a4 "gimplify_expr", line=3151, 
    function=0x85156a4 "gimplify_expr") at ../../tree-ssa/gcc/diagnostic.c:584 
584       internal_error ("in %s, at %s:%d", function, trim_filename (file), 
line); 
(gdb) 
#2  0x08199b1d in gimplify_expr (expr_p=0x4025f6b0, pre_p=0xbfffd314, 
post_p=0xbfffd310, 
    gimple_test_f=0x8191940 <is_gimple_stmt>, fallback=fb_none) at ../../
tree-ssa/gcc/gimplify.c:3151 
3151                abort (); 
(gdb) l 
3146                  ret = GS_ALL_DONE; 
3147                  break; 
3148                } 
3149              else 
3150                /* Fail if we don't know how to handle this tree code.  */ 
3151                abort (); 
3152 
3153              recalculate_side_effects (*expr_p); 
3154              break; 
3155            } 
(gdb) p debug_tree (*expr_p) 
 <with_cleanup_expr 0x402717f8 
    type <void_type 0x4019ae0c void VOID 
        align 8 symtab 0 alias set -1 
        pointer_to_this <pointer_type 0x4019ae80>> 
    side-effects 
    arg 1 <statement_list 0x4026cc90 type <void_type 0x4019ae0c void> 
        side-effects> 
    rtl 2 (nil) 
 
    12253.cc:12> 

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jason at gcc dot gnu dot org


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

[Bug c++/12253] [tree-ssa] ICE on conversion to std::string inside array initialization

[jason at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |jason at gcc dot gnu dot org
                   |dot org                     |
             Status|NEW                         |ASSIGNED


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

[Bug c++/12253] [tree-ssa] ICE on conversion to std::string inside array initialization

[reichelt at gcc dot gnu dot org]

------- Additional Comments From reichelt at gcc dot gnu dot org  2003-12-03 22:56 -------
Here's an even shorter testcase.

============================
struct A
{
    ~A();
};

struct B
{
    A a;
    B(const A& = A());
};

B b[1] = { B() };
============================

Btw, if you remove the line "A a;" you'll also get an ICE since about
gcc 3.5-tree-ssa-20031114, see PR 13059.


-- 


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

[Bug c++/12253] [tree-ssa] ICE on conversion to std::string inside array initialization

[reichelt at gcc dot gnu dot org]

------- Additional Comments From reichelt at gcc dot gnu dot org  2003-12-03 22:56 -------
*** Bug 13059 has been marked as a duplicate of this bug. ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bangerth at dealii dot org


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

[Bug c++/12253] [tree-ssa] ICE on conversion to std::string inside array initialization

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2003-12-11 22:15 -------
I see this also in SPEC 2004.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |critical
   Last reconfirmed|2003-12-07 07:31:49         |2003-12-11 22:15:22
               date|                            |


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

[Bug c++/12253] [tree-ssa] ICE on conversion to std::string inside array initialization

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2003-12-18 19:53 -------
Subject: Bug 12253

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	jason@gcc.gnu.org	2003-12-18 19:53:10

Modified files:
	gcc/cp         : ChangeLog init.c parser.c pt.c semantics.c 

Log message:
	PR c++/12253
	* init.c (build_vec_init): Initialization of an element from
	an initializer list is also a full-expression.
	
	* parser.c, pt.c, semantics.c: Rename constant_expression_p
	to integral_constant_expression_p.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&r1=1.3819&r2=1.3820
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/init.c.diff?cvsroot=gcc&r1=1.351&r2=1.352
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/parser.c.diff?cvsroot=gcc&r1=1.137&r2=1.138
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/pt.c.diff?cvsroot=gcc&r1=1.804&r2=1.805
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/semantics.c.diff?cvsroot=gcc&r1=1.377&r2=1.378



-- 


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

[Bug c++/12253] [tree-ssa] ICE on conversion to std::string inside array initialization

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2003-12-18 21:03 -------
Subject: Bug 12253

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	jason@gcc.gnu.org	2003-12-18 21:03:42

Added files:
	gcc/testsuite/g++.dg/init: array12.C 

Log message:
	PR c++/12253
	* init.c (build_vec_init): Initialization of an element from
	an initializer list is also a full-expression.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/init/array12.C.diff?cvsroot=gcc&r1=NONE&r2=1.1



-- 


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

[Bug c++/12253] [tree-ssa] ICE on conversion to std::string inside array initialization

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2003-12-18 21:29 -------
Subject: Bug 12253

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-3_3-branch
Changes by:	jason@gcc.gnu.org	2003-12-18 21:29:21

Modified files:
	gcc/cp         : ChangeLog init.c 

Log message:
	PR c++/12253
	* init.c (build_vec_init): Initialization of an element from
	an initializer list is also a full-expression.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-3_3-branch&r1=1.3076.2.223&r2=1.3076.2.224
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/init.c.diff?cvsroot=gcc&only_with_tag=gcc-3_3-branch&r1=1.299.2.10&r2=1.299.2.11



-- 


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

[Bug c++/12253] [tree-ssa] ICE on conversion to std::string inside array initialization

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2003-12-18 21:18 -------
Subject: Bug 12253

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	tree-ssa-20020619-branch
Changes by:	jason@gcc.gnu.org	2003-12-18 21:17:59

Modified files:
	gcc/cp         : ChangeLog init.c 

Log message:
	PR c++/12253
	* init.c (build_vec_init): Initialization of an element from
	an initializer list is also a full-expression.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&only_with_tag=tree-ssa-20020619-branch&r1=1.2849.2.61&r2=1.2849.2.62
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/init.c.diff?cvsroot=gcc&only_with_tag=tree-ssa-20020619-branch&r1=1.281.2.32&r2=1.281.2.33



-- 


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

[Bug c++/12253] [tree-ssa] ICE on conversion to std::string inside array initialization

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2003-12-18 21:44 -------
Fixed.

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


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