public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/58325] New: Spurious unused-but-set-variable warning on delete[] of volatile pointer
@ 2013-09-05 16:29 cyp561 at gmail dot com
2013-09-09 10:38 ` [Bug c++/58325] [4.7/4.8/4.9 Regression] " jakub at gcc dot gnu.org
` (6 more replies)
0 siblings, 7 replies; 8+ messages in thread
From: cyp561 at gmail dot com @ 2013-09-05 16:29 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58325
Bug ID: 58325
Summary: Spurious unused-but-set-variable warning on delete[]
of volatile pointer
Product: gcc
Version: unknown
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: cyp561 at gmail dot com
The following code should not generate “volatile.cpp:3:16: warning: variable
‘usedAndSet’ set but not used [-Wunused-but-set-variable]”, but does anyway:
{{{
int main()
{
int *volatile setAndUsed = new int[1];
delete[] setAndUsed;
}
}}}
The generated code looks correct, I assume _ZdaPv is the delete[]:
{{{
.file "volatile.cpp"
.section .text.startup,"ax",@progbits
.p2align 4,,15
.globl main
.type main, @function
main:
.LFB0:
.cfi_startproc
subq $24, %rsp
.cfi_def_cfa_offset 32
movl $4, %edi
call _Znam
movq %rax, 8(%rsp)
movq 8(%rsp), %rdi
testq %rdi, %rdi
je .L2
call _ZdaPv
.L2:
xorl %eax, %eax
addq $24, %rsp
.cfi_def_cfa_offset 8
ret
.cfi_endproc
.LFE0:
.size main, .-main
.ident "GCC: (Gentoo 4.6.4 p1.0, pie-0.5.2) 4.6.4"
.section .note.GNU-stack,"",@progbits
}}}
Changing “delete[]” to “delete” or removing “volatile” removes the warning.
Adding “(void)setAndUsed;” squelches the warning.
Gives the warning: g++-4.6.4 g++-4.7.3
Does not give a warning: g++-3.4.6 g++-4.1.2 g++-4.2.4 g++-4.3.6 g++-4.4.7
g++-4.5.4
>From gcc-bugs-return-429045-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Thu Sep 05 16:46:04 2013
Return-Path: <gcc-bugs-return-429045-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 20668 invoked by alias); 5 Sep 2013 16:46:04 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 20631 invoked by uid 48); 5 Sep 2013 16:46:01 -0000
From: "paolo.carlini at oracle dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/58325] Spurious unused-but-set-variable warning on delete[] of volatile pointer
Date: Thu, 05 Sep 2013 16:46:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: unknown
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: paolo.carlini at oracle dot com
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_status cf_reconfirmed_on cc everconfirmed
Message-ID: <bug-58325-4-Y4A5KdXyyr@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-58325-4@http.gcc.gnu.org/bugzilla/>
References: <bug-58325-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2013-09/txt/msg00285.txt.bz2
Content-length: 480
http://gcc.gnu.org/bugzilla/show_bug.cgi?idX325
Paolo Carlini <paolo.carlini at oracle dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2013-09-05
CC| |jakub at gcc dot gnu.org
Ever confirmed|0 |1
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug c++/58325] [4.7/4.8/4.9 Regression] Spurious unused-but-set-variable warning on delete[] of volatile pointer
2013-09-05 16:29 [Bug c++/58325] New: Spurious unused-but-set-variable warning on delete[] of volatile pointer cyp561 at gmail dot com
@ 2013-09-09 10:38 ` jakub at gcc dot gnu.org
2013-09-09 10:39 ` jakub at gcc dot gnu.org
` (5 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: jakub at gcc dot gnu.org @ 2013-09-09 10:38 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58325
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |4.7.4
Summary|Spurious |[4.7/4.8/4.9 Regression]
|unused-but-set-variable |Spurious
|warning on delete[] of |unused-but-set-variable
|volatile pointer |warning on delete[] of
| |volatile pointer
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug c++/58325] [4.7/4.8/4.9 Regression] Spurious unused-but-set-variable warning on delete[] of volatile pointer
2013-09-05 16:29 [Bug c++/58325] New: Spurious unused-but-set-variable warning on delete[] of volatile pointer cyp561 at gmail dot com
2013-09-09 10:38 ` [Bug c++/58325] [4.7/4.8/4.9 Regression] " jakub at gcc dot gnu.org
@ 2013-09-09 10:39 ` jakub at gcc dot gnu.org
2013-09-09 17:12 ` jakub at gcc dot gnu.org
` (4 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: jakub at gcc dot gnu.org @ 2013-09-09 10:39 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58325
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
Assignee|unassigned at gcc dot gnu.org |jakub at gcc dot gnu.org
--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Created attachment 30772
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=30772&action=edit
gcc49-pr58325.patch
Untested fix.
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug c++/58325] [4.7/4.8/4.9 Regression] Spurious unused-but-set-variable warning on delete[] of volatile pointer
2013-09-05 16:29 [Bug c++/58325] New: Spurious unused-but-set-variable warning on delete[] of volatile pointer cyp561 at gmail dot com
2013-09-09 10:38 ` [Bug c++/58325] [4.7/4.8/4.9 Regression] " jakub at gcc dot gnu.org
2013-09-09 10:39 ` jakub at gcc dot gnu.org
@ 2013-09-09 17:12 ` jakub at gcc dot gnu.org
2013-09-09 17:12 ` jakub at gcc dot gnu.org
` (3 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: jakub at gcc dot gnu.org @ 2013-09-09 17:12 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58325
--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Mon Sep 9 17:12:15 2013
New Revision: 202411
URL: http://gcc.gnu.org/viewcvs?rev=202411&root=gcc&view=rev
Log:
PR c++/58325
* init.c (build_vec_delete): Call mark_rvalue_use on base.
* g++.dg/warn/Wunused-var-21.C: New test.
Added:
trunk/gcc/testsuite/g++.dg/warn/Wunused-var-21.C
Modified:
trunk/gcc/cp/ChangeLog
trunk/gcc/cp/init.c
trunk/gcc/testsuite/ChangeLog
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug c++/58325] [4.7/4.8/4.9 Regression] Spurious unused-but-set-variable warning on delete[] of volatile pointer
2013-09-05 16:29 [Bug c++/58325] New: Spurious unused-but-set-variable warning on delete[] of volatile pointer cyp561 at gmail dot com
` (2 preceding siblings ...)
2013-09-09 17:12 ` jakub at gcc dot gnu.org
@ 2013-09-09 17:12 ` jakub at gcc dot gnu.org
2013-09-09 17:14 ` [Bug c++/58325] [4.7 " jakub at gcc dot gnu.org
` (2 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: jakub at gcc dot gnu.org @ 2013-09-09 17:12 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58325
--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Mon Sep 9 17:12:50 2013
New Revision: 202412
URL: http://gcc.gnu.org/viewcvs?rev=202412&root=gcc&view=rev
Log:
PR c++/58325
* init.c (build_vec_delete): Call mark_rvalue_use on base.
* g++.dg/warn/Wunused-var-21.C: New test.
Added:
branches/gcc-4_8-branch/gcc/testsuite/g++.dg/warn/Wunused-var-21.C
Modified:
branches/gcc-4_8-branch/gcc/cp/ChangeLog
branches/gcc-4_8-branch/gcc/cp/init.c
branches/gcc-4_8-branch/gcc/testsuite/ChangeLog
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug c++/58325] [4.7 Regression] Spurious unused-but-set-variable warning on delete[] of volatile pointer
2013-09-05 16:29 [Bug c++/58325] New: Spurious unused-but-set-variable warning on delete[] of volatile pointer cyp561 at gmail dot com
` (3 preceding siblings ...)
2013-09-09 17:12 ` jakub at gcc dot gnu.org
@ 2013-09-09 17:14 ` jakub at gcc dot gnu.org
2014-05-07 16:04 ` jakub at gcc dot gnu.org
2014-05-07 16:19 ` jakub at gcc dot gnu.org
6 siblings, 0 replies; 8+ messages in thread
From: jakub at gcc dot gnu.org @ 2013-09-09 17:14 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58325
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|[4.7/4.8/4.9 Regression] |[4.7 Regression] Spurious
|Spurious |unused-but-set-variable
|unused-but-set-variable |warning on delete[] of
|warning on delete[] of |volatile pointer
|volatile pointer |
--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Fixed for 4.8+ so far.
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug c++/58325] [4.7 Regression] Spurious unused-but-set-variable warning on delete[] of volatile pointer
2013-09-05 16:29 [Bug c++/58325] New: Spurious unused-but-set-variable warning on delete[] of volatile pointer cyp561 at gmail dot com
` (4 preceding siblings ...)
2013-09-09 17:14 ` [Bug c++/58325] [4.7 " jakub at gcc dot gnu.org
@ 2014-05-07 16:04 ` jakub at gcc dot gnu.org
2014-05-07 16:19 ` jakub at gcc dot gnu.org
6 siblings, 0 replies; 8+ messages in thread
From: jakub at gcc dot gnu.org @ 2014-05-07 16:04 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58325
--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Wed May 7 16:03:49 2014
New Revision: 210172
URL: http://gcc.gnu.org/viewcvs?rev=210172&root=gcc&view=rev
Log:
Backported from mainline
2013-09-09 Jakub Jelinek <jakub@redhat.com>
PR c++/58325
* init.c (build_vec_delete): Call mark_rvalue_use on base.
* g++.dg/warn/Wunused-var-21.C: New test.
Added:
branches/gcc-4_7-branch/gcc/testsuite/g++.dg/warn/Wunused-var-21.C
Modified:
branches/gcc-4_7-branch/gcc/cp/ChangeLog
branches/gcc-4_7-branch/gcc/cp/init.c
branches/gcc-4_7-branch/gcc/testsuite/ChangeLog
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug c++/58325] [4.7 Regression] Spurious unused-but-set-variable warning on delete[] of volatile pointer
2013-09-05 16:29 [Bug c++/58325] New: Spurious unused-but-set-variable warning on delete[] of volatile pointer cyp561 at gmail dot com
` (5 preceding siblings ...)
2014-05-07 16:04 ` jakub at gcc dot gnu.org
@ 2014-05-07 16:19 ` jakub at gcc dot gnu.org
6 siblings, 0 replies; 8+ messages in thread
From: jakub at gcc dot gnu.org @ 2014-05-07 16:19 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58325
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution|--- |FIXED
--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Fixed.
^ permalink raw reply [flat|nested] 8+ messages in thread
end of thread, other threads:[~2014-05-07 16:19 UTC | newest]
Thread overview: 8+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-09-05 16:29 [Bug c++/58325] New: Spurious unused-but-set-variable warning on delete[] of volatile pointer cyp561 at gmail dot com
2013-09-09 10:38 ` [Bug c++/58325] [4.7/4.8/4.9 Regression] " jakub at gcc dot gnu.org
2013-09-09 10:39 ` jakub at gcc dot gnu.org
2013-09-09 17:12 ` jakub at gcc dot gnu.org
2013-09-09 17:12 ` jakub at gcc dot gnu.org
2013-09-09 17:14 ` [Bug c++/58325] [4.7 " jakub at gcc dot gnu.org
2014-05-07 16:04 ` jakub at gcc dot gnu.org
2014-05-07 16:19 ` jakub at gcc dot gnu.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).