diff options
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2017-05-04 15:59:06 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2017-05-08 12:18:20 +0900 |
| commit | 5308224633cf138f436357b2a8a87a546373af72 (patch) | |
| tree | 38df10b117d95a5a1f88df10fd8128d8da67450e /contrib/persistent-https/README | |
| parent | 3dc7ea91dab9959b6bec82c05df18d6d1bb70619 (diff) | |
| download | git-5308224633cf138f436357b2a8a87a546373af72.tar.gz git-5308224633cf138f436357b2a8a87a546373af72.zip | |
name-rev: avoid leaking memory in the `deref` case
When the `name_rev()` function is asked to dereference the tip name, it
allocates memory. But when it turns out that another tip already
described the commit better than the current one, we forgot to release
the memory.
Pointed out by Coverity.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'contrib/persistent-https/README')
0 files changed, 0 insertions, 0 deletions