On 07/16/2015 10:34 AM, Pierre-Marie de Rodat wrote:
This patch series aims at enhancing GCC to emit standard DWARF in place of the current GNAT encodings (non-standard DWARF) for a set of "basic" types: dynamic arrays, variable-length records, variant parts, etc.
Ping for the patch series: <https://gcc.gnu.org/ml/gcc-patches/2015-07/msg01353.html>.
-- Pierre-Marie de Rodat