https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83935 --- Comment #5 from Pierre-Marie de Rodat <derodat at adacore dot com> --- I just submitted an Issue/Comment on dwarfstd.org, but unfortunately it is not yet publicly visible (http://dwarfstd.org/Issues.php). Waiting for feedback from there…