This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r182228 - in /trunk/gcc/ada: ChangeLog a-cobove...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Mon, 12 Dec 2011 11:52:04 -0000
- Subject: r182228 - in /trunk/gcc/ada: ChangeLog a-cobove...
Author: charlet
Date: Mon Dec 12 11:52:04 2011
New Revision: 182228
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=182228
Log:
2011-12-12 Gary Dismukes <dismukes@adacore.com>
* freeze.adb (Freeze_Expression): Allow freezing of static
scalar subtypes that are prefixes of an attribute, even if not
yet marked static. Such attributes will get marked as static
later in Eval_Attribute (as called from Resolve_Attribute).
* sem_attr.adb (Eval_Attribute): Remove wrong code that does an
early return for attribute prefixes that are unfrozen source-level
types. This code was incorrectly bypassing folding of unfrozen
static subtype attributes in default expressions (the executable
example in the now-deleted comment was in fact illegal).
2011-12-12 Robert Dewar <dewar@adacore.com>
* a-coinve.adb, sem_res.adb, prj-nmsc.adb, a-cobove.adb, a-convec.adb,
gnatls.adb, sem_ch13.adb, prj-env.adb, prj-env.ads: Minor reformatting.
2011-12-12 Tristan Gingold <gingold@adacore.com>
* gsocket.h: Adjust previous patch.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/a-cobove.adb
trunk/gcc/ada/a-coinve.adb
trunk/gcc/ada/a-convec.adb
trunk/gcc/ada/freeze.adb
trunk/gcc/ada/gnatls.adb
trunk/gcc/ada/gsocket.h
trunk/gcc/ada/prj-env.adb
trunk/gcc/ada/prj-env.ads
trunk/gcc/ada/prj-nmsc.adb
trunk/gcc/ada/sem_attr.adb
trunk/gcc/ada/sem_ch13.adb
trunk/gcc/ada/sem_res.adb