This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r190156 - 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: Mon, 06 Aug 2012 07:33:44 -0000
- Subject: r190156 - in /trunk/gcc/ada: ChangeLog checks.a...
Author: charlet
Date: Mon Aug 6 07:33:43 2012
New Revision: 190156
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=190156
Log:
2012-08-06 Vincent Pucci <pucci@adacore.com>
* exp_ch9.adb (Build_Lock_Free_Unprotected_Subprogram_Body):
Use of Known_Static_Esize instead of Known_Esize and
Known_Static_RM_Size instead of Known_RM_Size in order to
properly call UI_To_Int. Don't check the size of the component
type in case of generic.
* sem_ch9.adb (Allows_Lock_Free_Implementation):
Use of Known_Static_Esize instead of Known_Esize and
Known_Static_RM_Size instead of Known_RM_Size in order to properly
call UI_To_Int. Don't check the size of the component type in
case of generic.
2012-08-06 Hristian Kirtchev <kirtchev@adacore.com>
* checks.adb (Discrete_Range_Cond): Do not try to optimize on
the assumption that the type of an expression can always fit in
the target type of a conversion.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/checks.adb
trunk/gcc/ada/exp_ch9.adb
trunk/gcc/ada/sem_ch9.adb