projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8f366ea) | patch
[Ada] Cleanup defensive guards for Null_Exclusion_Present
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 24 Jun 2020 08:25:23 +0000 (10:25 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 15 Oct 2020 09:39:12 +0000 (05:39 -0400)
commita0a294d3eb78eac2932756a6de8372a8de947567
tree4d80fb32cb1ec7244ec9ed59af9c49f0d4e81288tree
parent8f366ea4dbe44407ad3f6af2a4a23c9fb007aea3commit | diff
[Ada] Cleanup defensive guards for Null_Exclusion_Present

gcc/ada/

* sem_ch3.adb (Process_Subtype): Combine guards for
Null_Exclusion_Present in May_Have_Null_Exclusion; use this
combined guard when checking AI-231.
gcc/ada/sem_ch3.adb diff | blob | history