[FFmpeg-cvslog] Revert "Disable warnings for casting pointers to integers, there is nothing wrong with that."

[Andreas Rheinhardt]

ffmpeg | branch: master | Andreas Rheinhardt <andreas.rheinhardt at outlook.com> | Sat Nov 20 17:00:48 2021 +0100| [71204e8e3d0ae0b70dcac31ce3a984db79cd4eb0] | committer: Andreas Rheinhardt

Revert "Disable warnings for casting pointers to integers, there is nothing wrong with that."

This reverts commit 5258f64a14713499cf84840b3ab3a1ee7cdcaeb8.
The premise of said commit (that conversions from pointer to int
are ok) is wrong: C99/C11 6.3.2.3 5: "Any pointer type may be converted
to an integer type. [...] If the result cannot be represented in the
integer type, the behavior is undefined." (C90 6.3.4 contains a similar
restriction.) So don't disable -Wpointer-to-int-cast.

Signed-off-by: Andreas Rheinhardt <andreas.rheinhardt at outlook.com>

> http://git.videolan.org/gitweb.cgi/ffmpeg.git/?a=commit;h=71204e8e3d0ae0b70dcac31ce3a984db79cd4eb0
---

 configure | 1 -
 1 file changed, 1 deletion(-)

diff --git a/configure b/configure
index e6cee21142..92cacbc1e7 100755
--- a/configure
+++ b/configure
@@ -6910,7 +6910,6 @@ check_cflags -Wwrite-strings
 check_cflags -Wtype-limits
 check_cflags -Wundef
 check_cflags -Wmissing-prototypes
-check_cflags -Wno-pointer-to-int-cast
 check_cflags -Wstrict-prototypes
 check_cflags -Wempty-body