projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 74580e1) | patch
[Ada] Fix target configuration file used for CodePeer/SPARK for new ints
authorYannick Moy <moy@adacore.com>
Fri, 7 Aug 2020 10:20:12 +0000 (12:20 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 21 Oct 2020 07:22:48 +0000 (03:22 -0400)
commitbdf5a983859d00db4be03b27df54c19b33dc6a28
treee8e1b8f29654a1f82b92284f938e5bf7188667edtree
parent74580e1b05a04184bd23ad115f10d09428535182commit | diff
[Ada] Fix target configuration file used for CodePeer/SPARK for new ints

gcc/ada/

* ada_get_targ.adb (Width_From_Size): Add case for 128 bits.
Reorder declarations in the same order as get_targ.adb to
facilitate diffs.
gcc/ada/ada_get_targ.adb diff | blob | history