https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84213
--- Comment #18 from Pierre-Marie de Rodat <derodat at adacore dot com> --- Excellent, thank you for the feedback!
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84213
--- Comment #18 from Pierre-Marie de Rodat <derodat at adacore dot com> --- Excellent, thank you for the feedback!