[FFmpeg-devel] [PATCH 3/4] avfilter/vf_ccrepack: Constify filter

Andreas Rheinhardt andreas.rheinhardt at outlook.com
Thu Jun 29 22:36:31 EEST 2023


Paul B Mahol:
> On Thu, Jun 29, 2023 at 8:18 PM Andreas Rheinhardt <
> andreas.rheinhardt at outlook.com> wrote:
> 
>> The discrepancy between the definition and the declaration
>> in allfilters.c is actually UB.
>>
> 
> I get no such message with ubsan.
> 

UBSan is a runtime UB-detector, not a compile-time UB detector.
The earlier code is UB because of 6.2.7 (2) of C11: "All declarations
that refer to the same object or function shall have compatible type;
otherwise, the behavior is undefined." A type and its const-qualified
type are not compatible.

- Andreas



More information about the ffmpeg-devel mailing list