projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 476a8ec) | patch
[Ada] Cleanup related to itypes for unconstrained object declaration
authorPiotr Trojanek <trojanek@adacore.com>
Thu, 25 Jun 2020 13:42:23 +0000 (15:42 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 16 Oct 2020 07:31:20 +0000 (03:31 -0400)
commit2c061483126ebd8e3afdb784f150fa16c677ba14
tree11f31ce957ee6f292758d49ebd77f41483b15ca2tree
parent476a8ec4d8ecf3437dc3e78e7de2bd77d34fdbd5commit | diff
[Ada] Cleanup related to itypes for unconstrained object declaration

gcc/ada/

* sem_ch3.adb (Analyze_Object_Declaration): Limit scope of a
local object by hiding it from local subprograms; simplify
nested if-then-if-then condition for an Ada 83 restriction.
(Array_Type_Declaration): Confirm with assertion when the else
branch is executed.
(Find_Type_Of_Object): Simplify membership test with a subtype
range.
gcc/ada/sem_ch3.adb diff | blob | history