Ramiro Polla:
>
> On 5/16/25 16:06, Andreas Rheinhardt wrote:
>> Andreas Rheinhardt:
>>> Patches attached.
>>>
>>> - Andreas
>>>
>>
>> Will apply this patchset tomorrow unless there are objections.
>
> [PATCH 01/21] avutil/avassert: Add av_unreachable and av_assume() macros
>> diff --git a/libavutil/avassert.h b/libavutil/avassert.h
>> index 1895fb7551..d0d5aa0c7e 100644
>> --- a/libavutil/avassert.h
>> +++ b/libavutil/avassert.h
>> @@ -75,4 +76,45 @@
>> */
>> void av_assert0_fpu(void);
>>
>> +/**
>> + * Asserts that are used as compiler optimization hints depending
>> + * upon ASSERT_LEVEL and NBDEBUG.
>> + *
>> + * Undefined behaviour occurs if execution reaches a point marked
>> + * with av_unreachable() or if a condition used with av_assume()
>> + * is false.
>> + *
>> + * The condition used with av_assume() should not have side-effects
>> + * and should be visible to the compiler.
>> + */
>> +#if defined(ASSERT_LEVEL) ? ASSERT_LEVEL > 0 : !
>> defined(HAVE_AV_CONFIG_H) && !defined(NDEBUG)
>> +#define av_unreachable(msg) \
>> +do { \
>> + av_log(NULL, AV_LOG_PANIC, \
>> + "Code at %s:%d that was supposedly unreachable due to '%s'
>> reached\n", \
>> + __FILE__, __LINE__, msg); \
>
> The message sounds weird (especially that dangling "reached" at the
> end). What about:
> "Reached supposedly unreachable code at %s:%d: %s\n"
> or any other variation where the reason message gets printed at the end.
Will change.
- Andreas
_______________________________________________
ffmpeg-devel mailing list
ffmpeg-devel@ffmpeg.org
https://ffmpeg.org/mailman/listinfo/ffmpeg-devel
To unsubscribe, visit link above, or email
ffmpeg-devel-requ...@ffmpeg.org with subject "unsubscribe".
