2012-03-07 Bob Duff <duff@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 7 Mar 2012 17:07:55 +0000 (17:07 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 7 Mar 2012 17:07:55 +0000 (17:07 +0000)
commitde4993fc63be366b2f0e42382243491662c4a2eb
treeb9968cd8294f3f38e3d95d328b514a31814aba7e
parent019bce565262aed96f87c465d8913f86b0b9613d
2012-03-07  Bob Duff  <duff@adacore.com>

* rtsfind.ads: Add support for finding Super_String types.
* sem_util.ads, sem_util.adb (Is_Bounded_String): New function
to determine whether a given type is a bounded string type.
(Is_Fully_Initialized_Type): Return True for bounded
string types, to suppress bogus warnings.
* exp_ch4.adb (Expand_Composite_Equality): Special case for bounded
strings: equality composes. This allows us to remove default values in
super strings.
* a-strsup.ads, a-stwisu.ads, a-stzsup.ads: Update comments.
* exp_ch3.adb (Expand_Freeze_Record_Type): Comment.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@185066 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/a-strsup.ads
gcc/ada/a-stwisu.ads
gcc/ada/a-stzsup.ads
gcc/ada/exp_ch3.adb
gcc/ada/exp_ch4.adb
gcc/ada/rtsfind.ads
gcc/ada/sem_util.adb
gcc/ada/sem_util.ads