r206812 - in /trunk/gcc/ada: ChangeLog g-arrspl...

[charlet@gcc.gnu.org]

Author: charlet
Date: Mon Jan 20 13:54:43 2014
New Revision: 206812

URL: http://gcc.gnu.org/viewcvs?rev=206812&root=gcc&view=rev
Log:
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.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/g-arrspl.adb
    trunk/gcc/ada/g-arrspl.ads
    trunk/gcc/ada/gnat1drv.adb