Re: [PATCH 13/13] Build in merge
- From
Jakub Narebski <jnareb@gmail.com>
- Date
- Jun 29, 2008, 08:11 UTC
- Message-ID
- <g47g31$6ca$1@ger.gmane.org>
- In-Reply-To
- <7vprq0fzum.fsf@gitster.siamese.dyndns.org>
Junio C Hamano wrote:
> Miklos Vajna <vmiklos@frugalware.org> writes:
Show 10 quoted lines
>> + if (!remote_head)
>> + die("%s - not something we can merge", argv[0]);
>> + update_ref("initial pull", "HEAD", remote_head->sha1, NULL, 0,
>> + DIE_ON_ERR);
>> + reset_hard(remote_head->sha1, 0);
>> + return 0;
>
> Makes one wonder reset_hard() (aka "read-tree --reset -u HEAD") ever fail
> and return here (iow, without calling die()). The answer is luckily no
> in this case, but it is somewhat unnerving to reviewers.Do we have some guidelines on how to mark such non-returning calls, or how to mark unreachable code (splint, formerly lclint, uses for this /*@ unreachable @*/ annotation)?
-- Jakub Narebski Warsaw, Poland ShadeHawk on #git