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!

Reply via email to