tree e3f703a0ecfaf3f6139a4704698b7addc6ec8297
parent 2176c4d01486331c9be066a95ee2e54a2db81d57
author pmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4> 1544526731 +0000
committer pmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4> 1544526731 +0000

[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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@267012 138bc75d-0d04-0410-961f-82ee72b054a4