* [Bug ada/115133] [15 regression] s-oslock__solaris.ads doesn't compile
2024-05-17 11:50 [Bug ada/115133] New: [15 regression] s-oslock__solaris.ads doesn't compile ro at gcc dot gnu.org
@ 2024-05-17 11:51 ` ro at gcc dot gnu.org
2024-05-17 12:17 ` ro at CeBiTec dot Uni-Bielefeld.DE
` (8 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: ro at gcc dot gnu.org @ 2024-05-17 11:51 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115133
Rainer Orth <ro at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |15.0
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug ada/115133] [15 regression] s-oslock__solaris.ads doesn't compile
2024-05-17 11:50 [Bug ada/115133] New: [15 regression] s-oslock__solaris.ads doesn't compile ro at gcc dot gnu.org
2024-05-17 11:51 ` [Bug ada/115133] " ro at gcc dot gnu.org
@ 2024-05-17 12:17 ` ro at CeBiTec dot Uni-Bielefeld.DE
2024-05-17 15:11 ` ebotcazou at gcc dot gnu.org
` (7 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: ro at CeBiTec dot Uni-Bielefeld.DE @ 2024-05-17 12:17 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115133
--- Comment #1 from ro at CeBiTec dot Uni-Bielefeld.DE <ro at CeBiTec dot Uni-Bielefeld.DE> ---
> until one runs into
>
> s-oslock.ads:83:03: (style) bad indentation [-gnaty0]
> make[6]: *** [../gcc-interface/Makefile:306: a-undesu.o] Error 1
>
> No idea what's wrong here, though.
There's a 2-space indentation instead of the expected 3 spaces. I had
to look several times to see it, though. Maybe the error could be
clearer?
After that, I run into
s-taprop.adb:1402:20: error: expected type "System.Os_Locks.RTS_Lock_Ptr"
s-taprop.adb:1402:20: error: found type "System.Task_Primitives.Lock_Ptr"
s-taprop.adb:1443:57: error: expected type "System.Task_Primitives.Lock_Ptr"
s-taprop.adb:1443:57: error: found type "System.Os_Locks.RTS_Lock_Ptr"
s-taprop.adb:1471:20: error: expected type "System.Os_Locks.RTS_Lock_Ptr"
s-taprop.adb:1471:20: error: found type "System.Task_Primitives.Lock_Ptr"
s-taprop.adb:1552:57: error: expected type "System.Task_Primitives.Lock_Ptr"
s-taprop.adb:1552:57: error: found type "System.Os_Locks.RTS_Lock_Ptr"
make[6]: *** [../gcc-interface/Makefile:306: s-taprop.o] Error 1
but am stuck.
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug ada/115133] [15 regression] s-oslock__solaris.ads doesn't compile
2024-05-17 11:50 [Bug ada/115133] New: [15 regression] s-oslock__solaris.ads doesn't compile ro at gcc dot gnu.org
2024-05-17 11:51 ` [Bug ada/115133] " ro at gcc dot gnu.org
2024-05-17 12:17 ` ro at CeBiTec dot Uni-Bielefeld.DE
@ 2024-05-17 15:11 ` ebotcazou at gcc dot gnu.org
2024-05-17 15:13 ` ebotcazou at gcc dot gnu.org
` (6 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: ebotcazou at gcc dot gnu.org @ 2024-05-17 15:11 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115133
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed| |2024-05-17
Ever confirmed|0 |1
Status|UNCONFIRMED |NEW
--- Comment #2 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
> There's a 2-space indentation instead of the expected 3 spaces. I had
> to look several times to see it, though. Maybe the error could be
> clearer?
Style error messages are the hardest to get right, so I won't even try. ;-)
> After that, I run into
>
> s-taprop.adb:1402:20: error: expected type "System.Os_Locks.RTS_Lock_Ptr"
> s-taprop.adb:1402:20: error: found type "System.Task_Primitives.Lock_Ptr"
> s-taprop.adb:1443:57: error: expected type "System.Task_Primitives.Lock_Ptr"
> s-taprop.adb:1443:57: error: found type "System.Os_Locks.RTS_Lock_Ptr"
> s-taprop.adb:1471:20: error: expected type "System.Os_Locks.RTS_Lock_Ptr"
> s-taprop.adb:1471:20: error: found type "System.Task_Primitives.Lock_Ptr"
> s-taprop.adb:1552:57: error: expected type "System.Task_Primitives.Lock_Ptr"
> s-taprop.adb:1552:57: error: found type "System.Os_Locks.RTS_Lock_Ptr"
> make[6]: *** [../gcc-interface/Makefile:306: s-taprop.o] Error 1
Sorry about the mess, tentative fix to be attached.
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug ada/115133] [15 regression] s-oslock__solaris.ads doesn't compile
2024-05-17 11:50 [Bug ada/115133] New: [15 regression] s-oslock__solaris.ads doesn't compile ro at gcc dot gnu.org
` (2 preceding siblings ...)
2024-05-17 15:11 ` ebotcazou at gcc dot gnu.org
@ 2024-05-17 15:13 ` ebotcazou at gcc dot gnu.org
2024-05-17 15:21 ` ebotcazou at gcc dot gnu.org
` (5 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: ebotcazou at gcc dot gnu.org @ 2024-05-17 15:13 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115133
--- Comment #3 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
Created attachment 58228
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=58228&action=edit
Tentative fix
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug ada/115133] [15 regression] s-oslock__solaris.ads doesn't compile
2024-05-17 11:50 [Bug ada/115133] New: [15 regression] s-oslock__solaris.ads doesn't compile ro at gcc dot gnu.org
` (3 preceding siblings ...)
2024-05-17 15:13 ` ebotcazou at gcc dot gnu.org
@ 2024-05-17 15:21 ` ebotcazou at gcc dot gnu.org
2024-05-17 15:52 ` ro at CeBiTec dot Uni-Bielefeld.DE
` (4 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: ebotcazou at gcc dot gnu.org @ 2024-05-17 15:21 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115133
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Attachment #58228|0 |1
is obsolete| |
--- Comment #4 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
Created attachment 58229
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=58229&action=edit
Tentative fix
The complete version of it.
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug ada/115133] [15 regression] s-oslock__solaris.ads doesn't compile
2024-05-17 11:50 [Bug ada/115133] New: [15 regression] s-oslock__solaris.ads doesn't compile ro at gcc dot gnu.org
` (4 preceding siblings ...)
2024-05-17 15:21 ` ebotcazou at gcc dot gnu.org
@ 2024-05-17 15:52 ` ro at CeBiTec dot Uni-Bielefeld.DE
2024-05-17 17:29 ` ebotcazou at gcc dot gnu.org
` (3 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: ro at CeBiTec dot Uni-Bielefeld.DE @ 2024-05-17 15:52 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115133
--- Comment #5 from ro at CeBiTec dot Uni-Bielefeld.DE <ro at CeBiTec dot Uni-Bielefeld.DE> ---
> --- Comment #4 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
> Created attachment 58229
> --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=58229&action=edit
> Tentative fix
>
> The complete version of it.
Thanks. There's one issue left:
s-tasini.adb:248:11: warning: default initialization of "Lock" may modify
overlaid storage [-gnatwo]
s-tasini.adb:248:11: warning: use pragma Import for "Lock" to suppress
initialization (RM B.1(24)) [-gnatwo]
s-tasini.adb:260:11: warning: default initialization of "Lock" may modify
overlaid storage [-gnatwo]
s-tasini.adb:260:11: warning: use pragma Import for "Lock" to suppress
initialization (RM B.1(24)) [-gnatwo]
s-tasini.adb:272:11: warning: default initialization of "Lock" may modify
overlaid storage [-gnatwo]
s-tasini.adb:272:11: warning: use pragma Import for "Lock" to suppress
initialization (RM B.1(24)) [-gnatwo]
s-tasini.adb:284:11: warning: default initialization of "Lock" may modify
overlaid storage [-gnatwo]
s-tasini.adb:284:11: warning: use pragma Import for "Lock" to suppress
initialization (RM B.1(24)) [-gnatwo]
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug ada/115133] [15 regression] s-oslock__solaris.ads doesn't compile
2024-05-17 11:50 [Bug ada/115133] New: [15 regression] s-oslock__solaris.ads doesn't compile ro at gcc dot gnu.org
` (5 preceding siblings ...)
2024-05-17 15:52 ` ro at CeBiTec dot Uni-Bielefeld.DE
@ 2024-05-17 17:29 ` ebotcazou at gcc dot gnu.org
2024-05-17 19:22 ` ro at CeBiTec dot Uni-Bielefeld.DE
` (2 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: ebotcazou at gcc dot gnu.org @ 2024-05-17 17:29 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115133
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Attachment #58229|0 |1
is obsolete| |
--- Comment #6 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
Created attachment 58230
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=58230&action=edit
Tentative fix
Hopefully the final version of it.
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug ada/115133] [15 regression] s-oslock__solaris.ads doesn't compile
2024-05-17 11:50 [Bug ada/115133] New: [15 regression] s-oslock__solaris.ads doesn't compile ro at gcc dot gnu.org
` (6 preceding siblings ...)
2024-05-17 17:29 ` ebotcazou at gcc dot gnu.org
@ 2024-05-17 19:22 ` ro at CeBiTec dot Uni-Bielefeld.DE
2024-05-17 22:25 ` cvs-commit at gcc dot gnu.org
2024-05-17 22:27 ` ebotcazou at gcc dot gnu.org
9 siblings, 0 replies; 11+ messages in thread
From: ro at CeBiTec dot Uni-Bielefeld.DE @ 2024-05-17 19:22 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115133
--- Comment #7 from ro at CeBiTec dot Uni-Bielefeld.DE <ro at CeBiTec dot Uni-Bielefeld.DE> ---
> --- Comment #6 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
> Created attachment 58230
> --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=58230&action=edit
> Tentative fix
>
> Hopefully the final version of it.
Yes, make all-target-libada completed just fine with this. Thanks!
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug ada/115133] [15 regression] s-oslock__solaris.ads doesn't compile
2024-05-17 11:50 [Bug ada/115133] New: [15 regression] s-oslock__solaris.ads doesn't compile ro at gcc dot gnu.org
` (7 preceding siblings ...)
2024-05-17 19:22 ` ro at CeBiTec dot Uni-Bielefeld.DE
@ 2024-05-17 22:25 ` cvs-commit at gcc dot gnu.org
2024-05-17 22:27 ` ebotcazou at gcc dot gnu.org
9 siblings, 0 replies; 11+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2024-05-17 22:25 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115133
--- Comment #8 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Eric Botcazou <ebotcazou@gcc.gnu.org>:
https://gcc.gnu.org/g:5812e1bbb1c8a7a90d995a0165cddae4d450d6cf
commit r15-641-g5812e1bbb1c8a7a90d995a0165cddae4d450d6cf
Author: Eric Botcazou <ebotcazou@adacore.com>
Date: Sat May 18 00:21:56 2024 +0200
Fix Ada runtime library breakage on Solaris
The recent changes made to the runtime library broke its build on Solaris
because it uses Solaris threads instead of POSIX threads on this platform.
gcc/ada/
PR ada/115133
* libgnarl/s-osinte__solaris.ads (mutex_t): Fix typo.
* libgnarl/s-taprop__solaris.adb (Record_Lock): Add conversion.
(Check_Sleep): Likewise.
(Record_Wakeup): Likewise.
(Check_Unlock): Likewise.
* libgnarl/s-tasini.adb (Initialize_RTS_Lock): Add pragma Import
on the overlaid variable.
(Finalize_RTS_Lock): Likewise.
(Acquire_RTS_Lock): Likewise.
(Release_RTS_Lock): Likewise.
* libgnarl/s-taspri__solaris.ads (To_RTS_Lock_Ptr): New instance
of Ada.Unchecked_Conversion.
* libgnat/s-oslock__solaris.ads: Add with clause for
Ada.Unchecked_Conversion.
(array_type_9): Add missing name qualification.
(record_type_3): Likewise.
(mutex_t): Fix formatting.
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug ada/115133] [15 regression] s-oslock__solaris.ads doesn't compile
2024-05-17 11:50 [Bug ada/115133] New: [15 regression] s-oslock__solaris.ads doesn't compile ro at gcc dot gnu.org
` (8 preceding siblings ...)
2024-05-17 22:25 ` cvs-commit at gcc dot gnu.org
@ 2024-05-17 22:27 ` ebotcazou at gcc dot gnu.org
9 siblings, 0 replies; 11+ messages in thread
From: ebotcazou at gcc dot gnu.org @ 2024-05-17 22:27 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115133
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution|--- |FIXED
--- Comment #9 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
Thanks for reporting the problem.
^ permalink raw reply [flat|nested] 11+ messages in thread