[PATCHES, PING*2] Enhance standard DWARF for Ada

Pierre-Marie de Rodat derodat@adacore.com
Fri Jul 31 11:31:00 GMT 2015


On 07/31/2015 12:54 PM, Pierre-Marie de Rodat wrote:
> 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>. Thanks!

As per Jakub's suggestion, pinging other maintainers: sorry for the 
double-ping. ;-)

-- 
Pierre-Marie de Rodat



More information about the Gcc-patches mailing list