https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59660
--- Comment #13 from Andrew Pinski <pinskia at gcc dot gnu.org> --- This has been fixed at r12-2039-gcd48e550d1dc583, if we use the C++ front-end. Using the C front-end we still have a casting issue.