git.ipfire.org Git - thirdparty/gcc.git/commit

]> git.ipfire.org Git - thirdparty/gcc.git/commit

projects / thirdparty / gcc.git / commit

author	Piotr Trojanek <trojanek@adacore.com>
	Wed, 18 Sep 2019 08:32:33 +0000 (08:32 +0000)
committer	Pierre-Marie de Rodat <pmderodat@gcc.gnu.org>
	Wed, 18 Sep 2019 08:32:33 +0000 (08:32 +0000)
commit	432a3b3644f52822cb61da7f529edf35b4390dd8
tree	8d8de94b0728c5b4ee7f38bfcc0170cdbb75454a	tree \| snapshot
parent	d05586dce2ea2ac3bc6f645b7ad79290b327ccae	commit \| 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 \| blame \| history
gcc/ada/exp_dbug.adb		diff \| blob \| blame \| history
gcc/ada/exp_dbug.ads		diff \| blob \| blame \| history
gcc/ada/sem_util.adb		diff \| blob \| blame \| history

Mirror of https://gcc.gnu.org/git/gcc.git

RSS Atom