git@vger.kernel.org mailing list mirror (one of many)
 help / color / mirror / code / Atom feed
From: "René Scharfe" <rene.scharfe@lsrfire.ath.cx>
To: Felipe Contreras <felipe.contreras@gmail.com>
Cc: git@vger.kernel.org, Stephen Boyd <sboyd@codeaurora.org>,
	Junio C Hamano <gitster@pobox.com>
Subject: Re: [PATCH v2 7/7] unpack-trees: free cache_entry array members for merges
Date: Mon, 03 Jun 2013 01:06:52 +0200	[thread overview]
Message-ID: <51ABD00C.7080503@lsrfire.ath.cx> (raw)
In-Reply-To: <CAMP44s3cqa-jETHX+ftbAVMx+oV6PMcVkdH63P93ER-4fH28Hw@mail.gmail.com>

Am 03.06.2013 00:38, schrieb Felipe Contreras:
> On Sun, Jun 2, 2013 at 3:26 PM, René Scharfe
> <rene.scharfe@lsrfire.ath.cx> wrote:
>> Am 02.06.2013 19:59, schrieb Felipe Contreras:
>>
>>> On Sun, Jun 2, 2013 at 12:54 PM, René Scharfe
>>> <rene.scharfe@lsrfire.ath.cx> wrote:
>>>>
>>>> Am 02.06.2013 19:25, schrieb Felipe Contreras:
>>>>>
>>>>>
>>>>> On Sun, Jun 2, 2013 at 10:46 AM, René Scharfe
>>>>> <rene.scharfe@lsrfire.ath.cx> wrote:
>>>>>>
>>>>>>
>>>>>> +               for (i = 0; i < n; i++) {
>>>>>> +                       struct cache_entry *ce = src[i + o->merge];
>>>>>> +                       if (ce != o->df_conflict_entry)
>>>>>
>>>>>
>>>>>
>>>>> It's possible that ce is NULL, but you didn't add that check because
>>>>> free(NULL) still works? Or because ce cannot be NULL?
>>>>>
>>>>> If it's the former, I think it's clearer if we check that ce is not
>>>>> NULL either way.
>>>>
>>>>
>>>>
>>>> It is NULL if one tree misses an entry (e.g. a new or removed file). free
>>>> handles NULL and we generally avoid duplicating its NULL-check.
>>>
>>>
>>> Yeah, but I can see somebody adding code inside that 'if' clause to
>>> print the cache entry, and see a crash only to wonder what's going on.
>>> And to save what? 5 characters?
>>
>>
>> The person adding code that depends on ce not being NULL needs to add that
>> check as well.  Let's not worry too much about future changes that may or
>> (more likely IMHO) may not be done.  The test suite covers this case
>> multiple times, so such a mistake doesn't have a realistic chance to hit
>> master.
>
> What do we gain by not doing this? 5 less characters?

By following the convention of not checking for NULL when freeing, we 
reduce the size of the code slightly and have one less branch 
instruction in the object code.  That's not particularly exciting in a 
single instance but makes a difference if followed throughout the code base.

What do we gain by adding a duplicate check?  A few minutes of debugging 
time by the person who will add some code and forget the NULL check? 
And how likely is that to happen?

René

  reply	other threads:[~2013-06-02 23:07 UTC|newest]

Thread overview: 22+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-06-02 15:46 [PATCH v2 0/7] unpack-trees: plug memory leak for merges René Scharfe
2013-06-02 15:46 ` [PATCH v2 1/7] cache: mark cache_entry pointers const René Scharfe
2013-06-02 15:46 ` [PATCH v2 2/7] read-cache: " René Scharfe
2013-06-02 15:46 ` [PATCH v2 3/7] unpack-trees: factor out dup_entry René Scharfe
2013-06-02 15:46 ` [PATCH v2 4/7] unpack-trees: create working copy of merge entry in merged_entry René Scharfe
2013-06-02 15:46 ` [PATCH v2 5/7] diff-lib, read-tree, unpack-trees: mark cache_entry pointers const René Scharfe
2013-06-02 15:46 ` [PATCH v2 6/7] diff-lib, read-tree, unpack-trees: mark cache_entry array paramters const René Scharfe
2013-06-02 15:46 ` [PATCH v2 7/7] unpack-trees: free cache_entry array members for merges René Scharfe
2013-06-02 17:25   ` Felipe Contreras
2013-06-02 17:54     ` René Scharfe
2013-06-02 17:59       ` Felipe Contreras
2013-06-02 20:26         ` René Scharfe
2013-06-02 22:38           ` Felipe Contreras
2013-06-02 23:06             ` René Scharfe [this message]
2013-06-02 23:23               ` Felipe Contreras
2013-06-02 23:47                 ` René Scharfe
2013-06-03  0:04                   ` Felipe Contreras
2013-06-03 15:59                     ` René Scharfe
2013-06-03 16:10                       ` Felipe Contreras
2013-06-03 16:57                         ` [PATCH v2 8/7] unpack-trees: document that pointer ce can be NULL René Scharfe
2013-06-03 17:40                         ` [PATCH v2 7/7] unpack-trees: free cache_entry array members for merges Junio C Hamano
2013-06-03 20:53                           ` Felipe Contreras

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

  List information: http://vger.kernel.org/majordomo-info.html

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=51ABD00C.7080503@lsrfire.ath.cx \
    --to=rene.scharfe@lsrfire.ath.cx \
    --cc=felipe.contreras@gmail.com \
    --cc=git@vger.kernel.org \
    --cc=gitster@pobox.com \
    --cc=sboyd@codeaurora.org \
    /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.
Code repositories for project(s) associated with this public inbox

	https://80x24.org/mirrors/git.git

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).