This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c++/47144] [4.5, 4.6 Regression] Doesn't reject attempt to define type in template argument; results in weird parse
- From: "redi at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Sat, 1 Jan 2011 19:24:09 +0000
- Subject: [Bug c++/47144] [4.5, 4.6 Regression] Doesn't reject attempt to define type in template argument; results in weird parse
- Auto-submitted: auto-generated
- References: <bug-47144-4@http.gcc.gnu.org/bugzilla/>
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47144
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|[4.5 Regression] Doesn't |[4.5, 4.6 Regression]
|reject attempt to define |Doesn't reject attempt to
|type in template argument; |define type in template
|results in weird parse |argument; results in weird
| |parse
--- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> 2011-01-01 19:23:50 UTC ---
(In reply to comment #4)
> Ah I see. Have you found any combination of this that fails on trunk? Could be
> worth putting it here. Maybe adding declarators prevents it from wanting to see
> a semicolon?
>
> template<typename> struct A { }; A< struct B { }* >::SomeNonSense int y;
Good thinking - that is rejected by 4.4 but accepted by 4.5 and 4.6
I've added 4.6 to the subject