* [Bug c++/53540] C++11: using fails to be equivalent to typedef
2012-05-31 14:44 [Bug c++/53540] New: C++11: using fails to be equivalent to typedef akim.demaille at gmail dot com
@ 2012-05-31 17:43 ` redi at gcc dot gnu.org
2012-06-11 17:27 ` akim.demaille at gmail dot com
` (8 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: redi at gcc dot gnu.org @ 2012-05-31 17:43 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53540
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |rejects-valid
Status|UNCONFIRMED |NEW
Last reconfirmed| |2012-05-31
CC| |dodji at gcc dot gnu.org
Ever Confirmed|0 |1
--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-05-31 17:42:41 UTC ---
I think it's valid, CC'ing Dodji for confirmation.
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug c++/53540] C++11: using fails to be equivalent to typedef
2012-05-31 14:44 [Bug c++/53540] New: C++11: using fails to be equivalent to typedef akim.demaille at gmail dot com
2012-05-31 17:43 ` [Bug c++/53540] " redi at gcc dot gnu.org
@ 2012-06-11 17:27 ` akim.demaille at gmail dot com
2012-08-16 19:09 ` dodji at gcc dot gnu.org
` (7 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: akim.demaille at gmail dot com @ 2012-06-11 17:27 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53540
--- Comment #2 from Akim Demaille <akim.demaille at gmail dot com> 2012-06-11 17:27:13 UTC ---
(In reply to comment #1)
> I think it's valid, CC'ing Dodji for confirmation.
Any news?
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug c++/53540] C++11: using fails to be equivalent to typedef
2012-05-31 14:44 [Bug c++/53540] New: C++11: using fails to be equivalent to typedef akim.demaille at gmail dot com
2012-05-31 17:43 ` [Bug c++/53540] " redi at gcc dot gnu.org
2012-06-11 17:27 ` akim.demaille at gmail dot com
@ 2012-08-16 19:09 ` dodji at gcc dot gnu.org
2012-08-16 19:11 ` dodji at seketeli dot org
` (6 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: dodji at gcc dot gnu.org @ 2012-08-16 19:09 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53540
Dodji Seketeli <dodji at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
AssignedTo|unassigned at gcc dot |dodji at gcc dot gnu.org
|gnu.org |
--- Comment #3 from Dodji Seketeli <dodji at gcc dot gnu.org> 2012-08-16 19:09:39 UTC ---
Sorry, I am getting to this just now.
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug c++/53540] C++11: using fails to be equivalent to typedef
2012-05-31 14:44 [Bug c++/53540] New: C++11: using fails to be equivalent to typedef akim.demaille at gmail dot com
` (2 preceding siblings ...)
2012-08-16 19:09 ` dodji at gcc dot gnu.org
@ 2012-08-16 19:11 ` dodji at seketeli dot org
2012-08-16 22:18 ` dodji at seketeli dot org
` (5 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: dodji at seketeli dot org @ 2012-08-16 19:11 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53540
--- Comment #4 from dodji at seketeli dot org <dodji at seketeli dot org> 2012-08-16 19:11:01 UTC ---
> I think it's valid, CC'ing Dodji for confirmation.
I agree this is a bug. I am looking into it.
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug c++/53540] C++11: using fails to be equivalent to typedef
2012-05-31 14:44 [Bug c++/53540] New: C++11: using fails to be equivalent to typedef akim.demaille at gmail dot com
` (3 preceding siblings ...)
2012-08-16 19:11 ` dodji at seketeli dot org
@ 2012-08-16 22:18 ` dodji at seketeli dot org
2012-10-05 21:29 ` paolo.carlini at oracle dot com
` (4 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: dodji at seketeli dot org @ 2012-08-16 22:18 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53540
--- Comment #5 from dodji at seketeli dot org <dodji at seketeli dot org> 2012-08-16 22:18:36 UTC ---
A candidate patch was sent to
http://gcc.gnu.org/ml/gcc-patches/2012-08/msg01111.html.
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug c++/53540] C++11: using fails to be equivalent to typedef
2012-05-31 14:44 [Bug c++/53540] New: C++11: using fails to be equivalent to typedef akim.demaille at gmail dot com
` (4 preceding siblings ...)
2012-08-16 22:18 ` dodji at seketeli dot org
@ 2012-10-05 21:29 ` paolo.carlini at oracle dot com
2012-10-08 14:27 ` dodji at seketeli dot org
` (3 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: paolo.carlini at oracle dot com @ 2012-10-05 21:29 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53540
--- Comment #6 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-10-05 21:29:25 UTC ---
Dodji, time to ping? ;)
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug c++/53540] C++11: using fails to be equivalent to typedef
2012-05-31 14:44 [Bug c++/53540] New: C++11: using fails to be equivalent to typedef akim.demaille at gmail dot com
` (5 preceding siblings ...)
2012-10-05 21:29 ` paolo.carlini at oracle dot com
@ 2012-10-08 14:27 ` dodji at seketeli dot org
2012-10-10 10:44 ` dodji at gcc dot gnu.org
` (2 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: dodji at seketeli dot org @ 2012-10-08 14:27 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53540
--- Comment #7 from dodji at seketeli dot org <dodji at seketeli dot org> 2012-10-08 14:26:37 UTC ---
"paolo.carlini at oracle dot com" <gcc-bugzilla@gcc.gnu.org> a écrit:
> Dodji, time to ping? ;)
Right: http://gcc.gnu.org/ml/gcc-patches/2012-10/msg00766.html.
:)
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug c++/53540] C++11: using fails to be equivalent to typedef
2012-05-31 14:44 [Bug c++/53540] New: C++11: using fails to be equivalent to typedef akim.demaille at gmail dot com
` (6 preceding siblings ...)
2012-10-08 14:27 ` dodji at seketeli dot org
@ 2012-10-10 10:44 ` dodji at gcc dot gnu.org
2012-10-10 10:57 ` dodji at gcc dot gnu.org
2013-05-03 9:54 ` paolo.carlini at oracle dot com
9 siblings, 0 replies; 11+ messages in thread
From: dodji at gcc dot gnu.org @ 2012-10-10 10:44 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53540
--- Comment #8 from Dodji Seketeli <dodji at gcc dot gnu.org> 2012-10-10 10:44:02 UTC ---
Author: dodji
Date: Wed Oct 10 10:43:53 2012
New Revision: 192304
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=192304
Log:
PR c++/53540 - using fails to be equivalent to typedef
In the example of this problem report, during the substituting of int
into 'function', tsubst_aggr_type fails for the alias ctxt1. This is
because TYPE_TEMPLATE_INFO looks for the TEMPLATE_INFO of the ctxt1
alias at the wrong place and was wrongly finding it to be NULL.
Namely, it was looking for it in the DECL_TEMPLATE_INFO of the
declaration of the type -- as if ctxt1 was an alias template
specialization -- rather than looking for it in its
CLASSTYPE_TEMPLATE_INFO.
Fixed thus. The other hunks of the patch are a cleanup to make a
better use of alias_template_specialization_p.
Bootstrapped and tested on x86_64-unknown-linux-gnu against trunk.
gcc/cp
* cp-tree.h (TYPE_TEMPLATE_INFO): For an alias that is not an
instance of alias template, don't look for its TEMPLATE_INFO in
its declaration.
(alias_template_specialization_p): Take const_tree.
* pt.c (alias_template_specialization_p): Take a const_tree.
Don't call primary_template_instantiation_p.
(primary_template_instantiation_p): Call
alias_template_specialization_p.
gcc/testsuite/
* g++.dg/cpp0x/alias-decl-24.C: New test.
Added:
trunk/gcc/testsuite/g++.dg/cpp0x/alias-decl-24.C
Modified:
trunk/gcc/cp/ChangeLog
trunk/gcc/cp/cp-tree.h
trunk/gcc/cp/pt.c
trunk/gcc/testsuite/ChangeLog
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug c++/53540] C++11: using fails to be equivalent to typedef
2012-05-31 14:44 [Bug c++/53540] New: C++11: using fails to be equivalent to typedef akim.demaille at gmail dot com
` (7 preceding siblings ...)
2012-10-10 10:44 ` dodji at gcc dot gnu.org
@ 2012-10-10 10:57 ` dodji at gcc dot gnu.org
2013-05-03 9:54 ` paolo.carlini at oracle dot com
9 siblings, 0 replies; 11+ messages in thread
From: dodji at gcc dot gnu.org @ 2012-10-10 10:57 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53540
Dodji Seketeli <dodji at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
--- Comment #9 from Dodji Seketeli <dodji at gcc dot gnu.org> 2012-10-10 10:57:38 UTC ---
Fixed in trunk (4.8)
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug c++/53540] C++11: using fails to be equivalent to typedef
2012-05-31 14:44 [Bug c++/53540] New: C++11: using fails to be equivalent to typedef akim.demaille at gmail dot com
` (8 preceding siblings ...)
2012-10-10 10:57 ` dodji at gcc dot gnu.org
@ 2013-05-03 9:54 ` paolo.carlini at oracle dot com
9 siblings, 0 replies; 11+ messages in thread
From: paolo.carlini at oracle dot com @ 2013-05-03 9:54 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53540
Paolo Carlini <paolo.carlini at oracle dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |paul at preney dot ca
--- Comment #10 from Paolo Carlini <paolo.carlini at oracle dot com> 2013-05-03 09:54:21 UTC ---
*** Bug 54309 has been marked as a duplicate of this bug. ***
^ permalink raw reply [flat|nested] 11+ messages in thread