http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52609
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> 2012-03-17 21:57:19 UTC --- >accessing unsigned* via float* looks buggy It does not have to be if the original argument was originally of type float. Aliasing is not about type of pointers but the type which is used to access and such.
