[Ada] Record components do not appear in the Global contract
commitcacf87ce6c6f7c35c9e10ce635076481912ba092
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 14 Nov 2018 11:40:35 +0000 (14 11:40 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Wed, 14 Nov 2018 11:40:35 +0000 (14 11:40 +0000)
treee95e91c980989582ffe4b1b85dacf136ce8cd188
parentcff7b62c05a411a7dfb3af5e8feb63090c00df4a
[Ada] Record components do not appear in the Global contract

In the Global contract there can be only entire objects, which are
represented either as N_Identifier or N_Expanded_Name. The test for
record components was dead. Now removed. Semantics unaffected.

2018-11-14  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

* sem_util.adb (First_From_Global_List): Do not expect
N_Selected_Component in the Global contract; simplify assertion
with Nam_In.

From-SVN: r266113
gcc/ada/ChangeLog
gcc/ada/sem_util.adb