r263093 - in /trunk/gcc/ada: ChangeLog exp_aggr...

[pmderodat@gcc.gnu.org]

Author: pmderodat
Date: Tue Jul 31 09:55:37 2018
New Revision: 263093

URL: https://gcc.gnu.org/viewcvs?rev=263093&root=gcc&view=rev
Log:
[Ada] Replace low-level calls to Ekind with high-level calls to Is_Formal

High-level wrappers are easier to read. This change came up while reading
some code related to GNATprove, but then uniformly applied to the entire
frontend. For the few remaining membership tests that could be replaced
by Is_Formal it is not obvious whether the high-level routine makes the
code better.

2018-07-31  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

	* exp_aggr.adb, exp_ch4.adb, exp_ch6.adb, lib-xref.adb,
	repinfo.adb, sem_ch9.adb: Minor replace Ekind membership tests
	with a wrapper routine.

Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/exp_aggr.adb
    trunk/gcc/ada/exp_ch4.adb
    trunk/gcc/ada/exp_ch6.adb
    trunk/gcc/ada/lib-xref.adb
    trunk/gcc/ada/repinfo.adb
    trunk/gcc/ada/sem_ch9.adb