https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83935
Pierre-Marie de Rodat <derodat at adacore dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |ASSIGNED Last reconfirmed| |2018-01-22 CC| |derodat at adacore dot com Component|ada |debug Assignee|unassigned at gcc dot gnu.org |derodat at adacore dot com Ever confirmed|0 |1 --- Comment #1 from Pierre-Marie de Rodat <derodat at adacore dot com> --- Hello Tom, I agree with your interpretation of the standard. I did not notice that part when I implemented DW_TAG_variant_part generation several years ago. I’ll try to fix that. Note however that since GCC is in stage 4, it’s likely that the fix will not be accepted in trunk until we switch back to stage 5 (in April, I guess). In any case, thank you for reporting this!