[Bug c++/12507] [3.3 Regression] Possible regression in 3.4 or bug in 3.3.1

[Bug c++/12507] [3.3 Regression] Possible regression in 3.4 or bug in 3.3.1

[pinskia at gcc dot gnu 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


pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |critical

[Bug c++/12507] [3.3 Regression] Possible regression in 3.4 or bug in 3.3.1

[mmitchel at gcc dot gnu 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


mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|3.3.2                       |3.3.3


------- Additional Comments From mmitchel at gcc dot gnu dot org  2003-10-16 09:37 -------
Postponed until GCC 3.3.3.

[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.

[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



------- Additional Comments From bangerth at dealii dot org  2003-10-24 15:53 -------
I have filed another PR regarding the quality of output generated by
3.2 and present mainline for the small testcase: PR 12762.

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

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2003-12-21 21:52 -------
Mark it looks your patch here: <http://gcc.gnu.org/ml/gcc-patches/2003-07/
msg01996.html> causes this regression, could you look into it?

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |mmitchel at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED


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

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

[mmitchel at gcc dot gnu dot org]

------- Additional Comments From mmitchel at gcc dot gnu dot org  2003-12-22 05:45 -------
I do not believe that it will be possible to fix this bug in a safe way for GCC
3.3.3.  I foresaw this kind of problem when I checked in my change, but I was
fixing a case where we rejected valid code, so introducing this problem was
still a net win.

I don't think it's a good use of resources to try to figure out a way to fix
this for 3.3.3, especially given that any such fix will necessarily involve
dealing with notoriously tricky template-handling code.

I'm leaving this assigned to myself, but I recommend that Gaby close the bug as
WONTFIX.

-- 


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

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

[gdr at gcc dot gnu dot org]

------- Additional Comments From gdr at gcc dot gnu dot org  2003-12-22 05:54 -------
See Mark's comment.

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


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

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

[gdr at integrable-solutions dot net]

------- Additional Comments From gdr at integrable-solutions dot net  2003-12-22 05:55 -------
Subject: Re:  [3.3 Regression] use of template arg for fully specialized typedef  allowed

"mmitchel at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org> writes:

| I'm leaving this assigned to myself, but I recommend that Gaby close
| the bug as WONTFIX.

Done.

Thanks!

-- Gaby


-- 


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