projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a0546e1) | patch
[Ada] Create explicit ghost mirror unit for big integers
authorYannick Moy <moy@adacore.com>
Tue, 2 Nov 2021 14:43:42 +0000 (15:43 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 10 Nov 2021 08:57:39 +0000 (08:57 +0000)
commit94396a27bcfbdcb156586688de9a5a2e1bee2d4a
treef405942d36ae05264fdcfff033642673bd62d997tree | snapshot
parenta0546e1a169954bb412debeab777f9108950bc8dcommit | diff
[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.
gcc/ada/Makefile.rtl diff | blob | history
gcc/ada/libgnat/a-nbnbig.adb [moved from gcc/ada/libgnat/a-nbnbin__ghost.adb with 90% similarity] diff | blob | history
gcc/ada/libgnat/a-nbnbig.ads [moved from gcc/ada/libgnat/a-nbnbin__ghost.ads with 88% similarity] diff | blob | history
gcc/ada/libgnat/s-widthu.adb diff | blob | history
gcc/ada/sem_aux.adb diff | blob | history
Domain: System / Toolchain;