https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102090
--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> --- DR 1312 also mentions something similar with respect to casting to void*.
pinskia at gcc dot gnu.org via Gcc-bugs Thu, 26 Aug 2021 20:45:14 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102090
--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> --- DR 1312 also mentions something similar with respect to casting to void*.