* [Bug c++/30818] [4.1/4.2/4.3 Regression] templates and typedefs cause function prototype not to match
2007-02-16 10:30 [Bug c++/30818] New: [4.1.2 Regression] templates and typedefs cause function prototype not to match sschunck at pdf dot de
@ 2007-02-16 11:25 ` rguenth at gcc dot gnu dot org
2007-02-16 13:47 ` rguenth at gcc dot gnu dot org
` (10 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2007-02-16 11:25 UTC (permalink / raw)
To: gcc-bugs
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1411 bytes --]
------- Comment #1 from rguenth at gcc dot gnu dot org 2007-02-16 11:25 -------
EDG happily eats this. With mainline the error looks like
t.ii:18: error: prototype for typename A<T>::B::type A<T>::B::f() does not
match any in class A<T>::B
t.ii:13: error: candidate is: typename A<T>::type A<T>::B::f()
t.ii:18: error: typename A<T>::B::type A<T>::B::f() cannot be overloaded
t.ii:13: error: with typename A<T>::type A<T>::B::f()
t.ii:18: error: template definition of non-template typename A<T>::B::type
A<T>::B::f()
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed|0 |1
Keywords| |rejects-valid
Known to fail|4.1.2 |4.1.2 4.2.0 4.3.0
Last reconfirmed|0000-00-00 00:00:00 |2007-02-16 11:25:02
date| |
Summary|[4.1.2 Regression] templates|[4.1/4.2/4.3 Regression]
|and typedefs cause function |templates and typedefs cause
|prototype not to match |function prototype not to
| |match
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30818
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug c++/30818] [4.1/4.2/4.3 Regression] templates and typedefs cause function prototype not to match
2007-02-16 10:30 [Bug c++/30818] New: [4.1.2 Regression] templates and typedefs cause function prototype not to match sschunck at pdf dot de
2007-02-16 11:25 ` [Bug c++/30818] [4.1/4.2/4.3 " rguenth at gcc dot gnu dot org
@ 2007-02-16 13:47 ` rguenth at gcc dot gnu dot org
2007-02-21 15:23 ` rguenth at gcc dot gnu dot org
` (9 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2007-02-16 13:47 UTC (permalink / raw)
To: gcc-bugs
------- Comment #2 from rguenth at gcc dot gnu dot org 2007-02-16 13:46 -------
*** Bug 30821 has been marked as a duplicate of this bug. ***
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30818
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug c++/30818] [4.1/4.2/4.3 Regression] templates and typedefs cause function prototype not to match
2007-02-16 10:30 [Bug c++/30818] New: [4.1.2 Regression] templates and typedefs cause function prototype not to match sschunck at pdf dot de
2007-02-16 11:25 ` [Bug c++/30818] [4.1/4.2/4.3 " rguenth at gcc dot gnu dot org
2007-02-16 13:47 ` rguenth at gcc dot gnu dot org
@ 2007-02-21 15:23 ` rguenth at gcc dot gnu dot org
2007-03-05 3:58 ` mmitchel at gcc dot gnu dot org
` (8 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2007-02-21 15:23 UTC (permalink / raw)
To: gcc-bugs
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |4.1.3
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30818
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug c++/30818] [4.1/4.2/4.3 Regression] templates and typedefs cause function prototype not to match
2007-02-16 10:30 [Bug c++/30818] New: [4.1.2 Regression] templates and typedefs cause function prototype not to match sschunck at pdf dot de
` (2 preceding siblings ...)
2007-02-21 15:23 ` rguenth at gcc dot gnu dot org
@ 2007-03-05 3:58 ` mmitchel at gcc dot gnu dot org
2007-04-23 21:26 ` janis at gcc dot gnu dot org
` (7 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: mmitchel at gcc dot gnu dot org @ 2007-03-05 3:58 UTC (permalink / raw)
To: gcc-bugs
--
mmitchel at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Priority|P3 |P2
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30818
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug c++/30818] [4.1/4.2/4.3 Regression] templates and typedefs cause function prototype not to match
2007-02-16 10:30 [Bug c++/30818] New: [4.1.2 Regression] templates and typedefs cause function prototype not to match sschunck at pdf dot de
` (3 preceding siblings ...)
2007-03-05 3:58 ` mmitchel at gcc dot gnu dot org
@ 2007-04-23 21:26 ` janis at gcc dot gnu dot org
2007-04-23 21:29 ` pinskia at gcc dot gnu dot org
` (6 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: janis at gcc dot gnu dot org @ 2007-04-23 21:26 UTC (permalink / raw)
To: gcc-bugs
------- Comment #3 from janis at gcc dot gnu dot org 2007-04-23 22:26 -------
A regression hunt on powerpc-linux identified this mainline patch:
http://gcc.gnu.org/viewcvs?view=rev&rev=116409
r116409 | nathan | 2006-08-25 09:56:07 -0700 (Fri, 25 Aug 2006)
This patch was backported to the 4.1 branch on 2006-10-18.
--
janis at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |rguenth at gcc dot gnu dot
| |org, nathan at gcc dot gnu
| |dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30818
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug c++/30818] [4.1/4.2/4.3 Regression] templates and typedefs cause function prototype not to match
2007-02-16 10:30 [Bug c++/30818] New: [4.1.2 Regression] templates and typedefs cause function prototype not to match sschunck at pdf dot de
` (4 preceding siblings ...)
2007-04-23 21:26 ` janis at gcc dot gnu dot org
@ 2007-04-23 21:29 ` pinskia at gcc dot gnu dot org
2007-07-21 20:51 ` nathan at gcc dot gnu dot org
` (5 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2007-04-23 21:29 UTC (permalink / raw)
To: gcc-bugs
--
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |pinskia at gcc dot gnu dot
| |org
BugsThisDependsOn| |27787
Severity|normal |critical
Known to work|3.4.6 |3.4.6 4.1.1
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30818
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug c++/30818] [4.1/4.2/4.3 Regression] templates and typedefs cause function prototype not to match
2007-02-16 10:30 [Bug c++/30818] New: [4.1.2 Regression] templates and typedefs cause function prototype not to match sschunck at pdf dot de
` (5 preceding siblings ...)
2007-04-23 21:29 ` pinskia at gcc dot gnu dot org
@ 2007-07-21 20:51 ` nathan at gcc dot gnu dot org
2007-07-22 16:26 ` nathan at gcc dot gnu dot org
` (4 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: nathan at gcc dot gnu dot org @ 2007-07-21 20:51 UTC (permalink / raw)
To: gcc-bugs
------- Comment #4 from nathan at gcc dot gnu dot org 2007-07-21 20:50 -------
testing a patch
--
nathan at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|unassigned at gcc dot gnu |nathan at gcc dot gnu dot
|dot org |org
Status|NEW |ASSIGNED
Last reconfirmed|2007-02-16 11:25:02 |2007-07-21 20:50:59
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30818
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug c++/30818] [4.1/4.2/4.3 Regression] templates and typedefs cause function prototype not to match
2007-02-16 10:30 [Bug c++/30818] New: [4.1.2 Regression] templates and typedefs cause function prototype not to match sschunck at pdf dot de
` (6 preceding siblings ...)
2007-07-21 20:51 ` nathan at gcc dot gnu dot org
@ 2007-07-22 16:26 ` nathan at gcc dot gnu dot org
2007-07-22 16:34 ` nathan at gcc dot gnu dot org
` (3 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: nathan at gcc dot gnu dot org @ 2007-07-22 16:26 UTC (permalink / raw)
To: gcc-bugs
------- Comment #5 from nathan at gcc dot gnu dot org 2007-07-22 16:26 -------
Subject: Bug 30818
Author: nathan
Date: Sun Jul 22 16:25:54 2007
New Revision: 126825
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=126825
Log:
cp/
PR c++/30818
* typeck.c (structural_comptypes): No need to check
resolve_typename_type return value here.
* cp-tree.h (TYPENAME_IS_RESOLVING_P): New.
* pt.c (resolve_typename_type): Follow typename typedefs. Return
original type rather than error_mark_node in case of failure.
* parser.c (cp_parser_nested_name_specifier_opt): Adjust
resolve_typename_type result check.
(cp_parser_direct_declarator, cp_parser_head,
cp_parser_constructor_declarator_p): Likewise.
testsuite/
PR c++/30818
* g++.dg/template/crash47.C: Adjust errors.
* g++.dg/template/crash48.C: Adjust errors.
* g++.dg/template/typename12.C: New.
* g++.dg/template/typename13.C: New.
* g++.dg/template/typename14.C: New.
* g++.dg/template/typedef6.C: Adjust errors.
Added:
trunk/gcc/testsuite/g++.dg/template/typename12.C
trunk/gcc/testsuite/g++.dg/template/typename13.C
trunk/gcc/testsuite/g++.dg/template/typename14.C
Modified:
trunk/gcc/cp/ChangeLog
trunk/gcc/cp/cp-tree.h
trunk/gcc/cp/parser.c
trunk/gcc/cp/pt.c
trunk/gcc/cp/typeck.c
trunk/gcc/testsuite/ChangeLog
trunk/gcc/testsuite/g++.dg/template/crash47.C
trunk/gcc/testsuite/g++.dg/template/crash48.C
trunk/gcc/testsuite/g++.dg/template/typedef6.C
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30818
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug c++/30818] [4.1/4.2/4.3 Regression] templates and typedefs cause function prototype not to match
2007-02-16 10:30 [Bug c++/30818] New: [4.1.2 Regression] templates and typedefs cause function prototype not to match sschunck at pdf dot de
` (7 preceding siblings ...)
2007-07-22 16:26 ` nathan at gcc dot gnu dot org
@ 2007-07-22 16:34 ` nathan at gcc dot gnu dot org
2007-07-23 19:24 ` [Bug c++/30818] [4.1/4.2 " rguenth at gcc dot gnu dot org
` (2 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: nathan at gcc dot gnu dot org @ 2007-07-22 16:34 UTC (permalink / raw)
To: gcc-bugs
------- Comment #6 from nathan at gcc dot gnu dot org 2007-07-22 16:33 -------
fixed with http://gcc.gnu.org/ml/gcc-patches/2007-07/msg01644.html
cp/
PR c++/30818
* typeck.c (structural_comptypes): No need to check
resolve_typename_type return value here.
* cp-tree.h (TYPENAME_IS_RESOLVING_P): New.
* pt.c (resolve_typename_type): Follow typename typedefs. Return
original type rather than error_mark_node in case of failure.
* parser.c (cp_parser_nested_name_specifier_opt): Adjust
resolve_typename_type result check.
(cp_parser_direct_declarator, cp_parser_head,
cp_parser_constructor_declarator_p): Likewise.
testsuite/
PR c++/30818
* g++.dg/template/crash47.C: Adjust errors.
* g++.dg/template/crash48.C: Adjust errors.
* g++.dg/template/typename12.C: New.
* g++.dg/template/typename13.C: New.
* g++.dg/template/typename14.C: New.
* g++.dg/template/typedef6.C: Adjust errors.
the patch should backport painlessly to 4.2
--
nathan at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30818
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug c++/30818] [4.1/4.2 Regression] templates and typedefs cause function prototype not to match
2007-02-16 10:30 [Bug c++/30818] New: [4.1.2 Regression] templates and typedefs cause function prototype not to match sschunck at pdf dot de
` (8 preceding siblings ...)
2007-07-22 16:34 ` nathan at gcc dot gnu dot org
@ 2007-07-23 19:24 ` rguenth at gcc dot gnu dot org
2008-07-04 21:58 ` [Bug c++/30818] [4.2 " jsm28 at gcc dot gnu dot org
2009-03-30 21:35 ` jsm28 at gcc dot gnu dot org
11 siblings, 0 replies; 13+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2007-07-23 19:24 UTC (permalink / raw)
To: gcc-bugs
------- Comment #7 from rguenth at gcc dot gnu dot org 2007-07-23 19:24 -------
Re-open, as the branches are still affected and this is a regression.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |REOPENED
Known to fail|4.1.2 4.2.0 4.3.0 |4.1.2 4.2.0
Known to work|3.4.6 4.1.1 |3.4.6 4.1.1 4.3.0
Resolution|FIXED |
Summary|[4.1/4.2/4.3 Regression] |[4.1/4.2 Regression]
|templates and typedefs cause|templates and typedefs cause
|function prototype not to |function prototype not to
|match |match
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30818
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug c++/30818] [4.2 Regression] templates and typedefs cause function prototype not to match
2007-02-16 10:30 [Bug c++/30818] New: [4.1.2 Regression] templates and typedefs cause function prototype not to match sschunck at pdf dot de
` (9 preceding siblings ...)
2007-07-23 19:24 ` [Bug c++/30818] [4.1/4.2 " rguenth at gcc dot gnu dot org
@ 2008-07-04 21:58 ` jsm28 at gcc dot gnu dot org
2009-03-30 21:35 ` jsm28 at gcc dot gnu dot org
11 siblings, 0 replies; 13+ messages in thread
From: jsm28 at gcc dot gnu dot org @ 2008-07-04 21:58 UTC (permalink / raw)
To: gcc-bugs
------- Comment #8 from jsm28 at gcc dot gnu dot org 2008-07-04 21:57 -------
Closing 4.1 branch.
--
jsm28 at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|[4.1/4.2 Regression] |[4.2 Regression] templates
|templates and typedefs cause|and typedefs cause function
|function prototype not to |prototype not to match
|match |
Target Milestone|4.1.3 |4.2.5
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30818
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug c++/30818] [4.2 Regression] templates and typedefs cause function prototype not to match
2007-02-16 10:30 [Bug c++/30818] New: [4.1.2 Regression] templates and typedefs cause function prototype not to match sschunck at pdf dot de
` (10 preceding siblings ...)
2008-07-04 21:58 ` [Bug c++/30818] [4.2 " jsm28 at gcc dot gnu dot org
@ 2009-03-30 21:35 ` jsm28 at gcc dot gnu dot org
11 siblings, 0 replies; 13+ messages in thread
From: jsm28 at gcc dot gnu dot org @ 2009-03-30 21:35 UTC (permalink / raw)
To: gcc-bugs
------- Comment #9 from jsm28 at gcc dot gnu dot org 2009-03-30 21:35 -------
Closing 4.2 branch, fixed in 4.3.
--
jsm28 at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|REOPENED |RESOLVED
Known to fail|4.1.2 4.2.0 |4.1.2 4.2.0 4.2.5
Resolution| |FIXED
Target Milestone|4.2.5 |4.3.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30818
^ permalink raw reply [flat|nested] 13+ messages in thread