public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/12037] New: Spurious "statement has no effect" in templates
@ 2003-08-22 22:20 bangerth at dealii dot org
2003-08-22 22:32 ` [Bug c++/12037] [3.4 Regression] " pinskia at gcc dot gnu dot org
` (4 more replies)
0 siblings, 5 replies; 6+ messages in thread
From: bangerth at dealii dot org @ 2003-08-22 22:20 UTC (permalink / raw)
To: gcc-bugs
PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12037
Summary: Spurious "statement has no effect" in templates
Product: gcc
Version: 3.4
Status: UNCONFIRMED
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,nathan at gcc dot gnu
dot org
I was pretty sure someone (I?) had already reported this, but I can't find it no more:
---------------------------------
#include <iostream>
template <int> void f () {
std::cout << " ";
}
---------------------------------
With present mainline we get:
deal.II/base> ~/tmp/build-gcc/gcc-install/bin/c++ -W -Wall -c x.cc
x.cc: In function `void f()':
x.cc:4: warning: statement has no effect
That's clearly bogus. I thought it might be related to PR 11964 and PR 11957, but these
two are already closed, whereas this still happens with last night's CVS.
W.
^ permalink raw reply [flat|nested] 6+ messages in thread* [Bug c++/12037] [3.4 Regression] Spurious "statement has no effect" in templates
2003-08-22 22:20 [Bug c++/12037] New: Spurious "statement has no effect" in templates bangerth at dealii dot org
@ 2003-08-22 22:32 ` pinskia at gcc dot gnu dot org
2003-08-22 22:39 ` bangerth at dealii dot org
` (3 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2003-08-22 22:32 UTC (permalink / raw)
To: gcc-bugs
PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12037
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Severity|normal |critical
Status|UNCONFIRMED |NEW
Ever Confirmed| |1
Keywords| |diagnostic
Priority|P2 |P1
Last reconfirmed|0000-00-00 00:00:00 |2003-08-22 22:32:17
date| |
Summary|Spurious "statement has no |[3.4 Regression] Spurious
|effect" in templates |"statement has no effect" in
| |templates
------- Additional Comments From pinskia at gcc dot gnu dot org 2003-08-22 22:32 -------
No some reported it to the mailing list but that is all (I had told him to open a bug so it would not
get lost but it looks like he did not).
I can confirm this on the mainline (20030822).
^ permalink raw reply [flat|nested] 6+ messages in thread* [Bug c++/12037] [3.4 Regression] Spurious "statement has no effect" in templates
2003-08-22 22:20 [Bug c++/12037] New: Spurious "statement has no effect" in templates bangerth at dealii dot org
2003-08-22 22:32 ` [Bug c++/12037] [3.4 Regression] " pinskia at gcc dot gnu dot org
@ 2003-08-22 22:39 ` bangerth at dealii dot org
2003-08-23 13:56 ` nathan at gcc dot gnu dot org
` (2 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: bangerth at dealii dot org @ 2003-08-22 22:39 UTC (permalink / raw)
To: gcc-bugs
PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12037
bangerth at dealii dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |gerald at pfeifer dot com
------- Additional Comments From bangerth at dealii dot org 2003-08-22 22:39 -------
I recalled it was Gerald who reported this and I searched his PRs but couldn't find
ont. Seems as if he had a busy day, then. Well, now it's in bugzilla.
W.
^ permalink raw reply [flat|nested] 6+ messages in thread* [Bug c++/12037] [3.4 Regression] Spurious "statement has no effect" in templates
2003-08-22 22:20 [Bug c++/12037] New: Spurious "statement has no effect" in templates bangerth at dealii dot org
2003-08-22 22:32 ` [Bug c++/12037] [3.4 Regression] " pinskia at gcc dot gnu dot org
2003-08-22 22:39 ` bangerth at dealii dot org
@ 2003-08-23 13:56 ` nathan at gcc dot gnu dot org
2003-09-05 8:22 ` nathan at gcc dot gnu dot org
2003-09-05 8:24 ` cvs-commit at gcc dot gnu dot org
4 siblings, 0 replies; 6+ messages in thread
From: nathan at gcc dot gnu dot org @ 2003-08-23 13:56 UTC (permalink / raw)
To: gcc-bugs
PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12037
nathan at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|unassigned at gcc dot gnu |nathan at gcc dot gnu dot
|dot org |org
Status|NEW |ASSIGNED
^ permalink raw reply [flat|nested] 6+ messages in thread* [Bug c++/12037] [3.4 Regression] Spurious "statement has no effect" in templates
2003-08-22 22:20 [Bug c++/12037] New: Spurious "statement has no effect" in templates bangerth at dealii dot org
` (2 preceding siblings ...)
2003-08-23 13:56 ` nathan at gcc dot gnu dot org
@ 2003-09-05 8:22 ` nathan at gcc dot gnu dot org
2003-09-05 8:24 ` cvs-commit at gcc dot gnu dot org
4 siblings, 0 replies; 6+ messages in thread
From: nathan at gcc dot gnu dot org @ 2003-09-05 8:22 UTC (permalink / raw)
To: gcc-bugs
PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12037
nathan at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
------- Additional Comments From nathan at gcc dot gnu dot org 2003-09-05 08:22 -------
2003-09-05 Nathan Sidwell <nathan@codesourcery.com>
PR c++/12037
* cp-tree.h (COMPOUND_EXPR_OVERLOADED): New.
(build_min_non_dep): Declare.
* tree.c (build_min): Propagate TREE_SIDE_EFFECTS.
(build_min_non_dep): New.
* cvt.c (convert_to_void): Don't explicitly copy
TREE_SIDE_EFFECTS, TREE_NO_UNUSED_WARNING.
* call.c (build_new_method_call): Use build_min_non_dep.
* decl2.c (grok_array_decl): Likewise.
(build_offset_ref_call_from_tree): Likewise.
* typeck.c (finish_class_member_access_expr,
build_x_indirect_ref, build_x_binary_op, build_x_unary_op,
build_x_conditional_expr, build_x_compound_expr): Likewise.
(build_static_cast, build_reinterpret_cast,
build_const_cast): Propagate TREE_SIDE_EFFECTS inside a template.
* typeck2.c (build_x_arrow): Use build_min_non_dep.
(build_functional_cast): Propagate TREE_SIDE_EFFECTS inside a
template.
* rtti.c (build_dynamic_cast_1): Set DECL_IS_PURE.
(build_dynamic_cast): Set TREE_SIDE_EFFECTS.
* pt.c (build_non_dependent_expr): Check COMPOUND_EXPR_OVERLOADED.
^ permalink raw reply [flat|nested] 6+ messages in thread* [Bug c++/12037] [3.4 Regression] Spurious "statement has no effect" in templates
2003-08-22 22:20 [Bug c++/12037] New: Spurious "statement has no effect" in templates bangerth at dealii dot org
` (3 preceding siblings ...)
2003-09-05 8:22 ` nathan at gcc dot gnu dot org
@ 2003-09-05 8:24 ` cvs-commit at gcc dot gnu dot org
4 siblings, 0 replies; 6+ messages in thread
From: cvs-commit at gcc dot gnu dot org @ 2003-09-05 8:24 UTC (permalink / raw)
To: gcc-bugs
PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12037
------- Additional Comments From cvs-commit at gcc dot gnu dot org 2003-09-05 08:24 -------
Subject: Bug 12037
CVSROOT: /cvs/gcc
Module name: gcc
Changes by: nathan@gcc.gnu.org 2003-09-05 08:24:28
Modified files:
gcc/cp : ChangeLog call.c cp-tree.h cvt.c decl2.c pt.c
rtti.c tree.c typeck.c typeck2.c
gcc/testsuite : ChangeLog
Added files:
gcc/testsuite/g++.dg/warn: noeffect4.C
Log message:
cp:
PR c++/12037
* cp-tree.h (COMPOUND_EXPR_OVERLOADED): New.
(build_min_non_dep): Declare.
* tree.c (build_min): Propagate TREE_SIDE_EFFECTS.
(build_min_non_dep): New.
* cvt.c (convert_to_void): Don't explicitly copy
TREE_SIDE_EFFECTS, TREE_NO_UNUSED_WARNING.
* call.c (build_new_method_call): Use build_min_non_dep.
* decl2.c (grok_array_decl): Likewise.
(build_offset_ref_call_from_tree): Likewise.
* typeck.c (finish_class_member_access_expr,
build_x_indirect_ref, build_x_binary_op, build_x_unary_op,
build_x_conditional_expr, build_x_compound_expr): Likewise.
(build_static_cast, build_reinterpret_cast,
build_const_cast): Propagate TREE_SIDE_EFFECTS inside a template.
* typeck2.c (build_x_arrow): Use build_min_non_dep.
(build_functional_cast): Propagate TREE_SIDE_EFFECTS inside a
template.
* rtti.c (build_dynamic_cast_1): Set DECL_IS_PURE.
(build_dynamic_cast): Set TREE_SIDE_EFFECTS.
* pt.c (build_non_dependent_expr): Check COMPOUND_EXPR_OVERLOADED.
testsuite:
PR c++/12037
* g++.dg/warn/noeffect4.C: New test.
Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&r1=1.3646&r2=1.3647
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/call.c.diff?cvsroot=gcc&r1=1.429&r2=1.430
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/cp-tree.h.diff?cvsroot=gcc&r1=1.912&r2=1.913
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/cvt.c.diff?cvsroot=gcc&r1=1.144&r2=1.145
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/decl2.c.diff?cvsroot=gcc&r1=1.666&r2=1.667
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/pt.c.diff?cvsroot=gcc&r1=1.772&r2=1.773
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/rtti.c.diff?cvsroot=gcc&r1=1.172&r2=1.173
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/tree.c.diff?cvsroot=gcc&r1=1.344&r2=1.345
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/typeck.c.diff?cvsroot=gcc&r1=1.499&r2=1.500
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/typeck2.c.diff?cvsroot=gcc&r1=1.148&r2=1.149
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.3023&r2=1.3024
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/warn/noeffect4.C.diff?cvsroot=gcc&r1=NONE&r2=1.1
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2003-09-05 8:24 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2003-08-22 22:20 [Bug c++/12037] New: Spurious "statement has no effect" in templates bangerth at dealii dot org
2003-08-22 22:32 ` [Bug c++/12037] [3.4 Regression] " pinskia at gcc dot gnu dot org
2003-08-22 22:39 ` bangerth at dealii dot org
2003-08-23 13:56 ` nathan at gcc dot gnu dot org
2003-09-05 8:22 ` nathan at gcc dot gnu dot org
2003-09-05 8:24 ` cvs-commit 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).