[Bug c++/12507] [3.3 Regression] use of template arg for fully specialized typedef allowed

[bangerth at dealii dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


bangerth at dealii dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[3.3 Regression] Possible   |[3.3 Regression] use of
                   |regression in 3.4 or bug in |template arg for fully
                   |3.3.1                       |specialized typedef  allowed
            Version|3.4                         |3.3.2


------- Additional Comments From bangerth at dealii dot org  2003-10-24 15:48 -------
Here is a reduced testcase:
------------------------
template <typename> struct A { A() {}};
typedef A<int> Ac;
Ac<double> a;
------------------------
gcc3.3.2 erroneously accepts it (and takes A<double> as can be seen
by looking at the assembler output.

W.