projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1d1e5e2) | patch
[Ada] Bring defensive guard for Null_Exclusion_Present up to date
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 24 Jun 2020 07:57:53 +0000 (09:57 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 15 Oct 2020 09:39:12 +0000 (05:39 -0400)
commit8f366ea4dbe44407ad3f6af2a4a23c9fb007aea3
treed8b257d31bc22281a37cd9632ebf69ecff758baftree
parent1d1e5e2e2cd122e4836f05072dbe430a451870fdcommit | diff
[Ada] Bring defensive guard for Null_Exclusion_Present up to date

gcc/ada/

* sem_ch3.adb (Process_Subtype): Sync May_Have_Null_Exclusion
with assertion in Null_Exclusion_Present; clarify the scope of
local variables.
gcc/ada/sem_ch3.adb diff | blob | history