From: Richard Biener <richard.guenther@gmail.com>
To: Martin Sebor <msebor@gmail.com>,Jakub Jelinek <jakub@redhat.com>
Cc: "Dominik Inführ" <dominik.infuehr@theobroma-systems.com>,
"GCC Patches" <gcc-patches@gcc.gnu.org>
Subject: Re: [RFC][PATCH] Extend DCE to remove unnecessary new/delete-pairs
Date: Wed, 29 Nov 2017 18:05:00 -0000 [thread overview]
Message-ID: <C74E7A7C-8A2B-489F-971B-0FEF41801670@gmail.com> (raw)
In-Reply-To: <f6e7d0ed-4709-5e66-5bec-16d4e7c61ac0@gmail.com>
On November 29, 2017 4:56:44 PM GMT+01:00, Martin Sebor <msebor@gmail.com> wrote:
>On 11/29/2017 01:30 AM, Jakub Jelinek wrote:
>> On Tue, Nov 28, 2017 at 09:11:00PM -0700, Martin Sebor wrote:
>>> On 11/27/2017 02:22 AM, Dominik Inführ wrote:
>>>> Thanks for all the reviews! I’ve revised the patch, the
>operator_delete_flag is now stored in tree_decl_with_vis (there already
>seem to be some FUNCTION_DECL-flags in there). I’ve also added the
>option -fallocation-dce to disable this optimization. It bootstraps and
>no regressions on aarch64 and x86_64.
>>>>
>>> It's great to be able to eliminate pairs of these calls. For
>>> unpaired calls, though, I think it would be even more useful to
>>> also issue a warning. Otherwise the elimination will mask bugs
>>
>> ?? I hope you're only talking about allocation where the returned
>> pointer can't leak elsewhere, doing allocation in one function
>> (e.g. constructor, or whatever other function) and deallocation in
>some
>> other one is so common such a warning would be not just useless, but
>> harmful with almost all occurrences being false positives.
>>
>> Warning on malloc/standard operator new or malloc/realloc-like
>function
>> when the return pointer can't escape the current function is
>reasonable.
>
>Yes, warn for leaks, or for calls to delete/free with no matching
>new/malloc (when they can be detected).
>
> From the test case included in the patch, warn on the first two
>of the following three functions:
>
>+++ b/gcc/testsuite/g++.dg/cpp1y/new1.C
>@@ -0,0 +1,65 @@
>+/* { dg-do compile } */
>+/* { dg-options "-O2 -fdump-tree-cddce-details" } */
>+
>+#include <stdlib.h>
>+
>+void
>+new_without_use() {
>+ int *x = new int;
>+}
>+
>+void
>+new_array_without_use() {
>+ int *x = new int[5];
>+}
>+
>+void
>+new_primitive() {
>+ int *x = new int;
>+ delete x;
>+}
>
>An obvious extension to such a checker would then be to also detect
>possible invalid deallocations, as in:
>
> void f (unsigned n)
> {
> void *p = n < 256 ? alloca (n) : malloc (n);
> // ...
> free (p);
> }
>
>David Malcolm was working on something like that earlier this year
>so he might have some thoughts on this as well.
Or
P = new x;
Free (P) ;
Richard.
>Martin
next prev parent reply other threads:[~2017-11-29 16:53 UTC|newest]
Thread overview: 91+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-11-21 11:35 Dominik Inführ
2017-11-21 17:13 ` Jeff Law
2017-11-21 17:36 ` Dominik Inführ
2017-11-21 17:45 ` Jeff Law
2017-11-22 10:40 ` Martin Jambor
2017-11-22 18:03 ` Jeff Law
2017-11-22 9:33 ` Richard Biener
2017-11-22 10:41 ` Jakub Jelinek
2017-11-27 9:57 ` Dominik Inführ
2017-11-27 10:48 ` Jakub Jelinek
2017-11-27 17:04 ` Jeff Law
2017-11-28 11:55 ` Richard Biener
2017-11-28 14:48 ` Jakub Jelinek
2017-11-29 8:13 ` Martin Sebor
2017-11-29 9:33 ` Jakub Jelinek
2017-11-29 16:29 ` Martin Sebor
2017-11-29 16:53 ` David Malcolm
2017-11-29 17:01 ` Andrew Pinski
2018-05-13 17:19 ` Marc Glisse
2019-07-02 11:49 ` [PATCH 1/2] Come up with function_decl_type and use it in tree_function_decl Martin Liška
2019-07-02 11:50 ` [PATCH 2/2] Extend DCE to remove unnecessary new/delete-pairs (PR c++/23383) Martin Liška
2019-08-02 21:34 ` H.J. Lu
2019-08-05 6:44 ` [PATCH] Handle new operators with no arguments in DCE Martin Liška
2019-08-05 7:08 ` Marc Glisse
2019-08-05 9:53 ` Martin Liška
2019-08-05 11:57 ` Marc Glisse
2019-08-05 12:52 ` Martin Liška
2019-08-05 13:46 ` Marc Glisse
2019-08-06 14:07 ` Martin Liška
2019-08-06 15:35 ` [PATCH] Detect not-cloned new/delete operators " Martin Liška
2019-08-06 15:59 ` Marc Glisse
2019-08-07 9:31 ` Martin Liška
2019-08-07 10:15 ` Richard Biener
2019-08-06 17:30 ` Martin Jambor
2019-08-07 8:56 ` Martin Liška
2019-08-07 9:54 ` [PATCH] Handle new operators with no arguments " Richard Biener
2019-08-07 11:36 ` Martin Liška
2019-08-07 11:51 ` Jakub Jelinek
2019-08-07 12:06 ` Martin Liška
2019-08-07 14:35 ` Richard Biener
2019-08-08 9:01 ` Martin Liška
2019-08-15 11:06 ` Martin Liška
2019-08-15 11:35 ` Richard Biener
2019-08-05 12:13 ` Richard Biener
2019-07-02 16:02 ` [PATCH 1/2] Come up with function_decl_type and use it in tree_function_decl Martin Sebor
2019-07-02 17:15 ` Marc Glisse
2019-07-03 15:03 ` Martin Liška
2019-07-03 16:44 ` Richard Biener
2019-07-04 22:21 ` Marc Glisse
2019-07-08 13:02 ` Martin Liška
2019-07-08 22:00 ` Jason Merrill
2019-07-09 2:28 ` Marc Glisse
2019-07-09 7:52 ` Marc Glisse
2019-07-09 8:49 ` Martin Liška
2019-07-09 10:22 ` Marc Glisse
2019-07-09 21:02 ` Jason Merrill
2019-07-11 6:48 ` Martin Liška
2019-07-22 14:00 ` Martin Liška
2019-07-24 19:05 ` Jeff Law
2019-07-25 10:24 ` Richard Biener
2019-07-25 2:17 ` Marc Glisse
2019-07-25 8:34 ` Martin Liška
2019-07-25 12:21 ` Marc Glisse
2019-07-25 13:50 ` Martin Liška
2019-07-25 15:41 ` Martin Liška
2019-07-28 21:50 ` [PATCH] Remove also 2nd argument for unused delete operator (PR tree-optimization/91270) Martin Liška
2019-07-29 10:03 ` Richard Biener
2019-07-29 10:54 ` Martin Liška
2019-07-29 14:40 ` Richard Biener
2019-07-30 7:48 ` Martin Liška
2019-07-30 8:09 ` Martin Liška
2019-07-30 8:42 ` Richard Biener
2019-07-30 10:20 ` Martin Liška
2019-07-30 10:28 ` Richard Biener
2019-07-30 12:08 ` Marc Glisse
2019-07-30 12:12 ` Martin Liška
2019-07-30 13:14 ` Marc Glisse
2019-07-30 13:41 ` Martin Liška
2019-07-30 14:37 ` Marc Glisse
2019-07-31 8:42 ` [PATCH] Mark necessary 2nd and later args for delete op Martin Liška
2019-07-31 10:24 ` Richard Biener
2019-07-31 10:00 ` [PATCH] Remove also 2nd argument for unused delete operator (PR tree-optimization/91270) Richard Biener
2019-07-29 9:59 ` [PATCH 1/2] Come up with function_decl_type and use it in tree_function_decl Richard Biener
2017-11-29 18:05 ` Richard Biener [this message]
2017-12-04 12:20 ` [RFC][PATCH] Extend DCE to remove unnecessary new/delete-pairs Trevor Saunders
2017-12-01 1:24 ` Jeff Law
2017-12-01 1:23 ` Jeff Law
2017-11-22 13:03 ` Nathan Sidwell
2017-11-22 14:18 ` Richard Biener
2017-11-22 14:45 ` Nathan Sidwell
2017-11-22 21:45 ` Marc Glisse
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=C74E7A7C-8A2B-489F-971B-0FEF41801670@gmail.com \
--to=richard.guenther@gmail.com \
--cc=dominik.infuehr@theobroma-systems.com \
--cc=gcc-patches@gcc.gnu.org \
--cc=jakub@redhat.com \
--cc=msebor@gmail.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
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).