sem_type.adb (Covers): Verify that Corresponding_Record_Type is present before checki...
authorEd Schonberg <schonberg@adacore.com>
Mon, 4 Jul 2005 13:30:21 +0000 (15:30 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 4 Jul 2005 13:30:21 +0000 (15:30 +0200)
commit21ff92b4e3c0e302181754b240c3246cfda4aead
tree303b7bd83bcd4c0a838d0d89eace8c7735221197
parent16397eff06ff427844ae00e28a448a2694cbec65
sem_type.adb (Covers): Verify that Corresponding_Record_Type is present before checking whether an...

2005-07-04  Ed Schonberg  <schonberg@adacore.com>

* sem_type.adb (Covers): Verify that Corresponding_Record_Type is
present before checking whether an interface type covers a synchronized
type.

From-SVN: r101591
gcc/ada/sem_type.adb