[Ada] Record components do not appear in the Global contract

Pierre-Marie de Rodat derodat@adacore.com
Wed Nov 14 11:43:00 GMT 2018


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.

Tested on x86_64-pc-linux-gnu, committed on trunk

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.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: patch.diff
Type: text/x-diff
Size: 1129 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20181114/9d7a206d/attachment.bin>


More information about the Gcc-patches mailing list