projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 38e5d9c) | patch
[Ada] Refine type from Nat to Pos in Make_Index
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 22 Jun 2020 11:17:44 +0000 (13:17 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 15 Oct 2020 09:39:08 +0000 (05:39 -0400)
commitfd11c7e6210fb05897d21f4b71c6ac457ac7515a
tree20b160dba30a5bb66859bbfd678d7a3060262ff0tree | snapshot
parent38e5d9c57fdbb101014e6e55843e2714c3d2cd49commit | diff
[Ada] Refine type from Nat to Pos in Make_Index

gcc/ada/

* sem_ch3.ads, sem_ch3.adb (Make_Index): Refined type of
parameter.
(Constrain_Index): Likewise.
(Array_Type_Declaration): Refine type of a local counter
variable; remove a trivially useless initialization.
gcc/ada/sem_ch3.adb diff | blob | history
gcc/ada/sem_ch3.ads diff | blob | history
Domain: System / Toolchain;