diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-04-17 13:17:12 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-04-17 13:17:12 +0000 |
| commit | d9fac90e4c0c93a307fd49bf5c7aaec335850f48 (patch) | |
| tree | 7e8338d0948f7ff0611cbd9b15ddfcc3aff692b0 /libjava/classpath/java | |
| parent | 3b7bbf08492b561f49bc9617598dd50a72199539 (diff) | |
| download | ppe42-gcc-d9fac90e4c0c93a307fd49bf5c7aaec335850f48.tar.gz ppe42-gcc-d9fac90e4c0c93a307fd49bf5c7aaec335850f48.zip | |
2009-04-17 Ed Schonberg <schonberg@adacore.com>
* einfo.ads, einfo.adb: New attribute Underlying_Record_View, to handle
type extensions whose parent is a type with unknown discriminants.
* exp_aggr.adb (Expand_Record_Aggregate): If the type of an extension
aggregate has unknown discriminants, use the Underlying_Record_View to
obtain the discriminants of the ancestor part.
* exp_disp.adb (Build_Dispatch_Tables): Types that are
Underlying_Record_Views share the dispatching information of the
original record extension.
* exp_ch3.adb (Expand_Record_Extension): If the type inherits unknown
discriminants, propagate dispach table information to the
Underlying_Record_View.
* sem_ch3.adb (Build_Derived_Private_Type): If parent type has unknown
discriminants and declaration is not a completion, generate
Underlying_Record_View to provide proper discriminant information to
the front-end and to gigi.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146264 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libjava/classpath/java')
0 files changed, 0 insertions, 0 deletions
