diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2018-12-11 11:12:11 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-12-11 11:12:11 +0000 |
| commit | 155f4f34d1f2e1d6ea4e82104f57be3d6eab78b2 (patch) | |
| tree | e3f703a0ecfaf3f6139a4704698b7addc6ec8297 /gcc/tree-loop-distribution.c | |
| parent | 4a60c9a20c1581dd0cfd2277ef92cbe7825bf7a4 (diff) | |
| download | gcc-155f4f34d1f2e1d6ea4e82104f57be3d6eab78b2.zip gcc-155f4f34d1f2e1d6ea4e82104f57be3d6eab78b2.tar.gz gcc-155f4f34d1f2e1d6ea4e82104f57be3d6eab78b2.tar.bz2 | |
[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.
From-SVN: r267012
Diffstat (limited to 'gcc/tree-loop-distribution.c')
0 files changed, 0 insertions, 0 deletions