projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cff44c1) | patch
sem_ch6.adb (Analyze_Expression_Function): Call Check_Dynamically_Tagged_Expression.
authorBob Duff <duff@adacore.com>
Tue, 12 Sep 2017 09:09:30 +0000 (09:09 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 12 Sep 2017 09:09:30 +0000 (11:09 +0200)
commit7f9fcce8343219550bb754890c178f34ccdddce7
tree16fc648ca8701a41f896159dee007f0dc42f6436tree
parentcff44c10ae1f4d3dc73abed85dfa785b70a553e1commit | diff
sem_ch6.adb (Analyze_Expression_Function): Call Check_Dynamically_Tagged_Expression.

2017-09-12  Bob Duff  <duff@adacore.com>

* sem_ch6.adb (Analyze_Expression_Function): Call
Check_Dynamically_Tagged_Expression.
* sem_util.adb (Check_Dynamically_Tagged_Expression): Remove
"and then Is_Tagged_Type (Typ)" because there is an earlier
"Assert (Is_Tagged_Type (Typ))".

From-SVN: r251999
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_ch6.adb diff | blob | history
gcc/ada/sem_util.adb diff | blob | history