[gcc r15-10346] Ada: Fix internal error on use clause present in generic formal part

2025-09-22 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:84ac6f3503ec331f3524f9c5c44a8f4e37b1d081 commit r15-10346-g84ac6f3503ec331f3524f9c5c44a8f4e37b1d081 Author: Eric Botcazou Date: Mon Sep 22 11:08:34 2025 +0200 Ada: Fix internal error on use clause present in generic formal part This is a regression present on

[gcc r15-10314] ada: Spurious error on generalized prefix notation

2025-09-20 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:1d086cf8e7ee0d4d9995a2491f8f822a2ea1d6df commit r15-10314-g1d086cf8e7ee0d4d9995a2491f8f822a2ea1d6df Author: Javier Miranda Date: Thu Aug 7 09:42:15 2025 + ada: Spurious error on generalized prefix notation The compiler reports a spurious error when a prim

[gcc r15-10315] ada: Compiler crash on container aggregate association with nonstatic key choice

2025-09-20 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:b97c46eebe72992ec4cc21df36b272ad431b92ca commit r15-10315-gb97c46eebe72992ec4cc21df36b272ad431b92ca Author: Gary Dismukes Date: Thu Aug 21 18:48:12 2025 + ada: Compiler crash on container aggregate association with nonstatic key choice The compiler blows

[gcc r15-10329] ada: Fix crash on iterator of type with Constant_Indexing aspect

2025-09-20 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:6e1f5f7800194a2c9d66b7fb1736bfcb2edd8c8b commit r15-10329-g6e1f5f7800194a2c9d66b7fb1736bfcb2edd8c8b Author: Eric Botcazou Date: Fri Aug 29 09:24:33 2025 +0200 ada: Fix crash on iterator of type with Constant_Indexing aspect This happens when the type returned

[gcc r16-3670] Ada: Make -fdump-ada-spec deal with pointers to anonymous structure

2025-09-20 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:5ee35b12de830a4688e79ed7ab464f281a220d3d commit r16-3670-g5ee35b12de830a4688e79ed7ab464f281a220d3d Author: Eric Botcazou Date: Mon Sep 8 19:41:20 2025 +0200 Ada: Make -fdump-ada-spec deal with pointers to anonymous structure This is about -fdump-ada-spec not

[gcc r15-10312] ada: Typo fix in comment

2025-09-20 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:a635f97159adf135684c93d71e82c87ebc374768 commit r15-10312-ga635f97159adf135684c93d71e82c87ebc374768 Author: Marc Poulhiès Date: Fri Aug 1 16:46:10 2025 +0200 ada: Typo fix in comment gcc/ada/ChangeLog: * s-pack.adb.tmpl: Typo fix in comment.

[gcc r15-10309] ada: Compiler crash on container aggregate with constant element choice

2025-09-17 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:d64bfa3a7484b42b28fd5d02f45c65b7cc86b86f commit r15-10309-gd64bfa3a7484b42b28fd5d02f45c65b7cc86b86f Author: Gary Dismukes Date: Fri Jul 25 20:56:32 2025 + ada: Compiler crash on container aggregate with constant element choice The compiler fails when comp

[gcc r16-3928] Preserve TREE_THIS_NOTRAP during inlining in more cases

2025-09-17 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:d81e24bbb930e238305c42f1c1251947e1b35b6a commit r16-3928-gd81e24bbb930e238305c42f1c1251947e1b35b6a Author: Eric Botcazou Date: Wed Sep 17 11:31:17 2025 +0200 Preserve TREE_THIS_NOTRAP during inlining in more cases For parameters passed by reference, the Ada c

[gcc r16-3888] Ada: Fix GNAT build failure for x32 multilib

2025-09-15 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:e97969e20b39f33bc3644ae8a16bd5ef1e9ef2d3 commit r16-3888-ge97969e20b39f33bc3644ae8a16bd5ef1e9ef2d3 Author: Eric Botcazou Date: Mon Sep 15 23:02:52 2025 +0200 Ada: Fix GNAT build failure for x32 multilib gcc/ada PR ada/114065 PR ada/121

[gcc r15-10330] ada: Fix wrong finalization of aliased array of bounded vector

2025-09-15 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:3846068c8e43fac6720030d3a601cbfee3f277e7 commit r15-10330-g3846068c8e43fac6720030d3a601cbfee3f277e7 Author: Eric Botcazou Date: Wed Sep 3 09:17:39 2025 +0200 ada: Fix wrong finalization of aliased array of bounded vector The problem is that Apply_Discriminant

[gcc r15-10331] ada: Fix internal error on aspect in complex object declaration

2025-09-15 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:a04c1e9d55386632ec57fccbdc2e75122f310225 commit r15-10331-ga04c1e9d55386632ec57fccbdc2e75122f310225 Author: Eric Botcazou Date: Fri Aug 22 14:51:58 2025 +0200 ada: Fix internal error on aspect in complex object declaration The sufficient conditions are that t

[gcc r16-3833] Testsuite: Fix more spurious failure of ACATS-4 tests

2025-09-12 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:f6e00192cdff2c87e744c870c0e5d061ba5b7569 commit r16-3833-gf6e00192cdff2c87e744c870c0e5d061ba5b7569 Author: Eric Botcazou Date: Fri Sep 12 19:15:08 2025 +0200 Testsuite: Fix more spurious failure of ACATS-4 tests This tentatively applies the same tweak to twin

[gcc r16-3819] Minor tweaks to ipa-pure-const.cc

2025-09-12 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:1d866f3b1c2adbdfa96d01f0058c2c0e4a96f135 commit r16-3819-g1d866f3b1c2adbdfa96d01f0058c2c0e4a96f135 Author: Eric Botcazou Date: Fri Sep 12 11:30:22 2025 +0200 Minor tweaks to ipa-pure-const.cc gcc/ * ipa-pure-const.cc (check_stmt): Minor formatting

[gcc r15-10310] ada: Fix crash with global No_Tasking and async delays

2025-09-11 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:03054f929d921bdb6b0a5cfcefdb07a7011b2cfb commit r15-10310-g03054f929d921bdb6b0a5cfcefdb07a7011b2cfb Author: Denis Mazzucato Date: Tue Jul 8 13:00:08 2025 +0200 ada: Fix crash with global No_Tasking and async delays When optimizations are enabled, the runtime

[gcc r15-10307] ada: Minor typo fix in comment

2025-09-11 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:e2dfb4610831d1996913d451f89024e10aaa5056 commit r15-10307-ge2dfb4610831d1996913d451f89024e10aaa5056 Author: Marc Poulhiès Date: Thu Jul 17 15:00:25 2025 +0200 ada: Minor typo fix in comment gcc/ada/ChangeLog: * gcc-interface/trans.cc (gnat_to

[gcc r15-10311] ada: Reject pragma Attach_Handler on procedures in protected bodies

2025-09-11 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:59d8156ed8562fbdd5683b2d0120d1fed4fd7063 commit r15-10311-g59d8156ed8562fbdd5683b2d0120d1fed4fd7063 Author: Piotr Trojanek Date: Thu Jul 31 17:07:48 2025 +0200 ada: Reject pragma Attach_Handler on procedures in protected bodies Pragma Attach_Handler and Inter

[gcc r15-10313] ada: Create a pragma to emit a misplaced Storage_Size aspect error

2025-09-11 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:cb5abf3a78486e0ed0530505c629cdee4029d571 commit r15-10313-gcb5abf3a78486e0ed0530505c629cdee4029d571 Author: Viljar Indus Date: Tue Aug 5 12:04:18 2025 +0300 ada: Create a pragma to emit a misplaced Storage_Size aspect error We do not emit an error on misplace

[gcc r15-10308] ada: Avoid generating incorrect warning

2025-09-11 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:2cb64a5a3b49f37e278094405242a8eb0321b623 commit r15-10308-g2cb64a5a3b49f37e278094405242a8eb0321b623 Author: Steve Baird Date: Mon Jul 21 16:23:20 2025 -0700 ada: Avoid generating incorrect warning Do not generate a warning stating that the size of a formal pa

[gcc r16-3749] Fix -Wlto-type-mismatch warning during GNAT LTO build

2025-09-10 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:06628704c611b1a7f788e64b306338c653ad074d commit r16-3749-g06628704c611b1a7f788e64b306338c653ad074d Author: Eric Botcazou Date: Wed Sep 10 15:00:59 2025 +0200 Fix -Wlto-type-mismatch warning during GNAT LTO build The recent addition of Pragma_Unsigned_Base_Ran

[gcc r16-3669] Testsuite: Fix spurious of ACATS-4 test cxai033

2025-09-08 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:7640cc5ef80afae9b65afcca96e1eb2b9e513c21 commit r16-3669-g7640cc5ef80afae9b65afcca96e1eb2b9e513c21 Author: Eric Botcazou Date: Mon Sep 8 19:18:59 2025 +0200 Testsuite: Fix spurious of ACATS-4 test cxai033 This tentatively applies the same tweak as in other si

[gcc r15-10177] Ada: Fix miscompilation of GNAT tools with -march=znver3

2025-07-31 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:4cdf85859b8d19b91de8f2226fc0f0d79b3f2dbb commit r15-10177-g4cdf85859b8d19b91de8f2226fc0f0d79b3f2dbb Author: Eric Botcazou Date: Thu Jul 31 17:42:36 2025 +0200 Ada: Fix miscompilation of GNAT tools with -march=znver3 The throw and catch sides of the Ada except

[gcc r16-2689] Ada: Fix miscompilation of GNAT tools with -march=znver3

2025-07-31 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:0cd52ca158ae74cffd55c480888019990a6bed3f commit r16-2689-g0cd52ca158ae74cffd55c480888019990a6bed3f Author: Eric Botcazou Date: Thu Jul 31 17:38:50 2025 +0200 Ada: Fix miscompilation of GNAT tools with -march=znver3 The throw and catch sides of the Ada excepti

[gcc r15-10066] ada: Bug in Indefinite_Holders instance passed to formal package

2025-07-25 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:2fb7db82783c51009d57deffd405ef501ef9aa9a commit r15-10066-g2fb7db82783c51009d57deffd405ef501ef9aa9a Author: Bob Duff Date: Wed Jul 16 10:29:01 2025 -0400 ada: Bug in Indefinite_Holders instance passed to formal package Fix bug when an instance of Indefinite_H

[gcc r15-10065] ada: Fix regression of finalization primitive selection

2025-07-25 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:9662803b6c3215f8d16e8068caaa6af241446c65 commit r15-10065-g9662803b6c3215f8d16e8068caaa6af241446c65 Author: Ronan Desplanques Date: Fri Jul 11 11:28:35 2025 +0200 ada: Fix regression of finalization primitive selection A recent patch introduced a new flag to

[gcc r15-10055] ada: Fix generation of Initialize and Adjust calls

2025-07-22 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:381d0146e71fb8066d4058083b535848746feec3 commit r15-10055-g381d0146e71fb8066d4058083b535848746feec3 Author: Ronan Desplanques Date: Wed Jul 9 10:19:00 2025 +0200 ada: Fix generation of Initialize and Adjust calls Before this patch, Make_Init_Call and Make_Adj

[gcc r15-10051] ada: Fix wrong indirect access to bit-packed array in iterated loop

2025-07-22 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:633f73c006f94e13dea2a0d5a5423f632c25c38f commit r15-10051-g633f73c006f94e13dea2a0d5a5423f632c25c38f Author: Eric Botcazou Date: Wed Jul 2 15:25:55 2025 +0200 ada: Fix wrong indirect access to bit-packed array in iterated loop This comes from a missing expansi

[gcc r15-10054] ada: Remove obsolete code from Safe_Unchecked_Type_Conversion

2025-07-22 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:0bccb1eb75549db809e0685557dcce65798bf746 commit r15-10054-g0bccb1eb75549db809e0685557dcce65798bf746 Author: Eric Botcazou Date: Tue Jul 8 21:40:44 2025 +0200 ada: Remove obsolete code from Safe_Unchecked_Type_Conversion That's a kludge added to work around th

[gcc r15-10053] ada: Fix assertion failure on aggregate with controlled component

2025-07-22 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:2b05983ca270f1dae905d987415b3e624d17ceb2 commit r15-10053-g2b05983ca270f1dae905d987415b3e624d17ceb2 Author: Eric Botcazou Date: Tue Jul 8 11:05:19 2025 +0200 ada: Fix assertion failure on aggregate with controlled component The assertion is: pr

[gcc r15-10052] ada: Tune recent change for bit-packed arrays to help GNATprove backend

2025-07-22 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:c6b571c6c7c45bd86abe4de22fb5f10130ed92e1 commit r15-10052-gc6b571c6c7c45bd86abe4de22fb5f10130ed92e1 Author: Piotr Trojanek Date: Fri Jul 4 11:52:46 2025 +0200 ada: Tune recent change for bit-packed arrays to help GNATprove backend When GNAT is operating in GN

[gcc r15-10050] ada: exp_util.adb: prevent infinite loop in case of broken code

2025-07-22 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:e28f90fcc8d8eafcae7fe5bd3ea18cfc194e7d6b commit r15-10050-ge28f90fcc8d8eafcae7fe5bd3ea18cfc194e7d6b Author: Ghjuvan Lacambre Date: Wed Jul 2 09:11:03 2025 +0200 ada: exp_util.adb: prevent infinite loop in case of broken code A recent commit modified exp_util.

[gcc r15-10028] Ada: Fix wrong tag in style check warnings

2025-07-21 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:d80498a7025750445dd21a21888bf8a5df158bb0 commit r15-10028-gd80498a7025750445dd21a21888bf8a5df158bb0 Author: Eric Botcazou Date: Mon Jul 21 20:27:37 2025 +0200 Ada: Fix wrong tag in style check warnings This fixes an old issue whereby violations of the style c

[gcc r16-2394] Ada: Fix wrong tag in style check warnings

2025-07-21 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:0b6ae75a304e58463796d1058a39cbe483283dee commit r16-2394-g0b6ae75a304e58463796d1058a39cbe483283dee Author: Eric Botcazou Date: Mon Jul 21 20:27:37 2025 +0200 Ada: Fix wrong tag in style check warnings This fixes an old issue whereby violations of the style ch

[gcc r15-9968] Ada: Add missing guard before accessing the Underlying_Record_View field

2025-07-14 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:762ca0be09e00d02a72bd65fe8c3027a056d4a81 commit r15-9968-g762ca0be09e00d02a72bd65fe8c3027a056d4a81 Author: Eric Botcazou Date: Mon Jul 14 12:11:44 2025 +0200 Ada: Add missing guard before accessing the Underlying_Record_View field It is necessary when GNAT ex

[gcc r16-2226] Ada: Add missing guard before accessing the Underlying_Record_View field

2025-07-14 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:b513e4f3e0914ade0a31a51625e1e2fe42093622 commit r16-2226-gb513e4f3e0914ade0a31a51625e1e2fe42093622 Author: Eric Botcazou Date: Mon Jul 14 12:11:44 2025 +0200 Ada: Add missing guard before accessing the Underlying_Record_View field It is necessary when GNAT ex

[gcc r16-2057] Ada: Reapply tweaks to delay statements in ACATS 3&4 testsuites

2025-07-07 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:add93190d3afd209e40b3f9a5211d622b7b1d770 commit r16-2057-gadd93190d3afd209e40b3f9a5211d622b7b1d770 Author: Eric Botcazou Date: Mon Jul 7 13:52:58 2025 +0200 Ada: Reapply tweaks to delay statements in ACATS 3&4 testsuites They had originally been applied to th

[gcc r16-2018] Ada: Switch from ACATS 2.6 to ACATS 4.2 testsuite

2025-07-04 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:36599edba074a53b273566b3f8eb6c8fa50a8969 commit r16-2018-g36599edba074a53b273566b3f8eb6c8fa50a8969 Author: Eric Botcazou Date: Fri Jul 4 10:28:00 2025 +0200 Ada: Switch from ACATS 2.6 to ACATS 4.2 testsuite This effectively adds 250 new tests, i.e. around 10%

[gcc r15-9922] ada: Fix error on Designated_Storage_Model with extensions disabled

2025-07-04 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:216fc3b3bbad48b38e1c931318e91b25af1b542e commit r15-9922-g216fc3b3bbad48b38e1c931318e91b25af1b542e Author: Ronan Desplanques Date: Tue Jun 17 10:13:20 2025 +0200 ada: Fix error on Designated_Storage_Model with extensions disabled The format string used for th

[gcc r15-9925] ada: Fix selection of Finalize subprogram in untagged case

2025-07-04 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:7b4e397c5790055d7791fc341b87f7fb35ff2d6c commit r15-9925-g7b4e397c5790055d7791fc341b87f7fb35ff2d6c Author: Ronan Desplanques Date: Fri Jun 20 09:59:36 2025 +0200 ada: Fix selection of Finalize subprogram in untagged case The newly introduced Finalizable aspec

[gcc r15-9926] ada: Fix alignment violation for chain of aligned and misaligned composite types

2025-07-04 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:433fcdb6a2c0d5e80c95f58527228802726f8f0e commit r15-9926-g433fcdb6a2c0d5e80c95f58527228802726f8f0e Author: Eric Botcazou Date: Tue Jun 24 20:32:46 2025 +0200 ada: Fix alignment violation for chain of aligned and misaligned composite types This happens when a

[gcc r15-9924] ada: Fix inefficient Unchecked_Conversion to large array type

2025-07-04 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:e6e1d889b5603a617cbc7fca7d0f5b2751b2d489 commit r15-9924-ge6e1d889b5603a617cbc7fca7d0f5b2751b2d489 Author: Eric Botcazou Date: Thu Jun 19 22:17:09 2025 +0200 ada: Fix inefficient Unchecked_Conversion to large array type We fail to use the implementation permi

[gcc r15-9923] ada: Improved error message when size of descendant type exceeds Size'Class limit

2025-07-04 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:992fb2af98ff804de262c78e2fd975d56ede5807 commit r15-9923-g992fb2af98ff804de262c78e2fd975d56ede5807 Author: Steve Baird Date: Fri May 30 11:11:02 2025 -0700 ada: Improved error message when size of descendant type exceeds Size'Class limit Improve the error me

[gcc r14-11875] Ada: Remove left-overs of front-end exception mechanism

2025-07-03 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:a9b70e4c95c8881520b789c76169e5f8a7f385cc commit r14-11875-ga9b70e4c95c8881520b789c76169e5f8a7f385cc Author: Eric Botcazou Date: Thu Jul 3 20:02:43 2025 +0200 Ada: Remove left-overs of front-end exception mechanism It was removed from the compiler a few releas

[gcc r15-9919] Ada: Remove left-overs of front-end exception mechanism

2025-07-03 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:733cd21cfdd82d11798512cc5c4af29b9fb3adb7 commit r15-9919-g733cd21cfdd82d11798512cc5c4af29b9fb3adb7 Author: Eric Botcazou Date: Thu Jul 3 20:02:43 2025 +0200 Ada: Remove left-overs of front-end exception mechanism It was removed from the compiler a few release

[gcc r16-1989] Ada: Remove left-overs of front-end exception mechanism

2025-07-03 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:ddab5cf206903f947f969562eb15d799891b0f47 commit r16-1989-gddab5cf206903f947f969562eb15d799891b0f47 Author: Eric Botcazou Date: Thu Jul 3 20:02:43 2025 +0200 Ada: Remove left-overs of front-end exception mechanism It was removed from the compiler a few release

[gcc r15-9911] ada: Fix missing error on too large Component_Size not multiple of storage unit

2025-07-03 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:a30e425255a3bde94b4669624903bee3f1f1662f commit r15-9911-ga30e425255a3bde94b4669624903bee3f1f1662f Author: Eric Botcazou Date: Fri May 2 01:30:56 2025 +0200 ada: Fix missing error on too large Component_Size not multiple of storage unit This is a small regre

[gcc r15-9913] ada: Fix alignment violation for mix of aligned and misaligned composite types

2025-07-03 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:22b8806a627d83ccd65dd84668098c954d1f9597 commit r15-9913-g22b8806a627d83ccd65dd84668098c954d1f9597 Author: Eric Botcazou Date: Mon May 26 09:25:57 2025 +0200 ada: Fix alignment violation for mix of aligned and misaligned composite types This happens when the

[gcc r13-9782] ada: Fix missing error on too large Component_Size not multiple of storage unit

2025-07-03 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:73b173d915f9bbcfd751cefd2bdb1ab690f0b2fc commit r13-9782-g73b173d915f9bbcfd751cefd2bdb1ab690f0b2fc Author: Eric Botcazou Date: Fri May 2 01:30:56 2025 +0200 ada: Fix missing error on too large Component_Size not multiple of storage unit This is a small regre

[gcc r15-9912] ada: Fix wrong finalization of constrained subtype of unconstrained array type

2025-07-03 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:aa622ab8239cd5b957c1dd0ad777dcef13387252 commit r15-9912-gaa622ab8239cd5b957c1dd0ad777dcef13387252 Author: Eric Botcazou Date: Tue May 6 19:14:40 2025 +0200 ada: Fix wrong finalization of constrained subtype of unconstrained array type This implements the Is

[gcc r15-9909] ada: Fix missing finalization with conditional expression in extended return

2025-07-03 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:ce51aec0583912e46a4c519f5da04deabb400f8e commit r15-9909-gce51aec0583912e46a4c519f5da04deabb400f8e Author: Eric Botcazou Date: Thu Jun 12 21:58:49 2025 +0200 ada: Fix missing finalization with conditional expression in extended return Declarations of return o

[gcc r15-9910] ada: Refine sanity check in Insert_Actions

2025-07-03 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:81645c63e925e5fafb6e0836e0cd5585a0bec1d0 commit r15-9910-g81645c63e925e5fafb6e0836e0cd5585a0bec1d0 Author: Ronan Desplanques Date: Tue Jun 10 12:51:26 2025 +0200 ada: Refine sanity check in Insert_Actions Insert_Actions performs a sanity check when it goes th

[gcc r14-11874] ada: Fix missing error on too large Component_Size not multiple of storage unit

2025-07-03 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:4f2863c82b203a0791307b1c7eabc4b32d054070 commit r14-11874-g4f2863c82b203a0791307b1c7eabc4b32d054070 Author: Eric Botcazou Date: Fri May 2 01:30:56 2025 +0200 ada: Fix missing error on too large Component_Size not multiple of storage unit This is a small regr

[gcc r14-11873] ada: Fix wrong conversion of controlled array with representation change

2025-07-03 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:a58d7df7cf96d0eda885e6dc245c9053330198b4 commit r14-11873-ga58d7df7cf96d0eda885e6dc245c9053330198b4 Author: Eric Botcazou Date: Tue May 27 13:32:18 2025 +0200 ada: Fix wrong conversion of controlled array with representation change The problem is that a tempo

[gcc r15-9908] ada: Fix crash with Finalizable in corner case

2025-07-03 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:36b77268eec6e9791811b36b0d48c788ff696fb9 commit r15-9908-g36b77268eec6e9791811b36b0d48c788ff696fb9 Author: Ronan Desplanques Date: Thu Jun 5 12:03:46 2025 +0200 ada: Fix crash with Finalizable in corner case The Finalizable aspect introduced controlled types

[gcc r15-9907] ada: Fix crash with Finalizable in corner case

2025-07-03 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:181d76171ccf77be4aea37d290179130af8e0562 commit r15-9907-g181d76171ccf77be4aea37d290179130af8e0562 Author: Ronan Desplanques Date: Thu Jun 5 09:48:22 2025 +0200 ada: Fix crash with Finalizable in corner case Since the introduction of the Finalizable aspect, t

[gcc r15-9906] ada: Fix assertion failure on finalizable aggregate

2025-07-03 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:c9c6392fcbc96d2df388fc72ae15d564da2e74ad commit r15-9906-gc9c6392fcbc96d2df388fc72ae15d564da2e74ad Author: Ronan Desplanques Date: Mon Jun 2 12:09:59 2025 +0200 ada: Fix assertion failure on finalizable aggregate The Finalizable aspect makes it possible that

[gcc r15-9905] ada: Fix wrong conversion of controlled array with representation change

2025-07-03 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:4ea7021613c47201f87b40116249d85bd5169ce9 commit r15-9905-g4ea7021613c47201f87b40116249d85bd5169ce9 Author: Eric Botcazou Date: Tue May 27 13:32:18 2025 +0200 ada: Fix wrong conversion of controlled array with representation change The problem is that a tempor

[gcc r15-9897] Ada: Fix assertion failure for Finalizable aspect on tagged type

2025-07-01 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:79b82eb732765507367bb26fcd86c526599e3082 commit r15-9897-g79b82eb732765507367bb26fcd86c526599e3082 Author: Eric Botcazou Date: Tue Jul 1 19:17:06 2025 +0200 Ada: Fix assertion failure for Finalizable aspect on tagged type This fixes an assertion failure for t

[gcc r16-1897] Ada: Fix assertion failure for Finalizable aspect on tagged type

2025-07-01 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:8deef83915f9e0fb14f278c68527c95085461c41 commit r16-1897-g8deef83915f9e0fb14f278c68527c95085461c41 Author: Eric Botcazou Date: Tue Jul 1 19:17:06 2025 +0200 Ada: Fix assertion failure for Finalizable aspect on tagged type This fixes an assertion failure for t

[gcc r15-9892] ada: Compiler fails on unchecked deallocation for constrained protected subtype

2025-07-01 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:177050b65968336bd9b1c6e94e343274f3582d78 commit r15-9892-g177050b65968336bd9b1c6e94e343274f3582d78 Author: Gary Dismukes Date: Fri May 16 23:11:26 2025 + ada: Compiler fails on unchecked deallocation for constrained protected subtype The compiler fails w

[gcc r15-9893] ada: Fix for compiler crash on function return with Relaxed_Finalization parts

2025-07-01 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:debd1cd3dfd4fc53924f947f02450c357fdb7487 commit r15-9893-gdebd1cd3dfd4fc53924f947f02450c357fdb7487 Author: Gary Dismukes Date: Tue May 20 00:16:25 2025 + ada: Fix for compiler crash on function return with Relaxed_Finalization parts The compiler crashes

[gcc r15-9891] ada: Small tweak to latest change

2025-07-01 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:25e6c4403919c5e6f4f6c306faf380c619b9c84f commit r15-9891-g25e6c4403919c5e6f4f6c306faf380c619b9c84f Author: Eric Botcazou Date: Sat May 17 01:20:19 2025 +0200 ada: Small tweak to latest change Unlike RTE, RTU_Entity alone does not cause the unit to be loaded.

[gcc r15-9890] ada: Fix wrong finalization of constrained subtype of unconstrained array type

2025-07-01 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:5bd03021271731b4260d06571e868f91740188d1 commit r15-9890-g5bd03021271731b4260d06571e868f91740188d1 Author: Eric Botcazou Date: Tue May 6 19:03:19 2025 +0200 ada: Fix wrong finalization of constrained subtype of unconstrained array type Dynamically allocated

[gcc r15-9888] ada: Fix wrong finalization of constrained array derived from unconstrained

2025-07-01 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:484fb60fdcb33703e32f1770cf2b406a4428a680 commit r15-9888-g484fb60fdcb33703e32f1770cf2b406a4428a680 Author: Eric Botcazou Date: Mon May 5 16:59:13 2025 +0200 ada: Fix wrong finalization of constrained array derived from unconstrained The bug had been present f

[gcc r15-9889] ada: Dispatching call with mutably tagged objects

2025-07-01 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:74cc201d4d555acb55edf22945022f70cd9e331a commit r15-9889-g74cc201d4d555acb55edf22945022f70cd9e331a Author: Javier Miranda Date: Tue May 6 17:41:51 2025 + ada: Dispatching call with mutably tagged objects The compiler rejects performing a dispatching call

[gcc r15-9887] ada: Small cleanup in the finalization machinery

2025-07-01 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:54b5f782727413885b89e8292ae60156ff50446c commit r15-9887-g54b5f782727413885b89e8292ae60156ff50446c Author: Eric Botcazou Date: Fri May 2 01:10:36 2025 +0200 ada: Small cleanup in the finalization machinery The generic finalization machinery and the finalizati

[gcc r15-9886] ada: Fix wrong finalization of temporary constrained array of controlled type

2025-07-01 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:affc5eb853af23f4cbfee7736e9ff9332ee9bec9 commit r15-9886-gaffc5eb853af23f4cbfee7736e9ff9332ee9bec9 Author: Eric Botcazou Date: Fri May 2 15:32:54 2025 +0200 ada: Fix wrong finalization of temporary constrained array of controlled type This regression has bee

[gcc r15-9878] ada: Fix internal error on Ghost aspect applied to Big_Integers

2025-06-30 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:36332b84ce1ce738883fad68f0de4f9e678ee5f8 commit r15-9878-g36332b84ce1ce738883fad68f0de4f9e678ee5f8 Author: Eric Botcazou Date: Mon Apr 14 10:23:52 2025 +0200 ada: Fix internal error on Ghost aspect applied to Big_Integers That's a regression introduced by the

[gcc r15-9879] ada: Fix crash on nested access-to-subprogram types

2025-06-30 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:cabca4dd5aa70e9a175a3802bb43a31a9370da5e commit r15-9879-gcabca4dd5aa70e9a175a3802bb43a31a9370da5e Author: Ronan Desplanques Date: Fri Apr 18 16:45:10 2025 +0200 ada: Fix crash on nested access-to-subprogram types This patch fixes a crash on some subprograms

[gcc r15-9877] ada: Fix internal error on expression function called for default expression

2025-06-30 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:e94c6831691ab2e46c659a8a471894fc414d1fa1 commit r15-9877-ge94c6831691ab2e46c659a8a471894fc414d1fa1 Author: Eric Botcazou Date: Mon Apr 14 10:04:27 2025 +0200 ada: Fix internal error on expression function called for default expression This happens for the def

[gcc r15-9882] ada: Make class-wide Max_Size_In_Storage_Elements return a large value

2025-06-30 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:9b7f1ec322bc4e2cbb0687d1f63e4a58aec23dfb commit r15-9882-g9b7f1ec322bc4e2cbb0687d1f63e4a58aec23dfb Author: Bob Duff Date: Tue Apr 29 13:12:44 2025 -0400 ada: Make class-wide Max_Size_In_Storage_Elements return a large value Max_Size_In_Storage_Elements is sup

[gcc r15-9881] ada: Fix bogus error for pragma No_Component_Reordering on record type

2025-06-30 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:411c1eeadfbe99efa203097c93fa08256bc72f85 commit r15-9881-g411c1eeadfbe99efa203097c93fa08256bc72f85 Author: Eric Botcazou Date: Tue Apr 22 11:42:00 2025 +0200 ada: Fix bogus error for pragma No_Component_Reordering on record type This happens when the record t

[gcc r15-9880] ada: Record type Put_Image procedures omitting discriminant values

2025-06-30 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:29042b6d01f497ce4f98398e8ed0435b078a6936 commit r15-9880-g29042b6d01f497ce4f98398e8ed0435b078a6936 Author: Steve Baird Date: Fri Apr 11 17:38:29 2025 -0700 ada: Record type Put_Image procedures omitting discriminant values If a type T has a partial view with

[gcc r16-1828] Ada: Provide fallback for GNATMAKE_FOR_BUILD Makefile variable

2025-06-30 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:b8d33869fda464b4582ebdff3ea3c720f23276b0 commit r16-1828-gb8d33869fda464b4582ebdff3ea3c720f23276b0 Author: Eric Botcazou Date: Mon Jun 30 18:57:27 2025 +0200 Ada: Provide fallback for GNATMAKE_FOR_BUILD Makefile variable The variable is set only at the top le

[gcc r15-9873] Fix compilation of concatenation with illegal character constant

2025-06-28 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:06a26f4d643a5d045d893cd443425b13bd3d1b4b commit r15-9873-g06a26f4d643a5d045d893cd443425b13bd3d1b4b Author: Eric Botcazou Date: Sat Jun 28 17:42:26 2025 +0200 Fix compilation of concatenation with illegal character constant This fixes an error recovery issue,

[gcc r16-1761] Fix compilation of concatenation with illegal character constant

2025-06-28 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:0788add46a172b7b1c565fafdef80979be3dc2a6 commit r16-1761-g0788add46a172b7b1c565fafdef80979be3dc2a6 Author: Eric Botcazou Date: Sat Jun 28 17:42:26 2025 +0200 Fix compilation of concatenation with illegal character constant This fixes an error recovery issue,

[gcc r15-9872] Ada: Fix assertion failure on problematic container aggregate

2025-06-28 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:80c55b15f8d6e6b1f10c193b60e19194a871070d commit r15-9872-g80c55b15f8d6e6b1f10c193b60e19194a871070d Author: Eric Botcazou Date: Tue Jun 17 18:55:39 2025 +0200 Ada: Fix assertion failure on problematic container aggregate This is an assertion failure on code us

[gcc r13-9774] Fix misoptimization of CONSTRUCTOR with reverse SSO

2025-06-27 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:2666791289e679bc48de67d9546783c07cc65f30 commit r13-9774-g2666791289e679bc48de67d9546783c07cc65f30 Author: Eric Botcazou Date: Fri Jun 27 23:47:49 2025 +0200 Fix misoptimization of CONSTRUCTOR with reverse SSO fold_ctor_reference already punts on a CONSTRUCTO

[gcc r14-11864] Fix misoptimization of CONSTRUCTOR with reverse SSO

2025-06-27 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:570b63276f6434df59c52da36b1581eb8b516762 commit r14-11864-g570b63276f6434df59c52da36b1581eb8b516762 Author: Eric Botcazou Date: Fri Jun 27 23:47:49 2025 +0200 Fix misoptimization of CONSTRUCTOR with reverse SSO fold_ctor_reference already punts on a CONSTRUCT

[gcc r15-9870] Fix misoptimization of CONSTRUCTOR with reverse SSO

2025-06-27 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:5808dd20b5a7f23687c0a41198dfd818ef233740 commit r15-9870-g5808dd20b5a7f23687c0a41198dfd818ef233740 Author: Eric Botcazou Date: Fri Jun 27 23:47:49 2025 +0200 Fix misoptimization of CONSTRUCTOR with reverse SSO fold_ctor_reference already punts on a CONSTRUCTO

[gcc r16-1752] Fix misoptimization of CONSTRUCTOR with reverse SSO

2025-06-27 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:081ef38a41eee06a83b1e6c537280253d3d582a7 commit r16-1752-g081ef38a41eee06a83b1e6c537280253d3d582a7 Author: Eric Botcazou Date: Fri Jun 27 23:47:49 2025 +0200 Fix misoptimization of CONSTRUCTOR with reverse SSO fold_ctor_reference already punts on a CONSTRUCTO

[gcc r16-1615] Ada: Introduce GNATMAKE_FOR_BUILD Makefile variable

2025-06-22 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:bab1b2488e2a01b311d584bbecbc6834194e30ed commit r16-1615-gbab1b2488e2a01b311d584bbecbc6834194e30ed Author: Nicolas Boulenguez Date: Sun Jun 22 19:23:11 2025 +0200 Ada: Introduce GNATMAKE_FOR_BUILD Makefile variable This gets rid of the hardcoded 'gnatmake' co

[gcc r16-1617] Ada: Replace hardcoded GNAT commands for GNAT tools

2025-06-22 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:8440db955b274472234071f79a35b504e96dc3d1 commit r16-1617-g8440db955b274472234071f79a35b504e96dc3d1 Author: Nicolas Boulenguez Date: Mon Jun 23 00:37:35 2025 +0200 Ada: Replace hardcoded GNAT commands for GNAT tools This replaces the hardcoded gnat{make,link,b

[gcc r16-1616] Ada: Remove obsolete stuff in Makefile fragment

2025-06-22 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:596ab7c67f05f45f94e527830404c391141ec85c commit r16-1616-g596ab7c67f05f45f94e527830404c391141ec85c Author: Eric Botcazou Date: Sun Jun 22 20:35:36 2025 +0200 Ada: Remove obsolete stuff in Makefile fragment gcc/ada/ * Make-generated.in: Remove obso

[gcc r16-1547] Ada: Fix assertion failure on problematic container aggregate

2025-06-17 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:f577a9eb3c80594e46498d10b7eaacff47fe2286 commit r16-1547-gf577a9eb3c80594e46498d10b7eaacff47fe2286 Author: Eric Botcazou Date: Tue Jun 17 18:55:39 2025 +0200 Ada: Fix assertion failure on problematic container aggregate This is an assertion failure on code us

[gcc r15-9826] ada: Fix documentation of Generalized Finalization extension

2025-06-12 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:36bc863200b86a311cf7d9a027b0597280dfebf0 commit r15-9826-g36bc863200b86a311cf7d9a027b0597280dfebf0 Author: Eric Botcazou Date: Sat Apr 5 16:21:45 2025 +0200 ada: Fix documentation of Generalized Finalization extension The current documentation does not reflec

[gcc r15-9825] ada: Fix wrong visibility over discriminants

2025-06-12 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:3a4d64e1a81da321ecfda326fa541f3ea9bd6c5b commit r15-9825-g3a4d64e1a81da321ecfda326fa541f3ea9bd6c5b Author: Ronan Desplanques Date: Fri Apr 4 10:31:27 2025 +0200 ada: Fix wrong visibility over discriminants This patch fixes an issue where the compiler was inco

[gcc r15-9824] ada: Tweak special handling of synchronized type scopes

2025-06-12 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:67c494899585c26427dee8e9f562b87b7e502390 commit r15-9824-g67c494899585c26427dee8e9f562b87b7e502390 Author: Ronan Desplanques Date: Wed Apr 2 10:48:57 2025 +0200 ada: Tweak special handling of synchronized type scopes Exp_Util.Insert_Actions handles scopes of

[gcc r15-9823] ada: Small tweak to latest change

2025-06-12 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:ea4155a94fe4cafd4fe59789858d7cf040fbdf2e commit r15-9823-gea4155a94fe4cafd4fe59789858d7cf040fbdf2e Author: Eric Botcazou Date: Tue Apr 1 00:24:12 2025 +0200 ada: Small tweak to latest change gcc/ada/ChangeLog: * doc/gnat_ugn/building_executab

[gcc r15-9822] ada: Document supported GCC optimization switches

2025-06-12 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:0bb13865e4a9bc66aa59894150fac5a93ad90564 commit r15-9822-g0bb13865e4a9bc66aa59894150fac5a93ad90564 Author: Eric Botcazou Date: Fri Mar 28 18:51:23 2025 +0100 ada: Document supported GCC optimization switches In particular the most recently added ones, namely

[gcc r15-9816] ada: Error on subtype with static predicate used in case_expression

2025-06-10 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:a35f642d231baa62d6b28e5e5aaf3cc30425552c commit r15-9816-ga35f642d231baa62d6b28e5e5aaf3cc30425552c Author: Gary Dismukes Date: Sat Mar 22 00:01:52 2025 + ada: Error on subtype with static predicate used in case_expression The compiler improperly flags an

[gcc r15-9815] ada: Fix fallout of latest change

2025-06-10 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:e249cec1ac9957a1e0d064104014f9c4c339d2d6 commit r15-9815-ge249cec1ac9957a1e0d064104014f9c4c339d2d6 Author: Eric Botcazou Date: Wed Mar 26 00:37:22 2025 +0100 ada: Fix fallout of latest change Freeze_Static_Object needs to deal with the objects that have been

[gcc r15-9814] ada: Fix wrong initialization of library-level object by conditional expression

2025-06-10 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:d02a2fe99f895f7c8cf969b618a51700e61c69ac commit r15-9814-gd02a2fe99f895f7c8cf969b618a51700e61c69ac Author: Eric Botcazou Date: Tue Mar 25 18:23:50 2025 +0100 ada: Fix wrong initialization of library-level object by conditional expression The previous fix was

[gcc r15-9812] ada: Fix infinite loop with aggregate in generic unit

2025-06-10 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:8a4b72a2d99918d6bc315f2664a22457b9848ce7 commit r15-9812-g8a4b72a2d99918d6bc315f2664a22457b9848ce7 Author: Eric Botcazou Date: Thu Mar 20 23:29:33 2025 +0100 ada: Fix infinite loop with aggregate in generic unit Root_Type does not return the same type for the

[gcc r15-9813] ada: Storage_Error on Ordered_Maps container aggregate with enumeration Key_Type

2025-06-10 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:4aca5bc773ced42d006e07197e24462d0fa38a8f commit r15-9813-g4aca5bc773ced42d006e07197e24462d0fa38a8f Author: Gary Dismukes Date: Fri Mar 21 22:03:46 2025 + ada: Storage_Error on Ordered_Maps container aggregate with enumeration Key_Type The compiler fails

[gcc r15-9811] ada: Fix use-after-free in Compute_All_Tasks

2025-06-10 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:2859883e8901f5db7b26c07f823e2e8bc531a70d commit r15-9811-g2859883e8901f5db7b26c07f823e2e8bc531a70d Author: Ronan Desplanques Date: Tue Mar 18 13:56:58 2025 +0100 ada: Fix use-after-free in Compute_All_Tasks This patch fixes a bug in System.Stack_Usage.Tasking

[gcc r15-9806] ada: Support fixed-lower-bound array types as generic actual parameters

2025-06-09 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:d96603a48d338a92b78628016d00cbf11576621e commit r15-9806-gd96603a48d338a92b78628016d00cbf11576621e Author: Gary Dismukes Date: Mon Mar 17 18:30:00 2025 + ada: Support fixed-lower-bound array types as generic actual parameters Attempting to use a fixed-low

[gcc r15-9804] ada: Fix glitch in handling of Atomic_Components on generic formal type

2025-06-09 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:2fd267be72dfb0dbaa422c21888a40e69173defa commit r15-9804-g2fd267be72dfb0dbaa422c21888a40e69173defa Author: Piotr Trojanek Date: Mon Mar 17 12:57:26 2025 +0100 ada: Fix glitch in handling of Atomic_Components on generic formal type In Ada 2022 aspects Atomic_C

[gcc r15-9805] ada: Reject component-related aspects on formal non-array types

2025-06-09 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:6cc5c01aa77a1f01057a963cc5061bad4b0cc270 commit r15-9805-g6cc5c01aa77a1f01057a963cc5061bad4b0cc270 Author: Piotr Trojanek Date: Mon Mar 17 13:20:53 2025 +0100 ada: Reject component-related aspects on formal non-array types In Ada 2022 aspects Atomic_Component

[gcc r15-9803] ada: Missing discriminant check on assignment of Bounded_Vector aggregate

2025-06-09 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:f59c4d4a6a30c655afb53236eee2bda9e2d2cbb2 commit r15-9803-gf59c4d4a6a30c655afb53236eee2bda9e2d2cbb2 Author: Gary Dismukes Date: Sat Mar 8 01:05:35 2025 + ada: Missing discriminant check on assignment of Bounded_Vector aggregate When a container aggregate f

[gcc r15-9802] ada: Check validity using signedness from the type and not its base type

2025-06-09 Thread Eric Botcazou via Gcc-cvs
https://gcc.gnu.org/g:e68026cd01d87a89d52c74238d4c1bff8764f9fc commit r15-9802-ge68026cd01d87a89d52c74238d4c1bff8764f9fc Author: Piotr Trojanek Date: Tue Mar 4 12:33:34 2025 +0100 ada: Check validity using signedness from the type and not its base type When attribute Valid is appl

  1   2   3   4   >