Czy ten wskaźnik rzuca złamanie ścisłej reguły aliasingu?

Jest to szybka odwrotna implementacja pierwiastka kwadratowego z Quake III Arena:

GCC: dokładność ostrzeżeń o aliasingu

Czy struktura może nazywać się swoim początkowym i jedynym członkiem?

Na przykład, czy ten kod jest poprawny, czy też wywołuje niezdefiniowane zachowanie, naruszając reguły aliasingu?

Jaki jest prawidłowy sposób typowania punku float na int i odwrotnie?