diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2026-02-09 00:55:45 +0100 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@adacore.com> | 2026-02-09 00:58:58 +0100 |
| commit | 3350e383b057fb7816f0f51ed6c3d36b7ca690d0 (patch) | |
| tree | 135e81812083d2c5c0887f87bd5067acab37992f /libjava/gnu/java/net | |
| parent | 313ac5c049d6aacf1671f4409a7d4cd25eeee651 (diff) | |
| download | gcc-3350e383b057fb7816f0f51ed6c3d36b7ca690d0.zip gcc-3350e383b057fb7816f0f51ed6c3d36b7ca690d0.tar.gz gcc-3350e383b057fb7816f0f51ed6c3d36b7ca690d0.tar.bz2 | |
Ada: Fix bogus "potentially unsynchronized barrier" warning
This is a regression present on the mainline and 15 branch: the compiler
gives a bogus "potentially unsynchronized barrier" when the condition of
an entry barrier requires the creation of a controlled temporary, because
it comes with a transient scope that fools the test on scopes done in the
Is_Global_Entity procedure.
gcc/ada/
PR ada/124025
* exp_ch9.adb (Expand_Entry_Barrier.Is_Global_Entity): Use
Scope_Within_Or_Same to test whether the object is local.
gcc/testsuite/
* gnat.dg/protected_type1.adb: New test.
Co-authored-by: Liam Powell <liam@liampwll.com>
Diffstat (limited to 'libjava/gnu/java/net')
0 files changed, 0 insertions, 0 deletions