https://gcc.gnu.org/bugzilla/show_bug.cgi?id=27077
--- Comment #9 from Thomas Koenig <tkoenig at gcc dot gnu.org> --- Please see https://gcc.gnu.org/bugs/#need for the things that are required for a bug report. Specifically, the preprocessed file (*.i*) that triggers the bug, generated by adding -save-temps to the complete compilation command, or, in the case of a bug report for the GNAT front end, a complete set of source files (see below).