projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c0ffadd) | patch
[Ada] Remove excessive validity checks on in-parameters
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 18 May 2020 19:41:12 +0000 (21:41 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 8 Jul 2020 14:55:50 +0000 (10:55 -0400)
commit5fae483372b3e4da5b5e00b0ccf9557335e9e421
tree836d6c2beceb09a674e211016aa36a4fc34c798ftree
parentc0ffadd6eabef9a81d00c1f926aac929b0d94d92commit | diff
[Ada] Remove excessive validity checks on in-parameters

gcc/ada/

* sem_util.ads, sem_util.adb (Safe_To_Capture_Value): Return
True for in-parameters.
gcc/ada/sem_util.adb diff | blob | history
gcc/ada/sem_util.ads diff | blob | history