Bug#445536: Acknowledgement (GCC generate wrong code for infinitely recursive functions)

[Samuel Tardieu]

(of course, the Ada code should read "procedure U is")