From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 20 Aug 2013 23:45:10 GMT
Subject: Re: CPPCheck found 24 high risk bugs in Git v.1.8.3.4
Message-ID: <xmqqd2p8udtl.fsf@gitster.dls.corp.google.com>
In-Reply-To: <87y57wnf03.fsf@igel.home>

Andreas Schwab <schwab@linux-m68k.org> writes:

> Erik Faye-Lund <kusmabite@gmail.com> writes:
>
>> I don't see how it's undefined. It's using the memory that 'pos'
>> *points to* that is undefined, no? The difference between 'pos' and
>> 'str' should still be the same, it's not like realloc somehow
>> magically updates 'pos'...
>
> It does.  Think of segmented architectures, where freeing a pointer
> invalidates its segment, so that even loading the value of the pointer
> traps.  Probably no such architecture is in use any more, though.

I love seeing that we have somebody who knows and can explain these
dark corners of ANSI C standard ;-)