[Ada] Minor tweak to -gnatR output
authorEric Botcazou <ebotcazou@adacore.com>
Tue, 23 Jul 2019 08:13:21 +0000 (08:13 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Tue, 23 Jul 2019 08:13:21 +0000 (08:13 +0000)
commitf9534f4bd63c9f4be7816f0f9bd8a5feeded5821
tree1ab1609054c47242f22390ce0dc993f5d614854a
parentc910db716273c381b4e2f36f3d04c6e480876b63
[Ada] Minor tweak to -gnatR output

This makes sure that the numbers present in the -gnatR output are
printed in decimal format in all cases, since the hexadecimal format is
not compatible with the JSON syntax.

2019-07-23  Eric Botcazou  <ebotcazou@adacore.com>

gcc/ada/

* repinfo.adb (List_Component_Layout): Pass Decimal to UI_Write.
(Write_Val): Likewise.

From-SVN: r273723
gcc/ada/ChangeLog
gcc/ada/repinfo.adb