[Ada] Enable the support of 128-bit integer types by default
authorEric Botcazou <ebotcazou@adacore.com>
Fri, 21 Aug 2020 09:22:52 +0000 (11:22 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 22 Oct 2020 12:11:28 +0000 (08:11 -0400)
commitdfb7345cd54e90b4f5cc0234bd37ec2763602180
tree3faebb287f7e9b8efdc10f30d18fb4e23ecefd7a
parentb2dea70e920c5dab3118f362f693d4c0e6d9af87
[Ada] Enable the support of 128-bit integer types by default

gcc/ada/

* Makefile.rtl (GNATRTL_128BIT_PAIRS): Add i-cexten.ads.
* debug.adb (d.H): Document new usage.
* doc/gnat_rm/representation_clauses_and_pragmas.rst (Size Clauses):
Document new limit on 64-bit platforms.
(Component_Size Clauses): Likewise.
(Pragma Pack for Arrays): Likewise.
(Pragma Pack for Records): Likewise.
(Record Representation Clauses): Likewise.
* gnat_rm.texi: Regenerate.
* gnat1drv.adb (Adjust_Global_Switches): Rewrite code enabling or
disabling the support for 128-bit integer types.
* switch-c.adb (Scan_Front_End_Switches): Do not deal with e128.
* usage.adb (Write_Switch_Char): Do not print -gnate128 switch.
* libgnat/i-cexten__128.ads: New file.

gcc/testsuite/

* ada/acats/run_all.sh: Define and substitute target_{max,min}_int.
* ada/acats/support/macro.dfs: Parameterize {MAX,MIN}_INT.
* gnat.dg/assert1.adb: Adjust conditionally to 128-bit integer types.
* gnat.dg/size_clause1.adb: Do not expect a warning for LP64 targets.
* gnat.dg/warn11.adb: Likewise.
* gnat.dg/specs/rep_clause5.ads (Array_2_Type): Add alignment clause.
14 files changed:
gcc/ada/Makefile.rtl
gcc/ada/debug.adb
gcc/ada/doc/gnat_rm/representation_clauses_and_pragmas.rst
gcc/ada/gnat1drv.adb
gcc/ada/gnat_rm.texi
gcc/ada/libgnat/i-cexten__128.ads [new file with mode: 0644]
gcc/ada/switch-c.adb
gcc/ada/usage.adb
gcc/testsuite/ada/acats/run_all.sh
gcc/testsuite/ada/acats/support/macro.dfs
gcc/testsuite/gnat.dg/assert1.adb
gcc/testsuite/gnat.dg/size_clause1.adb
gcc/testsuite/gnat.dg/specs/rep_clause5.ads
gcc/testsuite/gnat.dg/warn11.adb