projects / platform / upstream / linaro-gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5a868cf) | patch
2014-01-20 Yannick Moy <moy@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 20 Jan 2014 13:54:43 +0000 (13:54 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 20 Jan 2014 13:54:43 +0000 (13:54 +0000)
commit4fd226481b910cd18e1c831c275d58db8255f04f
treeec00a81f40c34c3dab63c2896a3fba89ff1c1322tree | snapshot
parent5a868cfb016ae265de0cd1bdc945c2cfc9fb5f4ccommit | diff
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206812 138bc75d-0d04-0410-961f-82ee72b054a4
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;