[FFmpeg-devel] [PATCH] make sure initialization happens even after goto fires
Thu Jul 17 22:15:44 CEST 2008
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.
mans at mansr.com
More information about the ffmpeg-devel