OSDN Git Service

2007-04-06 Ed Schonberg <schonberg@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 6 Apr 2007 09:26:37 +0000 (09:26 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 6 Apr 2007 09:26:37 +0000 (09:26 +0000)
commit0a4b46d1f7820d234cfb99c98c7f377657a3dc3f
treee68a992d16170470590ecdf2f793dd94256a4d44
parent4ad74d998e5007d31d9f89f600d81dc2243ffefb
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

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