[Ada] Refine type of a counter-like variable
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 18 Mar 2020 23:04:43 +0000 (00:04 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 11 Jun 2020 09:53:53 +0000 (05:53 -0400)
commit5c4adf10c5637284e63fffce8a7ac4ee6afbce29
treea3077934effa4436cc5db1271bed5cc7df2964e8
parentcbbe41d1f7b87e4f1889d0412ee46517bb7d5674
[Ada] Refine type of a counter-like variable

2020-06-11  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

* sem_aggr.adb (Resolve_Record_Aggregate): Refine type of
Others_Box.
gcc/ada/sem_aggr.adb