This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r213335 - in /trunk/gcc/ada: ChangeLog checks.a...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Thu, 31 Jul 2014 09:58:06 -0000
- Subject: r213335 - in /trunk/gcc/ada: ChangeLog checks.a...
Author: charlet
Date: Thu Jul 31 09:58:06 2014
New Revision: 213335
URL: https://gcc.gnu.org/viewcvs?rev=213335&root=gcc&view=rev
Log:
2014-07-31 Robert Dewar <dewar@adacore.com>
* checks.adb (Enable_Overflow_Check): More precise setting of
Do_Overflow_Check flag for division.
2014-07-31 Eric Botcazou <ebotcazou@adacore.com>
* exp_aggr.adb (Aggr_Assignment_OK_For_Backend): Reject packed
array types with implementation type.
2014-07-31 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch10.adb (Process_State): Remove local variable Name. Add
local variable Decl. Partially declare an abstract state by
generating an entity and storing it in the state declaration.
* sem_prag.adb (Create_Abstract_State): Fully declare a
semi-declared abstract state.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/checks.adb
trunk/gcc/ada/exp_aggr.adb
trunk/gcc/ada/sem_ch10.adb
trunk/gcc/ada/sem_prag.adb