projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0bd75e4) | patch
[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Mon, 20 Jan 2014 13:54:43 +0000 (14:54 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 20 Jan 2014 13:54:43 +0000 (14:54 +0100)
commitc093d3cce4323009b79e41dadee5f4f224112924
treeec00a81f40c34c3dab63c2896a3fba89ff1c1322tree | snapshot
parent0bd75e44cd11925fe09d7e9048bc14d9e976a92acommit | diff
[multiple changes]

2014-01-20  Yannick Moy  <moy@adacore.com>

* gnat1drv.adb (Gnat1drv): Call Write_ALI with Object=True in GNATprove
mode.

2014-01-20  Pascal Obry  <obry@adacore.com>

* g-arrspl.ads (Slice_Set): New definition (will use a copy on
write scheme).
* g-arrspl.adb: Adapt all routine to this new implementation.
(Set): Copy the Slice_Set definition before reusing it.

From-SVN: r206812
gcc/ada/ChangeLog diff | blob | history
gcc/ada/g-arrspl.adb diff | blob | history
gcc/ada/g-arrspl.ads diff | blob | history
gcc/ada/gnat1drv.adb diff | blob | history
Domain: System / Toolchain;