public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
* [Bug c++/18161] New: [4.0 regression] typeof(1==1) is now int instead of bool
@ 2004-10-26 13:30 bangerth at dealii dot org
2004-10-26 13:31 ` [Bug c++/18161] [4.0 regression] typeof(1==1) is now int instead of bool in template default arguments bangerth at dealii dot org
` (5 more replies)
0 siblings, 6 replies; 7+ messages in thread
From: bangerth at dealii dot org @ 2004-10-26 13:30 UTC (permalink / raw)
To: gcc-bugs
For this code
-----------------
template <typename = typeof(1==1)> struct X { X(){} };
template struct X<>;
-----------------
I would expect an instantiation of X<bool>, and indeed got it up to
3.4. However, since 4.0 we get X<int>:
g/x> /home/bangerth/bin/gcc-3.4*/bin/c++ -c x.cc ; nm -C x.o
00000000 W X<bool>::X()
00000000 W X<bool>::X()
g/x> /home/bangerth/bin/gcc-4*/bin/c++ -c x.cc ; nm -C x.o
00000000 W X<int>::X()
00000000 W X<int>::X()
This is somehow odd, since for a related piece of code
-------------------
template <typename> struct X {};
void foo(X<typeof(1==1)>) {}
-------------------
there is no regression:
g/x> /home/bangerth/bin/gcc-3.4*/bin/c++ -c y.cc ; nm -C y.o
00000000 T foo(X<bool>)
g/x> /home/bangerth/bin/gcc-4*/bin/c++ -c y.cc ; nm -C y.o
00000000 T foo(X<bool>)
W.
--
Summary: [4.0 regression] typeof(1==1) is now int instead of bool
Product: gcc
Version: 4.0.0
Status: UNCONFIRMED
Keywords: wrong-code
Severity: normal
Priority: P2
Component: c++
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: bangerth at dealii dot org
CC: gcc-bugs at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18161
^ permalink raw reply [flat|nested] 7+ messages in thread* [Bug c++/18161] [4.0 regression] typeof(1==1) is now int instead of bool in template default arguments 2004-10-26 13:30 [Bug c++/18161] New: [4.0 regression] typeof(1==1) is now int instead of bool bangerth at dealii dot org @ 2004-10-26 13:31 ` bangerth at dealii dot org 2004-10-26 13:34 ` pinskia at gcc dot gnu dot org ` (4 subsequent siblings) 5 siblings, 0 replies; 7+ messages in thread From: bangerth at dealii dot org @ 2004-10-26 13:31 UTC (permalink / raw) To: gcc-bugs -- What |Removed |Added ---------------------------------------------------------------------------- Known to fail| |4.0.0 Known to work| |2.95 3.2 3.3 3.4.3 Summary|[4.0 regression] |[4.0 regression] |typeof(1==1) is now int |typeof(1==1) is now int |instead of bool |instead of bool in template | |default arguments Target Milestone|--- |4.0.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18161 ^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug c++/18161] [4.0 regression] typeof(1==1) is now int instead of bool in template default arguments 2004-10-26 13:30 [Bug c++/18161] New: [4.0 regression] typeof(1==1) is now int instead of bool bangerth at dealii dot org 2004-10-26 13:31 ` [Bug c++/18161] [4.0 regression] typeof(1==1) is now int instead of bool in template default arguments bangerth at dealii dot org @ 2004-10-26 13:34 ` pinskia at gcc dot gnu dot org 2004-10-26 13:36 ` pinskia at gcc dot gnu dot org ` (3 subsequent siblings) 5 siblings, 0 replies; 7+ messages in thread From: pinskia at gcc dot gnu dot org @ 2004-10-26 13:34 UTC (permalink / raw) To: gcc-bugs ------- Additional Comments From pinskia at gcc dot gnu dot org 2004-10-26 13:34 ------- Here is a testcase which we can see the problem with rejecting the code (which is very useful for the regression hunter :) ): template <class T> struct Y; template <>struct Y<bool>{}; template <typename T = typeof(1==1)> struct X { Y<T> a; }; template struct X<>; : Search converges between 2004-09-27-161002-trunk (#564) and 2004-09-28-014001-trunk (#565). -- What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Ever Confirmed| |1 Last reconfirmed|0000-00-00 00:00:00 |2004-10-26 13:34:27 date| | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18161 ^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug c++/18161] [4.0 regression] typeof(1==1) is now int instead of bool in template default arguments 2004-10-26 13:30 [Bug c++/18161] New: [4.0 regression] typeof(1==1) is now int instead of bool bangerth at dealii dot org 2004-10-26 13:31 ` [Bug c++/18161] [4.0 regression] typeof(1==1) is now int instead of bool in template default arguments bangerth at dealii dot org 2004-10-26 13:34 ` pinskia at gcc dot gnu dot org @ 2004-10-26 13:36 ` pinskia at gcc dot gnu dot org 2004-10-26 21:58 ` mmitchel at gcc dot gnu dot org ` (2 subsequent siblings) 5 siblings, 0 replies; 7+ messages in thread From: pinskia at gcc dot gnu dot org @ 2004-10-26 13:36 UTC (permalink / raw) To: gcc-bugs ------- Additional Comments From pinskia at gcc dot gnu dot org 2004-10-26 13:36 ------- Almost certain that this was caused by: 2004-09-27 Mark Mitchell <mark@codesourcery.com> PR c++/17642 * cp-tree.h (fold_if_not_in_template): New function. * call.c (build_conditional_expr): Use fold_if_not_in_template. (build_cxx_call): Likewise. * cvt.c (convert_to_complex): Likewise. (ocp_convert): Likewise. (convert): Likewise. (convert_force): Likewise. * decl.c (compute_array_index_type): Clear processing_template_decl while folding array bounds. * pt.c (convert_nontype_argument): Clear processing_template_decl while processing non-type argument initialization. * tree.c (fold_if_not_in_template): New function. * typeck.c (build_class_member_access_expr): Use fold_if_not_in_template. (build_array_ref): Likewise. (build_binary_op): Likewise. Do not try to optimize computations when processing templates. (cp_pointer_int_sum): Use fold_if_not_in_template. (pointer_diff): Likewise. (build_unary_op): Likewise. (build_reinterpret_cast): Likewise. (get_delta_difference): Likewise. (expand_ptrmemfunc_cst): Likewise. (dubious_conversion_warnings): Likewise. -- What |Removed |Added ---------------------------------------------------------------------------- CC| |mark at codesourcery dot com Keywords| |rejects-valid http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18161 ^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug c++/18161] [4.0 regression] typeof(1==1) is now int instead of bool in template default arguments 2004-10-26 13:30 [Bug c++/18161] New: [4.0 regression] typeof(1==1) is now int instead of bool bangerth at dealii dot org ` (2 preceding siblings ...) 2004-10-26 13:36 ` pinskia at gcc dot gnu dot org @ 2004-10-26 21:58 ` mmitchel at gcc dot gnu dot org 2004-10-27 2:23 ` cvs-commit at gcc dot gnu dot org 2004-10-27 4:23 ` mmitchel at gcc dot gnu dot org 5 siblings, 0 replies; 7+ messages in thread From: mmitchel at gcc dot gnu dot org @ 2004-10-26 21:58 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=18161 ^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug c++/18161] [4.0 regression] typeof(1==1) is now int instead of bool in template default arguments 2004-10-26 13:30 [Bug c++/18161] New: [4.0 regression] typeof(1==1) is now int instead of bool bangerth at dealii dot org ` (3 preceding siblings ...) 2004-10-26 21:58 ` mmitchel at gcc dot gnu dot org @ 2004-10-27 2:23 ` cvs-commit at gcc dot gnu dot org 2004-10-27 4:23 ` mmitchel at gcc dot gnu dot org 5 siblings, 0 replies; 7+ messages in thread From: cvs-commit at gcc dot gnu dot org @ 2004-10-27 2:23 UTC (permalink / raw) To: gcc-bugs ------- Additional Comments From cvs-commit at gcc dot gnu dot org 2004-10-27 02:23 ------- Subject: Bug 18161 CVSROOT: /cvs/gcc Module name: gcc Changes by: mmitchel@gcc.gnu.org 2004-10-27 02:23:16 Modified files: gcc/testsuite : ChangeLog gcc/cp : ChangeLog decl.c name-lookup.c parser.c pt.c search.c typeck.c Added files: gcc/testsuite/g++.dg/lookup: ns2.C gcc/testsuite/g++.dg/template: enum4.C expr1.C Log message: PR c++/18093 * search.c (current_scope): Return the innermost non-block scope, not the innermost non-block, non-namespace scope. (at_namespace_scope_p): Adjust accordingly. (dfs_accessible_post): Do not pass namespaces to is_friend. (dfs_walk_once_accessible_r): Likewise. * decl.c (grokvardecl): Adjust call to current_scope. (build_enumerator): Likewise. * parser.c (cp_parser_using_declaration): Likewise. (cp_parser_direct_declarator): Use at_namespace_scope_p instead of current_scope. (cp_parser_class_head): Adjust call to current_scope. * name-lookup.c (do_namespace_alias): Set the DECL_CONTEXT for the alias. PR c++/18020 * pt.c (tusbst_copy_and_build): Resolve enumeration constants to their underlying values. PR c++/18161 * typeck.c (build_binary_op): Honor build_type, even when in a template. PR c++/18093 * g++.dg/lookup/ns2.C: New test. PR c++/18020 * g++.dg/template/enum4.C: New test. PR c++/18161 * g++.dg/template/expr1.C: New test. Patches: http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.4501&r2=1.4502 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&r1=1.4454&r2=1.4455 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/decl.c.diff?cvsroot=gcc&r1=1.1318&r2=1.1319 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/name-lookup.c.diff?cvsroot=gcc&r1=1.87&r2=1.88 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/parser.c.diff?cvsroot=gcc&r1=1.270&r2=1.271 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/pt.c.diff?cvsroot=gcc&r1=1.937&r2=1.938 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/search.c.diff?cvsroot=gcc&r1=1.335&r2=1.336 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/typeck.c.diff?cvsroot=gcc&r1=1.588&r2=1.589 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/lookup/ns2.C.diff?cvsroot=gcc&r1=NONE&r2=1.1 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/enum4.C.diff?cvsroot=gcc&r1=NONE&r2=1.1 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/expr1.C.diff?cvsroot=gcc&r1=NONE&r2=1.1 -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18161 ^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug c++/18161] [4.0 regression] typeof(1==1) is now int instead of bool in template default arguments 2004-10-26 13:30 [Bug c++/18161] New: [4.0 regression] typeof(1==1) is now int instead of bool bangerth at dealii dot org ` (4 preceding siblings ...) 2004-10-27 2:23 ` cvs-commit at gcc dot gnu dot org @ 2004-10-27 4:23 ` mmitchel at gcc dot gnu dot org 5 siblings, 0 replies; 7+ messages in thread From: mmitchel at gcc dot gnu dot org @ 2004-10-27 4:23 UTC (permalink / raw) To: gcc-bugs ------- Additional Comments From mmitchel at gcc dot gnu dot org 2004-10-27 04:23 ------- Fixed in GCC 4.0. -- What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |RESOLVED Resolution| |FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18161 ^ permalink raw reply [flat|nested] 7+ messages in thread
end of thread, other threads:[~2004-10-27 4:23 UTC | newest] Thread overview: 7+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2004-10-26 13:30 [Bug c++/18161] New: [4.0 regression] typeof(1==1) is now int instead of bool bangerth at dealii dot org 2004-10-26 13:31 ` [Bug c++/18161] [4.0 regression] typeof(1==1) is now int instead of bool in template default arguments bangerth at dealii dot org 2004-10-26 13:34 ` pinskia at gcc dot gnu dot org 2004-10-26 13:36 ` pinskia at gcc dot gnu dot org 2004-10-26 21:58 ` mmitchel at gcc dot gnu dot org 2004-10-27 2:23 ` cvs-commit at gcc dot gnu dot org 2004-10-27 4:23 ` 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).