diff options
| author | Yannick Moy <moy@adacore.com> | 2021-11-02 15:43:42 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-11-10 08:57:39 +0000 |
| commit | 94396a27bcfbdcb156586688de9a5a2e1bee2d4a (patch) | |
| tree | f405942d36ae05264fdcfff033642673bd62d997 /gcc/ada/libgnat/s-widthu.adb | |
| parent | a0546e1a169954bb412debeab777f9108950bc8d (diff) | |
| download | gcc-94396a27bcfbdcb156586688de9a5a2e1bee2d4a.zip gcc-94396a27bcfbdcb156586688de9a5a2e1bee2d4a.tar.gz gcc-94396a27bcfbdcb156586688de9a5a2e1bee2d4a.tar.bz2 | |
[Ada] Create explicit ghost mirror unit for big integers
gcc/ada/
* Makefile.rtl: Add unit.
* libgnat/a-nbnbin__ghost.adb: Move...
* libgnat/a-nbnbig.adb: ... here. Mark ghost as ignored.
* libgnat/a-nbnbin__ghost.ads: Move...
* libgnat/a-nbnbig.ads: ... here. Add comment for purpose of
this unit. Mark ghost as ignored.
* libgnat/s-widthu.adb: Use new unit.
* sem_aux.adb (First_Subtype): Adapt to the case of a ghost type
whose freeze node is rewritten to a null statement.
Diffstat (limited to 'gcc/ada/libgnat/s-widthu.adb')
| -rw-r--r-- | gcc/ada/libgnat/s-widthu.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/libgnat/s-widthu.adb b/gcc/ada/libgnat/s-widthu.adb index fce8c7a..79a0074 100644 --- a/gcc/ada/libgnat/s-widthu.adb +++ b/gcc/ada/libgnat/s-widthu.adb @@ -29,8 +29,8 @@ -- -- ------------------------------------------------------------------------------ -with Ada.Numerics.Big_Numbers.Big_Integers; -use Ada.Numerics.Big_Numbers.Big_Integers; +with Ada.Numerics.Big_Numbers.Big_Integers_Ghost; +use Ada.Numerics.Big_Numbers.Big_Integers_Ghost; function System.Width_U (Lo, Hi : Uns) return Natural is |