diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2024-03-30 23:12:51 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2024-05-20 09:47:06 +0200 |
| commit | 49eb34ea61c6e8fbb10d3a36484cbf5468580fba (patch) | |
| tree | 117525431d5610ceb9de71d055bbe4cc834c2c91 /gcc/tree-ssa-phiopt.cc | |
| parent | bfa743ddc9fd1850a7cc282afe5f3101b544ac64 (diff) | |
| download | gcc-49eb34ea61c6e8fbb10d3a36484cbf5468580fba.zip gcc-49eb34ea61c6e8fbb10d3a36484cbf5468580fba.tar.gz gcc-49eb34ea61c6e8fbb10d3a36484cbf5468580fba.tar.bz2 | |
ada: Add direct workaround for limitations of RTSfind mechanism
This adds a direct workaround for the spurious compilation errors caused by
the presence of preconditions/postconditions in the Interfaces.C unit, which
trip on limitations of the RTSfind mechanism when it comes to visibility, as
well as removes an indirect workaround that was added very recently.
These errors were first triggered in the context of finalization and worked
around by preloading the System.Finalization_Primitives unit. Now they also
appear in the context of tasking, and it turns out that the preloading trick
does not work for separate compilation units.
gcc/ada/
* exp_ch7.ads (Preload_Finalization_Collection): Delete.
* exp_ch7.adb (Allows_Finalization_Collection): Revert change.
(Preload_Finalization_Collection): Delete.
* opt.ads (Interface_Seen): Likewise.
* scng.adb (Scan): Revert latest change.
* sem_ch10.adb: Remove clause for Exp_Ch7.
(Analyze_Compilation_Unit): Revert latest change.
* libgnat/i-c.ads: Use a fully qualified name for the standard "+"
operator in the preconditons/postconditions of subprograms.
Diffstat (limited to 'gcc/tree-ssa-phiopt.cc')
0 files changed, 0 insertions, 0 deletions