r267012 - in /trunk/gcc: ada/ChangeLog ada/chec...

[pmderodat@gcc.gnu.org]

Author: pmderodat
Date: Tue Dec 11 11:12:11 2018
New Revision: 267012

URL: https://gcc.gnu.org/viewcvs?rev=267012&root=gcc&view=rev
Log:
[Ada] Volatility, validity checks, and System.Aux_DEC

This patch updates validity checks to prevent the validation of an
by-reference formal parameter because the parameter is not being read in
the process.

2018-12-11  Hristian Kirtchev  <kirtchev@adacore.com>

gcc/ada/

	* checks.adb: Add with and use clauses for Sem_Mech.
	(Ensure_Valid): Update the "annoying special case" to include
	entry and function calls. Use Get_Called_Entity to obtain the
	entry or subprogram being invoked, rather than retrieving it
	manually. Parameters passed by reference do not need a validity
	check.

gcc/testsuite/

	* gnat.dg/valid4.adb, gnat.dg/valid4_pkg.adb,
	gnat.dg/valid4_pkg.ads: New testcase.

Added:
    trunk/gcc/testsuite/gnat.dg/valid4.adb
    trunk/gcc/testsuite/gnat.dg/valid4_pkg.adb
    trunk/gcc/testsuite/gnat.dg/valid4_pkg.ads
Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/checks.adb
    trunk/gcc/testsuite/ChangeLog