https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66790
--- Comment #11 from Pierre-Marie de Rodat <derodat at adacore dot com> --- Created attachment 36320 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=36320&action=edit Reproducer with an uninitialized variable (no OUT parameter)