sem_ch5.adb (Analyze_Assignment): Reject a right-hand side that is a tag-indeterminat...
authorEd Schonberg <schonberg@adacore.com>
Fri, 6 Apr 2007 09:26:37 +0000 (11:26 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 6 Apr 2007 09:26:37 +0000 (11:26 +0200)
commitb6a1a16fbda2a0dbcf8095ff57b692f01449fceb
treee68a992d16170470590ecdf2f793dd94256a4d44
parentaab883ecd1e8d05346815ae041e7c9c9e1cb7431
sem_ch5.adb (Analyze_Assignment): Reject a right-hand side that is a tag-indeterminate call to an abstract...

2007-04-06  Ed Schonberg  <schonberg@adacore.com>
    Robert Dewar  <dewar@adacore.com>

* sem_ch5.adb (Analyze_Assignment): Reject a right-hand side that is a
tag-indeterminate call to an abstract function, when the left-hand side
is not classwide.
(Analyze_Loop_Statement): Improve detection of infinite loops

From-SVN: r123595
gcc/ada/sem_ch5.adb