[Bug ada/115630] Bounded queue does not finalize controlled components

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115630 --- Comment #3 from Saulius Gražulis --- PS All other queues also behave as expected when compiled with GNAT 15.0.

[Bug ada/115630] Bounded queue does not finalize controlled components

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115630 --- Comment #2 from Saulius Gražulis --- OK, I can confirm that GNAT 15.0 from the git://gcc.gnu.org/git/gcc.git master no longer gas the bug, the finalization behaves as expected: saulius@pterodaktilis queue-finlisation/ $ PATH=$HOME/install/g

[Bug ada/115666] Cloaking access to subprogram in a record allows storing anonymous access-to-subprogram value

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115666 --- Comment #6 from Saulius Gražulis --- On 2024-06-27 13:58, ebotcazou at gcc dot gnu.org wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115666 > > --- Comment #5 from Eric Botcazou --- > I probably should have said "but nobody should

[Bug ada/115666] Cloaking access to subprogram in a record allows storing anonymous access-to-subprogram value

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115666 --- Comment #4 from Saulius Gražulis --- Hi, Eric, thank you for updating the bug #115666 status! I am bit puzzled by your comment "nobody should write this sort of things". Could you please let me know in somewhat more detail what was wrong

[Bug ada/115666] Cloaking access to subprogram in a record allows storing anonymous access-to-subprogram value

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115666 --- Comment #3 from Saulius Gražulis --- Hi, Eric, thank you for updating the bug #115666 status! I am bit puzzled by your comment "nobody should write this sort of things". Could you please let me know in somewhat more detail what was wrong

[Bug ada/115666] Cloaking access to subprogram in a record allows storing anonymous access-to-subprogram value

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115666 --- Comment #1 from Saulius Gražulis --- Correction: the bug mentioned is https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84198 (not the bug #84194).

[Bug ada/115666] New: Cloaking access to subprogram in a record allows storing anonymous access-to-subprogram value

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115666 Bug ID: 115666 Summary: Cloaking access to subprogram in a record allows storing anonymous access-to-subprogram value Product: gcc Version: 15.0 Status: UNCONFIRMED

[Bug ada/115630] New: Bounded queue does not finalize controlled components

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115630 Bug ID: 115630 Summary: Bounded queue does not finalize controlled components Product: gcc Version: 13.2.0 Status: UNCONFIRMED Severity: normal Priority: P3 Com

[Bug ada/113037] New: GNAT BUG DETECTED when instantiating generic package with Type_Invariant on a type derived from a generic type

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113037 Bug ID: 113037 Summary: GNAT BUG DETECTED when instantiating generic package with Type_Invariant on a type derived from a generic type Product: gcc Version: 14.0

[Bug ada/113036] New: GNAT BUG DETECTED ICE box triggered by a default value that is a nested iterated aggregate

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113036 Bug ID: 113036 Summary: GNAT BUG DETECTED ICE box triggered by a default value that is a nested iterated aggregate Product: gcc Version: 14.0 Status: UNCONFIRMED