2005-07-04 Ed Schonberg <schonberg@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 4 Jul 2005 13:30:21 +0000 (13:30 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 4 Jul 2005 13:30:21 +0000 (13:30 +0000)
commit686cf3d12ca471400fcb33453161cfc18485086a
tree303b7bd83bcd4c0a838d0d89eace8c7735221197
parenteea3893f7f0e7446e0510c687c2d7b231e42a6da
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101591 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/sem_type.adb