projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 75c44bc) | patch
[Ada] Remove repeated testing of Check_Validity_Of_Parameters
authorPiotr Trojanek <trojanek@adacore.com>
Fri, 24 Apr 2020 15:36:24 +0000 (17:36 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 19 Jun 2020 08:17:08 +0000 (04:17 -0400)
commit5af0271f0e983311b99493519af9863b58109ee3
treeac0af046ac6f1c9e716a5769add8d7aea7031704tree
parent75c44bc6a04d032e7c4dbce8c8dd652fae7f4ff1commit | diff
[Ada] Remove repeated testing of Check_Validity_Of_Parameters

2020-06-19  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

* checks.adb (Apply_Parameter_Validity_Checks): Remove testing
of Check_Validity_Of_Parameters for every formal parameter and
function result.
gcc/ada/checks.adb diff | blob | history