This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r237692 - 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: Wed, 22 Jun 2016 10:37:08 -0000
- Subject: r237692 - in /trunk/gcc/ada: ChangeLog checks.a...
Author: charlet
Date: Wed Jun 22 10:37:08 2016
New Revision: 237692
URL: https://gcc.gnu.org/viewcvs?rev=237692&root=gcc&view=rev
Log:
2016-06-22 Ed Schonberg <schonberg@adacore.com>
* einfo.ads, einfo.adb (Is_Actual_Subtype): New flag, defined
on subtypes that are created within subprogram bodies to handle
unconstrained composite formals.
* checks.adb (Apply_Predicate_Check): Do not generate a check on
an object whose type is an actual subtype.
* sem_ch6.adb (Set_Actual_Subtypes): Do not generate an
actual subtype for a formal whose base type is private.
Set Is_Actual_Subtype on corresponding entity after analyzing
its declaration.
2016-06-22 Justin Squirek <squirek@adacore.com>
* sem_prag.adb (Check_Expr_Is_OK_Static_Expression): Fix ordering
of if-block and add in a condition to test for errors during
resolution.
* sem_res.adb (Resolution_Failed): Add comment to explain why
the type of a node which failed to resolve is set to the desired
type instead of Any_Type.
* sem_ch8.adb (Analyze_Object_Renaming): Add a check for Any_Type
to prevent crashes on Is_Access_Constant.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/checks.adb
trunk/gcc/ada/einfo.adb
trunk/gcc/ada/einfo.ads
trunk/gcc/ada/sem_ch6.adb
trunk/gcc/ada/sem_ch8.adb
trunk/gcc/ada/sem_prag.adb
trunk/gcc/ada/sem_res.adb