projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d05586d) | patch
[Ada] Refine type of Get_Homonym_Number result
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 18 Sep 2019 08:32:33 +0000 (08:32 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Wed, 18 Sep 2019 08:32:33 +0000 (08:32 +0000)
commit432a3b3644f52822cb61da7f529edf35b4390dd8
tree8d8de94b0728c5b4ee7f38bfcc0170cdbb75454atree
parentd05586dce2ea2ac3bc6f645b7ad79290b327ccaecommit | diff
[Ada] Refine type of Get_Homonym_Number result

Routine Get_Homonym_Number always returns a positive number. This is
explained in its comment and is evident from its body. No test attached,
because semantics is unaffected.

2019-09-18  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

* exp_dbug.ads, exp_dbug.adb (Get_Homonym_Number): Refine type
from Nat to Pos.
* sem_util.adb (Add_Homonym_Suffix): Refine type of a local
variable.

From-SVN: r275851
gcc/ada/ChangeLog diff | blob | history
gcc/ada/exp_dbug.adb diff | blob | history
gcc/ada/exp_dbug.ads diff | blob | history
gcc/ada/sem_util.adb diff | blob | history