]> git.sesse.net Git - ffmpeg/commit
swscale/vscale: Increase type strictness
authorAndreas Rheinhardt <andreas.rheinhardt@gmail.com>
Sun, 26 Apr 2020 06:52:29 +0000 (08:52 +0200)
committerAndreas Rheinhardt <andreas.rheinhardt@gmail.com>
Mon, 27 Apr 2020 21:34:31 +0000 (23:34 +0200)
commit2fae0009942970f6331e2739bdcbd4b14a2485b0
treed7a3cdb35de19fdb80e5e64aaf7c706aa98e7067
parent1dff97b7bc792267c3e79030fbaed0e9fefc65fb
swscale/vscale: Increase type strictness

libswscale/vscale.c makes extensive use of function pointers and in
doing so it converts these function pointers to and from a pointer to
void. Yet this is actually against the C standard:
C90 only guarantees that one can convert a pointer to any incomplete
type or object type to void* and back with the result comparing equal
to the original which makes pointers to void generic pointers to
incomplete or object type. Yet C90 lacks a generic function pointer
type.
C99 additionally guarantees that a pointer to a function of one type may
be converted to a pointer to a function of another type with the result
and the original comparing equal when converting back.
This makes any function pointer type a generic function pointer type.
Yet even this does not make pointers to void generic function pointers.

Both GCC and Clang emit warnings for this when in pedantic mode.

This commit fixes this by using a union that can hold one member of any
of the required function pointer types to store the function pointer.
This works even for C90.

Reviewed-by: Michael Niedermayer <michael@niedermayer.cc>
Signed-off-by: Andreas Rheinhardt <andreas.rheinhardt@gmail.com>
libswscale/vscale.c