This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r125388 - in /trunk/gcc/ada: checks.adb checks.ads
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Wed, 06 Jun 2007 10:22:42 -0000
- Subject: r125388 - in /trunk/gcc/ada: checks.adb checks.ads
Author: charlet
Date: Wed Jun 6 10:22:41 2007
New Revision: 125388
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=125388
Log:
2007-04-20 Javier Miranda <miranda@adacore.com>
Robert Dewar <dewar@adacore.com>
Ed Schonberg <schonberg@adacore.com>
* checks.ads, checks.adb (Apply_Address_Clause_Check): Handle case in
which the address-clause is applied to in-mode actuals (allowed by
13.1(22)).
(Apply_Discriminant_Check): Do not generate a check if the type is
constrained by a current instance.
(Activate_Division_Check): New procedure
(Activate_Overflow_Check): New procedure
(Activate_Range_Check): New procedure
Call these new Activate procedures instead of setting flags directly
(Apply_Array_Size_Check): Removed, no longer needed.
Code clean up: remove obsolete code related to GCC 2.
(Get_E_Length): Protect against bomb in case scope is standard
(Selected_Range_Checks): If the node to be checked is a conversion to
an unconstrained array type, and the expression is a slice, use the
bounds of the slice to construct the required constraint checks.
Improve NOT NULL error messages
(Apply_Constraint_Check): If the context is a null-excluding access
type, diagnose properly the literal null.
Modified:
trunk/gcc/ada/checks.adb
trunk/gcc/ada/checks.ads