[PATCH, PING] DWARF: space-optimize loc. descr. for integer literals on 32-bit targets

Pierre-Marie de Rodat derodat@adacore.com
Wed Aug 31 11:42:00 GMT 2016


Hello,

Ping for the patch submitted at 
<https://gcc.gnu.org/ml/gcc-patches/2016-08/msg01314.html>. Also, here’s 
the update that Trevor suggested.

Thanks!

-- 
Pierre-Marie de Rodat
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-DWARF-space-optimize-loc.-descr.-for-integer-literal.patch
Type: text/x-diff
Size: 4832 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20160831/60b6baaf/attachment.bin>


More information about the Gcc-patches mailing list