sem_ch6.adb (Analyze_Subprogram_Body): Remove spurious check on operations that have...
authorEd Schonberg <schonberg@adacore.com>
Wed, 26 Mar 2008 07:42:14 +0000 (08:42 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 26 Mar 2008 07:42:14 +0000 (08:42 +0100)
commit76a696635de4e697b0c69393d78b71d0aba8d0c2
treede0b45c6dbff9307a0ee153681df071f529aff2e
parentd9f86c0c6cab087228394773d7b528c63e0a9969
sem_ch6.adb (Analyze_Subprogram_Body): Remove spurious check on operations that have an interface parameter.

2008-03-26  Ed Schonberg  <schonberg@adacore.com>

* sem_ch6.adb (Analyze_Subprogram_Body): Remove spurious check on
operations that have an interface parameter.
(Analyze_Subprogram_Body): Set Is_Trivial_Subprogram flag
Don't treat No_Return call as raise.

* sem_disp.adb (Check_Dispatching_Operations): apply check for
non-primitive interface primitives to access parameters, not to all
parameters of an access type.

From-SVN: r133577
gcc/ada/sem_ch6.adb
gcc/ada/sem_disp.adb