diff options
| author | Yannick Moy <moy@adacore.com> | 2022-02-10 10:31:05 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-12 12:38:38 +0000 |
| commit | bbb4320baea245dc5abab35aba7d6225bc9f70fe (patch) | |
| tree | ff6f2d5506578f996900b7a6a4bbc683b0001ef5 /gcc/ada/gcc-interface/trans.cc | |
| parent | 6655b152ebbf97e66888dc003414f6bb62a7edab (diff) | |
| download | gcc-bbb4320baea245dc5abab35aba7d6225bc9f70fe.zip gcc-bbb4320baea245dc5abab35aba7d6225bc9f70fe.tar.gz gcc-bbb4320baea245dc5abab35aba7d6225bc9f70fe.tar.bz2 | |
[Ada] Remove use of use-clauses in loaded runtime units
The spec of runtime units that may be loaded by the compiler should not
contain use-clauses, for visibility to be correctly handled. Remove
use-clauses that were introduced for the ghost big integers unit as part
of the proof of runtime units.
gcc/ada/
* libgnat/s-aridou.ads: Remove use-clause, add renames and
subtypes.
* libgnat/s-exponn.ads: Same.
* libgnat/s-expont.ads: Same.
* libgnat/s-widthu.ads: Same.
Diffstat (limited to 'gcc/ada/gcc-interface/trans.cc')
0 files changed, 0 insertions, 0 deletions