2012-04-02 Robert Dewar <dewar@adacore.com>
authorRobert Dewar <dewar@adacore.com>
Mon, 2 Apr 2012 09:14:47 +0000 (09:14 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 2 Apr 2012 09:14:47 +0000 (11:14 +0200)
commit99fc068ee807cc43779d775a3dda705f5f37c4f5
tree9a8efa2ad007e9e906c740bb0b3ea701656c6395
parentcdc30df3e2f9badd1f2fd8efe14c6546cd8efe07
2012-04-02  Robert Dewar  <dewar@adacore.com>

* einfo.adb (First_Component_Or_Discriminant) Now applies to
all types with discriminants, not just records.
* exp_attr.adb (Expand_N_Attribute): Add Scalar_Values handling
for arrays, scalars and non-variant records.
* sem_attr.adb (Analyze_Attribute): Handle Valid_Scalars
* sem_attr.ads (Valid_Scalars): Update description
* sem_util.ads, sem_util.adb (No_Scalar_Parts): New function.

From-SVN: r186069
gcc/ada/ChangeLog
gcc/ada/einfo.adb
gcc/ada/exp_attr.adb
gcc/ada/sem_attr.adb
gcc/ada/sem_attr.ads
gcc/ada/sem_util.adb
gcc/ada/sem_util.ads