public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
* [Bug c++/18674] New: G++ accepts bad elaborated type specifiers
@ 2004-11-25 14:18 gcc-bugzilla at gcc dot gnu dot org
2004-11-25 14:22 ` [Bug c++/18674] [3.4/4.0 Regression] " pinskia at gcc dot gnu dot org
` (4 more replies)
0 siblings, 5 replies; 6+ messages in thread
From: gcc-bugzilla at gcc dot gnu dot org @ 2004-11-25 14:18 UTC (permalink / raw)
To: gcc-bugs
elaborated-type-speficier:
class-key ::? nested-name-specifier? identifier
class-key ::? nested-name-specifier? template? template-id
enum ::? nested-name-specifier? identifier
typename ::? nested-name-specifier? identifier
typename ::? nested-name-specifier? template? template-id
According to the paragraph 7.1.5.3.3 of the standard, the three first
rules need to refer to class, union, or enum depending on the first
keyword. But gcc accepts it to be used whenever you want.
Environment:
System: Linux nostromo 2.4.27-1-686 #1 Fri Sep 3 06:28:00 UTC 2004 i686 GNU/Linux
Architecture: i686
host: i486-pc-linux-gnu
build: i486-pc-linux-gnu
target: i486-pc-linux-gnu
configured with: ../src/configure -v --enable-languages=c,c++,java,objc,ada --prefix=/usr/lib/gcc-snapshot --enable-shared --with-system-zlib --enable-nls --enable-threads=posix --without-included-gettext --disable-werror --enable-__cxa_atexit --enable-libstdcxx-allocator=mt --enable-clocale=gnu --enable-libstdcxx-debug --enable-java-gc=boehm --enable-java-awt=gtk i486-linux-gnu
How-To-Repeat:
The command line used was:
g++-snapshot -std=c++98 -pedantic -W -Wall -c e.cc
The following source file is invalid but gcc do not say anything:
template <typename I>
static void g() {
enum I::t a;
(void) a;
}
struct B {
typedef int t;
};
void h()
{
g<B>();
}
--
Summary: G++ accepts bad elaborated type specifiers
Product: gcc
Version: 0.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: valentin at lrde dot epita dot fr
CC: gcc-bugs at gcc dot gnu dot org
GCC build triplet: i486-pc-linux-gnu
GCC host triplet: i486-pc-linux-gnu
GCC target triplet: i486-pc-linux-gnu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18674
^ permalink raw reply [flat|nested] 6+ messages in thread* [Bug c++/18674] [3.4/4.0 Regression] G++ accepts bad elaborated type specifiers 2004-11-25 14:18 [Bug c++/18674] New: G++ accepts bad elaborated type specifiers gcc-bugzilla at gcc dot gnu dot org @ 2004-11-25 14:22 ` pinskia at gcc dot gnu dot org 2004-11-27 2:46 ` pinskia at gcc dot gnu dot org ` (3 subsequent siblings) 4 siblings, 0 replies; 6+ messages in thread From: pinskia at gcc dot gnu dot org @ 2004-11-25 14:22 UTC (permalink / raw) To: gcc-bugs ------- Additional Comments From pinskia at gcc dot gnu dot org 2004-11-25 14:22 ------- Confirmed: : Search converges between 2003-08-12-trunk (#321) and 2003-08-13-trunk (#322). -- What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Ever Confirmed| |1 Keywords| |accepts-invalid Last reconfirmed|0000-00-00 00:00:00 |2004-11-25 14:22:01 date| | Summary|G++ accepts bad elaborated |[3.4/4.0 Regression] G++ |type specifiers |accepts bad elaborated type | |specifiers Target Milestone|--- |3.4.4 Version|0.0 |4.0.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18674 ^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug c++/18674] [3.4/4.0 Regression] G++ accepts bad elaborated type specifiers 2004-11-25 14:18 [Bug c++/18674] New: G++ accepts bad elaborated type specifiers gcc-bugzilla at gcc dot gnu dot org 2004-11-25 14:22 ` [Bug c++/18674] [3.4/4.0 Regression] " pinskia at gcc dot gnu dot org @ 2004-11-27 2:46 ` pinskia at gcc dot gnu dot org 2004-11-27 17:47 ` mmitchel at gcc dot gnu dot org ` (2 subsequent siblings) 4 siblings, 0 replies; 6+ messages in thread From: pinskia at gcc dot gnu dot org @ 2004-11-27 2:46 UTC (permalink / raw) To: gcc-bugs ------- Additional Comments From pinskia at gcc dot gnu dot org 2004-11-27 02:45 ------- This came in with the two pass namelookup. The problem I think is that we don't mark a as only accepting enums so we don't get an error but I could be wrong. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18674 ^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug c++/18674] [3.4/4.0 Regression] G++ accepts bad elaborated type specifiers 2004-11-25 14:18 [Bug c++/18674] New: G++ accepts bad elaborated type specifiers gcc-bugzilla at gcc dot gnu dot org 2004-11-25 14:22 ` [Bug c++/18674] [3.4/4.0 Regression] " pinskia at gcc dot gnu dot org 2004-11-27 2:46 ` pinskia at gcc dot gnu dot org @ 2004-11-27 17:47 ` mmitchel at gcc dot gnu dot org 2004-11-29 20:11 ` cvs-commit at gcc dot gnu dot org 2004-11-29 20:23 ` [Bug c++/18674] [3.4 " mmitchel at gcc dot gnu dot org 4 siblings, 0 replies; 6+ messages in thread From: mmitchel at gcc dot gnu dot org @ 2004-11-27 17:47 UTC (permalink / raw) To: gcc-bugs -- What |Removed |Added ---------------------------------------------------------------------------- AssignedTo|unassigned at gcc dot gnu |mark at codesourcery dot com |dot org | Status|NEW |ASSIGNED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18674 ^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug c++/18674] [3.4/4.0 Regression] G++ accepts bad elaborated type specifiers 2004-11-25 14:18 [Bug c++/18674] New: G++ accepts bad elaborated type specifiers gcc-bugzilla at gcc dot gnu dot org ` (2 preceding siblings ...) 2004-11-27 17:47 ` mmitchel at gcc dot gnu dot org @ 2004-11-29 20:11 ` cvs-commit at gcc dot gnu dot org 2004-11-29 20:23 ` [Bug c++/18674] [3.4 " mmitchel at gcc dot gnu dot org 4 siblings, 0 replies; 6+ messages in thread From: cvs-commit at gcc dot gnu dot org @ 2004-11-29 20:11 UTC (permalink / raw) To: gcc-bugs ------- Additional Comments From cvs-commit at gcc dot gnu dot org 2004-11-29 20:10 ------- Subject: Bug 18674 CVSROOT: /cvs/gcc Module name: gcc Changes by: mmitchel@gcc.gnu.org 2004-11-29 20:10:18 Modified files: gcc/testsuite : ChangeLog gcc/cp : ChangeLog cp-tree.def cp-tree.h decl.c error.c friend.c parser.c pt.c gcc/testsuite/g++.old-deja/g++.brendan: crash16.C gcc/testsuite/g++.old-deja/g++.law: ctors5.C gcc/testsuite/g++.old-deja/g++.other: crash25.C Added files: gcc/testsuite/g++.dg/template: error16.C crash29.C Log message: PR c++/18368 * parser.c (cp_parser_check_for_definition_in_return_type): Take the defined type as a parameter, and inform the user about the possibility of a missing semicolon. (cp_parser_explicit_instantiation): Adjust call to cp_parser_check_for_definition_in_return_type. (cp_parser_init_declarator): Likewise. (cp_parser_member_declaration): Likewise. PR c++/18674 * cp-tree.def (TYPENAME_TYPE): Remove discussion of implicit typename from comments. * cp-tree.h (TYPENAME_IS_ENUM_P): New macro. (TYPENAME_IS_CLASS_P): Likewise. (make_typename_type): Change prototype. * decl.c (struct_typename_info): New type. (typename_compare): Expect the second argument to be a typename_info, not a tree. (build_typename_type): Add tag_type parameter. Do not create a new type until necessary. (make_typename_type): Add tag_type parameter. * error.c (TYPENAME_TYPE): Print tags other than "typename" if appropriate. * friend.c (make_friend_class): Adjust call to make_typename_type. * parser.c (cp_parser_make_typename_type): Likewise. (cp_parser_primary_expression): Adjust call to cp_parser_lookup_name. (cp_parser_unqualified_id): Adjust calls to cp_parser_class_name. (cp_parser_class_or_namespace_name): Likewise. (cp_parser_postfix_expression): Adjust calls to make_typename_type. (cp_parser_mem_initializer_id): Adjust calls to cp_parser_class_name. (cp_parser_type_parameter): Adjust calls to cp_parser_lookup_name. (cp_parser_template_name): Likewise. (cp_parser_template_argument): Likewise. (cp_parser_type_name): Adjust call to cp_parser_class_name. (cp_parser_elaborated_type_specifier): Adjust calls to make_typename_type and cp_parser_lookup_name. (cp_parser_namespace_name): Likewise. (cp_parser_class_name): Replace type_p parameter with tag_type. Adjust calls to make_typename_type and cp_parser_lookup_name. (cp_parser_class_head): Adjust calls to cp_parser_class_name. (cp_parser_base_specifier): Likewise. (cp_parser_lookup_name): Replace is_type parameter with tag_type. Adjust calls to make_typename_type and lookup_qualified_name. (cp_parser_lookup_name_simple): Adjust call to cp_parser_lookup_name. (cp_parser_constructor_declarator_p): Adjust call to cp_parser_class_name. * pt.c (convert_template_argument): Adjust all to make_typename_type. (tsubst_decl): Do not pre-substitute the type of the declaration. (tsubst): Hand off declarations more quickly. Adjust call to make_typename_type. PR c++/18512 * parser.c (cp_parser_postfix_dot_deref_expression): Robustify. PR c++/18674 * g++.old-deja/g++.brendan/crash16.C: Adjust error messages. * g++.old-deja/g++.law/ctors5.C: Likewise. * g++.old-deja/g++.other/crash25.C: Likewise. PR c++/18674 * g++.dg/template/error16.C: New test. PR c++/18512 * g++.dg/template/crash29.C: New test. Patches: http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.4679&r2=1.4680 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/error16.C.diff?cvsroot=gcc&r1=NONE&r2=1.1 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/crash29.C.diff?cvsroot=gcc&r1=NONE&r2=1.1 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&r1=1.4504&r2=1.4505 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/cp-tree.def.diff?cvsroot=gcc&r1=1.90&r2=1.91 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/cp-tree.h.diff?cvsroot=gcc&r1=1.1076&r2=1.1077 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/decl.c.diff?cvsroot=gcc&r1=1.1336&r2=1.1337 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/error.c.diff?cvsroot=gcc&r1=1.272&r2=1.273 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/friend.c.diff?cvsroot=gcc&r1=1.102&r2=1.103 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/parser.c.diff?cvsroot=gcc&r1=1.283&r2=1.284 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/pt.c.diff?cvsroot=gcc&r1=1.951&r2=1.952 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.old-deja/g++.brendan/crash16.C.diff?cvsroot=gcc&r1=1.5&r2=1.6 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.old-deja/g++.law/ctors5.C.diff?cvsroot=gcc&r1=1.5&r2=1.6 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.old-deja/g++.other/crash25.C.diff?cvsroot=gcc&r1=1.6&r2=1.7 -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18674 ^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug c++/18674] [3.4 Regression] G++ accepts bad elaborated type specifiers 2004-11-25 14:18 [Bug c++/18674] New: G++ accepts bad elaborated type specifiers gcc-bugzilla at gcc dot gnu dot org ` (3 preceding siblings ...) 2004-11-29 20:11 ` cvs-commit at gcc dot gnu dot org @ 2004-11-29 20:23 ` mmitchel at gcc dot gnu dot org 4 siblings, 0 replies; 6+ messages in thread From: mmitchel at gcc dot gnu dot org @ 2004-11-29 20:23 UTC (permalink / raw) To: gcc-bugs ------- Additional Comments From mmitchel at gcc dot gnu dot org 2004-11-29 20:22 ------- Fixed in 4.0. Will not be fixed in 3.4.x, due to invasive nature of patch. -- What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |RESOLVED Resolution| |FIXED Summary|[3.4/4.0 Regression] G++ |[3.4 Regression] G++ accepts |accepts bad elaborated type |bad elaborated type |specifiers |specifiers Target Milestone|3.4.4 |4.0.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18674 ^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2004-11-29 20:23 UTC | newest] Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2004-11-25 14:18 [Bug c++/18674] New: G++ accepts bad elaborated type specifiers gcc-bugzilla at gcc dot gnu dot org 2004-11-25 14:22 ` [Bug c++/18674] [3.4/4.0 Regression] " pinskia at gcc dot gnu dot org 2004-11-27 2:46 ` pinskia at gcc dot gnu dot org 2004-11-27 17:47 ` mmitchel at gcc dot gnu dot org 2004-11-29 20:11 ` cvs-commit at gcc dot gnu dot org 2004-11-29 20:23 ` [Bug c++/18674] [3.4 " mmitchel at gcc dot gnu dot org
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).