--- Comment #18 from paolo dot carlini at oracle dot com 2009-02-03 13:16
---
(In reply to comment #17)
+ if (TREE_CODE (t1) == TYPENAME_TYPE)
+t1 = resolve_typename_type (t2, /*only_current_p=*/true);
But I suppose you want consistently t1 here ;)
--
--- Comment #20 from bonzini at gnu dot org 2009-02-03 15:56 ---
Subject: Bug 37314
Author: bonzini
Date: Tue Feb 3 15:56:05 2009
New Revision: 143896
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=143896
Log:
gcc/cp:
2009-02-03 Paolo Bonzini bonz...@gnu.org
PR
--- Comment #21 from bonzini at gnu dot org 2009-02-03 16:21 ---
fixed on 4.3/4.4, still needs backporting to 4.2
--
bonzini at gnu dot org changed:
What|Removed |Added
--- Comment #17 from bonzini at gnu dot org 2009-02-03 12:51 ---
The failure happens because structural_comptypes calls resolve_typename_type,
while merge_types does not. Maybe it should as in this patch?
Index: ../../peak-gcc-src/gcc/cp/typeck.c
--- Comment #19 from bonzini at gnu dot org 2009-02-03 13:40 ---
Test.cpp is a rejects-valid.
--
bonzini at gnu dot org changed:
What|Removed |Added
Keywords|
--- Comment #16 from jason at gcc dot gnu dot org 2008-12-01 16:29 ---
(In reply to comment #8)
Which I guess is invalid because the definition of Cdeque is not complete
at the time we bind iterator::pointer to CdequeT::pointer.
This is not an issue because CdequeT::pointer is a
--
rguenth at gcc dot gnu dot org changed:
What|Removed |Added
Status|WAITING |NEW
Priority|P3 |P2
Last
--- Comment #15 from rguenth at gcc dot gnu dot org 2008-09-20 14:41
---
The question remains if this is invalid or valid code.
--
rguenth at gcc dot gnu dot org changed:
What|Removed |Added
--
pinskia at gcc dot gnu dot org changed:
What|Removed |Added
CC||pinskia at gcc dot gnu dot
|
--- Comment #14 from w dot doeringer at fh-worms dot de 2008-09-04 16:48
---
Created an attachment (id=16223)
-- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16223action=view)
compiler error on valid code
might point to the problem causing the seg fault
--
--- Comment #13 from w dot doeringer at fh-worms dot de 2008-09-03 19:30
---
Created an attachment (id=16214)
-- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16214action=view)
very small testcase
this is a ten-line testcase clearly pointing to a problem with type-resolution
--- Comment #4 from rguenth at gcc dot gnu dot org 2008-09-01 15:53 ---
Confirmed.
Program received signal SIGSEGV, Segmentation fault.
0x00cd5495 in strip_array_types (type=0x0)
at /space/rguenther/src/svn/trunk/gcc/tree.c:5755
5755 while (TREE_CODE (type) ==
--- Comment #5 from rguenth at gcc dot gnu dot org 2008-09-01 15:56 ---
Reducing.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37314
--- Comment #6 from paolo dot carlini at oracle dot com 2008-09-01 16:01
---
Thanks Richard.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37314
--- Comment #7 from rguenth at gcc dot gnu dot org 2008-09-01 16:02 ---
Reduced testcase:
template typename T
class Cdeque {
typedef T *pointer;
class iterator {
typedef typename CdequeT::pointer pointer;
pointer operator-();
};
};
template typename T T*
--- Comment #8 from rguenth at gcc dot gnu dot org 2008-09-01 16:03 ---
Which I guess is invalid because the definition of Cdeque is not complete
at the time we bind iterator::pointer to CdequeT::pointer.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37314
--- Comment #9 from rguenth at gcc dot gnu dot org 2008-09-01 16:05 ---
Though EDG accepts it (but of course nothing is instantiated here).
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37314
--- Comment #10 from w dot doeringer at fh-worms dot de 2008-09-01 16:14
---
Subject: Re: [4.2/4.3/4.4 Regression] seg violation
Hi,
thanks for taking the time to look at my problem.
I did try with version 4.2 and fared no better.
Versions up to 4.0.x compile ok.
Let me know if I can
--- Comment #11 from w dot doeringer at fh-worms dot de 2008-09-01 16:39
---
Subject: Re: [4.2/4.3/4.4 Regression] seg violation
Hi,
I have added some substance to the reduced testcase, so that now actual
code is generated. You find it in the attached file.
It compiles well under
19 matches
Mail list logo
