[Bug c++/51191] New: [C++0x] SEGV on deducing template aliases with non-template alias declarations

[Bug c++/51191] New: [C++0x] SEGV on deducing template aliases with non-template alias declarations

[gintensubaru at gmail dot com]

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

             Bug #: 51191
           Summary: [C++0x] SEGV on deducing template aliases with
                    non-template alias declarations
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: gintensubaru@gmail.com


Code:

template< class T >
class ClassTemplate {};

template< class T >
struct Metafunction {
  typedef T type;
};

template< class T >
using TemplateAlias = ClassTemplate< typename Metafunction<T>::type >;

using Alias = TemplateAlias<int>;
// no SEGV if changed to "typedef TemplateAlias<int> Alias;"

template< class T >
void f( TemplateAlias<T> );

int main()
{
  Alias x; // no SEGV if changed to "TemplateAlias<int> x;"
  f( x );  // no SEGV if changed to "f<int>(x);"
}


Message:

In function 'int main()':
Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


GCC version:
gcc-4.7-20111112

[Bug c++/51191] [C++0x] SEGV on deducing template aliases with non-template alias declarations

[dodji at gcc dot gnu.org]

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

Dodji Seketeli <dodji at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2011-11-17
         AssignedTo|unassigned at gcc dot       |dodji at gcc dot gnu.org
                   |gnu.org                     |
     Ever Confirmed|0                           |1

[Bug c++/51191] [C++0x] SEGV on deducing template aliases with non-template alias declarations

[dodji at gcc dot gnu.org]

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

Dodji Seketeli <dodji at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|dodji at gcc dot gnu.org    |

--- Comment #1 from Dodji Seketeli <dodji at gcc dot gnu.org> 2011-11-17 18:02:24 UTC ---
Confirmed.

[Bug c++/51191] [C++0x] SEGV on deducing template aliases with non-template alias declarations

[dodji at seketeli dot org]

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

--- Comment #2 from dodji at seketeli dot org <dodji at seketeli dot org> 2011-11-17 23:48:12 UTC ---
A candidate patch was posted to
http://gcc.gnu.org/ml/gcc-patches/2011-11/msg01856.html

[Bug c++/51191] [C++0x] SEGV on deducing template aliases with non-template alias declarations

[dodji at gcc dot gnu.org]

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

--- Comment #3 from Dodji Seketeli <dodji at gcc dot gnu.org> 2011-11-18 14:07:49 UTC ---
Author: dodji
Date: Fri Nov 18 14:07:41 2011
New Revision: 181475

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=181475
Log:
PR c++/51191 - ICE on alias of alias template instantiation

gcc/cp/

    PR c++/51191
    * pt.c (primary_template_instantiation_p): Don't forget to
    consider alias declarations.

gcc/testsuite/

    PR c++/51191
    * g++.dg/cpp0x/alias-decl-13.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/alias-decl-13.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/pt.c
    trunk/gcc/testsuite/ChangeLog

[Bug c++/51191] [C++0x] SEGV on deducing template aliases with non-template alias declarations

[dodji at gcc dot gnu.org]

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

Dodji Seketeli <dodji at gcc dot gnu.org> changed:

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

--- Comment #4 from Dodji Seketeli <dodji at gcc dot gnu.org> 2011-11-18 14:53:02 UTC ---
Should be fixed in trunk (4.7).