[FFmpeg-devel] [PATCH] make sure initialization happens even after goto fires

[Måns Rullgård]

Reimar D?ffinger <Reimar.Doeffinger at stud.uni-karlsruhe.de> writes:

> On Thu, Jul 17, 2008 at 12:14:06PM -0700, Erik Hovland wrote:
>> On Thu, Jul 17, 2008 at 07:41:30PM +0100, M?ns Rullg?rd wrote:
>> > > I do agree. It is valid C. But it is playing a bit loose with its
>> > > validity.
>> > 
>> > Code is either valid or not.  There are no states in between.  This
>> > code clearly falls in the valid category.
>> 
>> Code can have valid syntax but be invalid. This is why there are bugs.
>
> That is not how I would interpret the term "invalid". For me the only bugs
> invalid code has to do with are those that cause the compiler to not
> abort compilation.

Yes, flawed logic has nothing to do with language spec violations.
When I say invalid code, I include code which is syntactically valid
without being semantically defined, or in other words, code which
invokes undefined behaviour.

-- 
M?ns Rullg?rd
mans at mansr.com