diff options
| author | Yannick Moy <moy@adacore.com> | 2020-08-07 12:20:12 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-21 03:22:48 -0400 |
| commit | bdf5a983859d00db4be03b27df54c19b33dc6a28 (patch) | |
| tree | e8e1b8f29654a1f82b92284f938e5bf7188667ed /gcc/tree-vrp.c | |
| parent | 74580e1b05a04184bd23ad115f10d09428535182 (diff) | |
| download | gcc-bdf5a983859d00db4be03b27df54c19b33dc6a28.zip gcc-bdf5a983859d00db4be03b27df54c19b33dc6a28.tar.gz gcc-bdf5a983859d00db4be03b27df54c19b33dc6a28.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/tree-vrp.c')
0 files changed, 0 insertions, 0 deletions