[Bug c++/13663] New: g++ segfaults in cc1plus

[Bug c++/13663] New: g++ segfaults in cc1plus

[richard at garandnet dot net]

I get a segfault with g++ on one file when using 3.3.2; this does not occur 
when using 3.2.x. 
 
The command: 
 
richard@deusexmachina:kbudget$ g++ -DHAVE_CONFIG_H -I. 
-I/home/richard/projects/kbudget/kbudget -I.. -I/usr/kde/3.2/include 
-I/usr/qt/3/include -I/usr/X11R6/include -DQT_THREAD_SUPPORT -D_REENTRANT 
-Wnon-virtual-dtor -Wno-long-long -Wundef -Wall -W -Wpointer-arith 
-Wwrite-strings -ansi -D_XOPEN_SOURCE=500 -D_BSD_SOURCE -Wcast-align 
-Wconversion -Wchar-subscripts -O2 -g3 -Wformat-security 
-Wmissing-format-attribute -fno-exceptions -fno-check-new -fno-common 
-fexceptions -c -o ktransactionsearchdlg.o ktransactionsearchdlg.cpp 
g++: Internal error: Segmentation fault (program cc1plus) 
Please submit a full bug report. 
See <URL:http://bugs.gentoo.org/> for instructions. 
 
The version: 
 
Reading specs from /usr/lib/gcc-lib/i686-pc-linux-gnu/3.3.2/specs 
Configured with: /var/tmp/portage/gcc-3.3.2-r5/work/gcc-3.3.2/configure 
--prefix=/usr --bindir=/usr/i686-pc-linux-gnu/gcc-bin/3.3 
--includedir=/usr/lib/gcc-lib/i686-pc-linux-gnu/3.3.2/include 
--datadir=/usr/share/gcc-data/i686-pc-linux-gnu/3.3 
--mandir=/usr/share/gcc-data/i686-pc-linux-gnu/3.3/man 
--infodir=/usr/share/gcc-data/i686-pc-linux-gnu/3.3/info --enable-shared 
--host=i686-pc-linux-gnu --target=i686-pc-linux-gnu --with-system-zlib 
--enable-languages=c,c++,f77,objc,java --enable-threads=posix 
--enable-long-long --disable-checking --enable-cstdio=stdio 
--enable-clocale=generic --enable-__cxa_atexit 
--enable-version-specific-runtime-libs 
--with-gxx-include-dir=/usr/lib/gcc-lib/i686-pc-linux-gnu/3.3.2/include/g++-v3 
--with-local-prefix=/usr/local --enable-shared --enable-nls 
--without-included-gettext --x-includes=/usr/X11R6/include 
--x-libraries=/usr/X11R6/lib --enable-interpreter --enable-java-awt=xlib 
--with-x --disable-multilib 
Thread model: posix 
gcc version 3.3.2 20031218 (Gentoo Linux 3.3.2-r5, propolice-3.3-7)

-- 
           Summary: g++ segfaults in cc1plus
           Product: gcc
           Version: 3.3.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: richard at garandnet dot net
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i686-pc-gnu-linux
  GCC host triplet: i686-pc-gnu-linux
GCC target triplet: i686-pc-gnu-linux


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

[Bug c++/13663] g++ segfaults in cc1plus

[richard at garandnet dot net]

------- Additional Comments From richard at garandnet dot net  2004-01-13 00:00 -------
Created an attachment (id=5467)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=5467&action=view)
The preprocessed source


-- 


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

[Bug c++/13663] [3.3 Regression] g++ segfaults in cc1plus

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-01-13 05:43 -------
The problem is this backtrace:
#0  walk_tree (tp=0x449091f0, func=0x828b870 <copy_body_r>, data=0xbffeb6a0, htab_=0x0) 
at ../../gcc/tree-inline.c:1715
#1  0x0828cc43 in walk_tree (tp=0x449091b4, func=0x828b870 <copy_body_r>, 
data=0xbffeb6a0, htab_=0x0) at ../../gcc/tree-inline.c:1627
#2  0x0828cc43 in walk_tree (tp=0x44909098, func=0x828b870 <copy_body_r>, 
data=0xbffeb6a0, htab_=0x0) at ../../gcc/tree-inline.c:1627
#3  0x0828cc43 in walk_tree (tp=0x44908104, func=0x828b870 <copy_body_r>, 
data=0xbffeb6a0, htab_=0x0) at ../../gcc/tree-inline.c:1627
#4  0x0828cc43 in walk_tree (tp=0x44906340, func=0x828b870 <copy_body_r>, 
data=0xbffeb6a0, htab_=0x0) at ../../gcc/tree-inline.c:1627
#5  0x0828cc43 in walk_tree (tp=0xbffeb684, func=0x828b870 <copy_body_r>, 
data=0xbffeb6a0, htab_=0x0) at ../../gcc/tree-inline.c:1627
#6  0x0828bb57 in copy_body (id=0x3) at ../../gcc/tree-inline.c:591
#7  0x0828ca5e in clone_body (clone=0x44901e4c, fn=0x44905c00, arg_map=0x3) at ../../gcc/
tree-inline.c:1517
#8  0x080c5056 in maybe_clone_body (fn=0x447bda10) at ../../gcc/cp/optimize.c:259
#9  0x080bfc4f in expand_body (fn=0x447bda10) at ../../gcc/cp/semantics.c:2328
#10 0x0809c568 in yyparse () at parse.y:2257
#11 0x080dba19 in c_common_parse_file (set_yydebug=3) at ../../gcc/c-lex.c:159
#12 0x0827e54a in compile_file () at ../../gcc/toplev.c:2130
#13 0x082837c5 in do_compile () at ../../gcc/toplev.c:5384
#14 0x08283859 in toplev_main (argc=3, argv=0x0) at ../../gcc/toplev.c:5414
#15 0x080e1cfb in main (argc=3, argv=0x3) at ../../gcc/main.c:35

I can confirm this on 3.3.3 but works right on the mainline (after normal tweaks to the source for 
the libstdc++ headers).

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|0000-00-00 00:00:00         |2004-01-13 05:43:23
               date|                            |
            Summary|g++ segfaults in cc1plus    |[3.3 Regression] g++
                   |                            |segfaults in cc1plus
   Target Milestone|---                         |3.3.3


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

[Bug c++/13663] [3.3 Regression] g++ segfaults in cc1plus

[bangerth at dealii dot org]

------- Additional Comments From bangerth at dealii dot org  2004-01-15 15:23 -------
This runs into an endless loop on my machine, eating up all memory. 
How unpleasant... 
 
W. 

-- 


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

[Bug c++/13663] [3.3/3.4/3.5 regression] gcc segfaults on/accepts invalid use of member

[reichelt at gcc dot gnu dot org]

------- Additional Comments From reichelt at gcc dot gnu dot org  2004-01-23 21:29 -------
The source seems to be buggy. Line 61037 should read

     for ( accts.first(); accts.current(); accts.next() ) {

instead of

     for ( accts.first(); accts.current(); accts.next ) {
     
With this fix the file compiles without problems.

But of course the compiler shouldn't go into an infinite loop
on the buggy code. Here's a reduced testcase:

========================================
struct A {};

struct B : A
{
    int foo();
};

struct C
{
    B b;
    C() { for ( ;; b.foo ) ; }
};
========================================

GCC 2.95.x issues an error message:

PR13663.cc: In method `C::C()':
PR13663.cc:11: invalid use of member (did you forget the `&' ?)

GCC 3.3.x goes into an endless loop.

GCC 3.0-3.2.3 and GCC 3.4 and mainline accept the code.
IMHO GCC 2.95.x is right and the code should be rejected
(however, I'm not really sure about that).


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |reichelt at gcc dot gnu dot
                   |                            |org
           Severity|normal                      |critical
           Keywords|ice-on-valid-code           |accepts-invalid, ice-on-
                   |                            |invalid-code, monitored
            Summary|[3.3 Regression] g++        |[3.3/3.4/3.5 regression] gcc
                   |segfaults in cc1plus        |segfaults on/accepts invalid
                   |                            |use of member


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

[Bug c++/13663] [3.3/3.4/3.5 regression] gcc segfaults on/accepts invalid use of member

[bangerth at dealii dot org]

------- Additional Comments From bangerth at dealii dot org  2004-01-26 14:25 -------
Just saying "b.foo" is taking the address of a bound member function 
IIRC (one of the many gcc extensions). We then don't do anything with 
this; that's a valid thing to do in the third clause of the for(;;) 
statement. 
 
It's nonsensical anyway. 
 
W. 

-- 


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

[Bug c++/13663] [3.3/3.4/3.5 regression] gcc segfaults on/accepts invalid use of member

[mmitchel at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |mark at codesourcery dot com
                   |dot org                     |
             Status|NEW                         |ASSIGNED


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

[Bug c++/13663] [3.3/3.4/3.5 regression] gcc segfaults on/accepts invalid use of member

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-01-26 20:11 -------
Subject: Bug 13663

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	mmitchel@gcc.gnu.org	2004-01-26 20:11:47

Modified files:
	gcc/cp         : ChangeLog semantics.c 
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/g++.dg/expr: for1.C 

Log message:
	PR c++/13663
	* semantics.c (finish_for_expr): Check for unresolved overloaded
	functions.
	
	PR c++/13363
	* g++.dg/expr/for1.C: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&r1=1.3910&r2=1.3911
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/semantics.c.diff?cvsroot=gcc&r1=1.384&r2=1.385
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.3424&r2=1.3425
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/expr/for1.C.diff?cvsroot=gcc&r1=NONE&r2=1.1



-- 


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

[Bug c++/13663] [3.3/3.4/3.5 regression] gcc segfaults on/accepts invalid use of member

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-01-26 20:12 -------
Subject: Bug 13663

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-3_4-branch
Changes by:	mmitchel@gcc.gnu.org	2004-01-26 20:12:22

Modified files:
	gcc/cp         : semantics.c 
Added files:
	gcc/testsuite/g++.dg/expr: for1.C 

Log message:
	PR c++/13663
	* semantics.c (finish_for_expr): Check for unresolved overloaded
	functions.
	
	PR c++/13363
	* g++.dg/expr/for1.C: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/semantics.c.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=1.381.4.3&r2=1.381.4.4
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/expr/for1.C.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=NONE&r2=1.1.2.1



-- 


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

[Bug c++/13663] [3.3/3.4/3.5 regression] gcc segfaults on/accepts invalid use of member

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-01-26 20:13 -------
Subject: Bug 13663

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-3_4-branch
Changes by:	mmitchel@gcc.gnu.org	2004-01-26 20:13:33

Modified files:
	gcc/cp         : ChangeLog 
	gcc/testsuite  : ChangeLog 

Log message:
	PR c++/13663
	* semantics.c (finish_for_expr): Check for unresolved overloaded
	functions.
	
	PR c++/13363
	* g++.dg/expr/for1.C: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=1.3892.2.16&r2=1.3892.2.17
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=1.3389.2.20&r2=1.3389.2.21



-- 


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

[Bug c++/13663] [3.3 regression] gcc segfaults on/accepts invalid use of member

[mmitchel at gcc dot gnu dot org]

------- Additional Comments From mmitchel at gcc dot gnu dot org  2004-01-26 20:15 -------
Fixed in GCC 3.4, GCC 3.5.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|mark at codesourcery dot com|unassigned at gcc dot gnu
                   |                            |dot org
             Status|ASSIGNED                    |NEW
            Summary|[3.3/3.4/3.5 regression] gcc|[3.3 regression] gcc
                   |segfaults on/accepts invalid|segfaults on/accepts invalid
                   |use of member               |use of member


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

[Bug c++/13663] [3.3 regression] gcc segfaults on invalid use of member

[gdr at gcc dot gnu dot org]

------- Additional Comments From gdr at gcc dot gnu dot org  2004-02-15 12:39 -------
Adjust milestone

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|3.3.3                       |3.3.4


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

[Bug c++/13663] [3.3 regression] gcc segfaults on invalid use of member

[gdr at gcc dot gnu dot org]

------- Additional Comments From gdr at gcc dot gnu dot org  2004-03-13 01:10 -------
I tried to backport Mark's patch from GCC-3.4.x to GCC-3.3.4 but it breaks
libstdc++-v3 with:

In file included from
/home/gdr/build/3/i686-pc-linux-gnu/libstdc++-v3/include/memory:54,
                 from
/home/gdr/build/3/i686-pc-linux-gnu/libstdc++-v3/include/string:48,
                 from
/home/gdr/build/3/i686-pc-linux-gnu/libstdc++-v3/include/bitset:55,
                 from /home/gdr/redhat/3.gcc/libstdc++-v3/src/bitset.cc:43:
/home/gdr/build/3/i686-pc-linux-gnu/libstdc++-v3/include/bits/stl_algobase.h: In
   function `_OutputIter std::__copy(_InputIter, _InputIter, _OutputIter, 
   std::input_iterator_tag)':
/home/gdr/build/3/i686-pc-linux-gnu/libstdc++-v3/include/bits/stl_algobase.h:227:
internal compiler error: Segmentation
   fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

I suspect the cause is that in GCC-3.4.x and higher we have better idea of
what names should evaluate to, so the fix used by Mark is probably sufficient
there.  For GCC-3.3.x I think I would have to rethink the logic.

-- Gaby


-- 


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

[Bug c++/13663] [3.3 regression] gcc segfaults on invalid use of member

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|critical                    |normal


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

[Bug c++/13663] [3.3 regression] gcc segfaults on invalid use of member

[gdr at gcc dot gnu dot org]

------- Additional Comments From gdr at gcc dot gnu dot org  2004-04-27 06:34 -------
Fixed in 3.4.0 and 3.5.0.
Won't fix in 3.3.x

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|3.3.4                       |3.4.0


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