On Wed, Dec 9, 2015 at 9:32 AM, Michael Niedermayer <michae...@gmx.at> wrote:
> On Wed, Dec 09, 2015 at 03:17:26PM +0100, Carl Eugen Hoyos wrote:
>> On Wednesday 09 December 2015 02:08:06 am Michael Niedermayer wrote:
>> > From: Michael Niedermayer <mich...@niedermayer.cc>
>> >
>> > Fixes mozilla bug 1230247
>>
>> Does this make the code slower and works around a bug in ubsan?
>
> i would guess it does or could make the code slower
>
> i do not know for sure if this is a bug in ubsan or actually undefined,
> i was hoping some language lawyer could clarify that

Unfortunately, atm I think you are our best language lawyer :). I can
look into this after a week if it can help.
All I can say right now is: please be careful if using ubsan,
especially the gcc variant
(https://trac.ffmpeg.org/ticket/4727#comment:8, gave this before as
well).

>
> [...]
> --
> Michael     GnuPG fingerprint: 9FF2128B147EF6730BADF133611EC787040B0FAB
>
> No human being will ever know the Truth, for even if they happen to say it
> by chance, they would not even known they had done so. -- Xenophanes
>
> _______________________________________________
> ffmpeg-devel mailing list
> ffmpeg-devel@ffmpeg.org
> http://ffmpeg.org/mailman/listinfo/ffmpeg-devel
>
_______________________________________________
ffmpeg-devel mailing list
ffmpeg-devel@ffmpeg.org
http://ffmpeg.org/mailman/listinfo/ffmpeg-devel

Reply via email to