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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[gcc r15-9801] ada: Incorrect creation of corresponding expression of class-wide contracts

https://gcc.gnu.org/g:8a63f6bd618decc974a46c50894f3b450e025f95 commit r15-9801-g8a63f6bd618decc974a46c50894f3b450e025f95 Author: Gary Dismukes Date: Fri Feb 28 00:08:19 2025 + ada: Incorrect creation of corresponding expression of class-wide contracts GNAT was incorrectly impl

[gcc r15-9800] ada: Fix spurious error on anonymous array initialized by conditional expression

https://gcc.gnu.org/g:823e9733520536cf1fc427d6a128f5a7a48cc3b5 commit r15-9800-g823e9733520536cf1fc427d6a128f5a7a48cc3b5 Author: Eric Botcazou Date: Thu Feb 27 20:43:04 2025 +0100 ada: Fix spurious error on anonymous array initialized by conditional expression Even though the act

[gcc r15-9796] ada: Constant_Indexing used when context requires a variable

https://gcc.gnu.org/g:f59d33ad52cbc9c3096862a7e286021463a05998 commit r15-9796-gf59d33ad52cbc9c3096862a7e286021463a05998 Author: Javier Miranda Date: Fri Jan 31 20:21:09 2025 + ada: Constant_Indexing used when context requires a variable In the case of an assignment where the

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

https://gcc.gnu.org/g:cb3e76508b1af7ff5ba6e43592d7d67bbb96fac6 commit r15-9794-gcb3e76508b1af7ff5ba6e43592d7d67bbb96fac6 Author: Eric Botcazou Date: Fri Feb 21 10:03:22 2025 +0100 ada: Fix wrong initialization of library-level object by conditional expression At library level the

[gcc r15-9795] ada: Fix libgpr2 build failure with compiler built with assertions

https://gcc.gnu.org/g:e0777e78bede3108d41a506d8877c03997bed2c5 commit r15-9795-ge0777e78bede3108d41a506d8877c03997bed2c5 Author: Eric Botcazou Date: Mon Feb 24 22:27:21 2025 +0100 ada: Fix libgpr2 build failure with compiler built with assertions The problem is that the Entity fie

[gcc r15-9793] ada: Incorrect unresolved operator name in an instantiation

https://gcc.gnu.org/g:1189522245be51d435fcc6d205e690f086f12e46 commit r15-9793-g1189522245be51d435fcc6d205e690f086f12e46 Author: Steve Baird Date: Fri Feb 7 12:29:46 2025 -0800 ada: Incorrect unresolved operator name in an instantiation In some cases, a generic containing a use of

[gcc r15-9792] ada: Fix internal error on allocator involving interface type

https://gcc.gnu.org/g:855fe3625493e3888df5da12aba945c243ec6650 commit r15-9792-g855fe3625493e3888df5da12aba945c243ec6650 Author: Eric Botcazou Date: Tue Feb 11 12:47:36 2025 +0100 ada: Fix internal error on allocator involving interface type The problem is that an itype duplicated

[gcc r15-9791] ada: Fix for validity checking of limited scalar types

https://gcc.gnu.org/g:649bde867ae0a808b21e837744211339476c8099 commit r15-9791-g649bde867ae0a808b21e837744211339476c8099 Author: Piotr Trojanek Date: Tue Jan 28 12:12:23 2025 +0100 ada: Fix for validity checking of limited scalar types With a recent change we are now validity chec

[gcc r16-1250] Fix assertion failure on small array constructor

https://gcc.gnu.org/g:61b014f614be523174f6a9df6e1fbac11de11abd commit r16-1250-g61b014f614be523174f6a9df6e1fbac11de11abd Author: Eric Botcazou Date: Fri Jun 6 11:32:51 2025 +0200 Fix assertion failure on small array constructor The Ada testcase triggers an assertion failure in siz

[gcc r13-9741] Fix crash with constant initializer caused by IPA

https://gcc.gnu.org/g:195c76fb53c7c751c25b864bef255c7ee1195f07 commit r13-9741-g195c76fb53c7c751c25b864bef255c7ee1195f07 Author: Eric Botcazou Date: Thu Jun 5 13:20:26 2025 +0200 Fix crash with constant initializer caused by IPA The testcase compiled with -O2 -gnatn makes the comp

[gcc r14-11827] Fix crash with constant initializer caused by IPA

https://gcc.gnu.org/g:317ff8a8eadfaae6d484dc328277ade42b352342 commit r14-11827-g317ff8a8eadfaae6d484dc328277ade42b352342 Author: Eric Botcazou Date: Thu Jun 5 13:20:26 2025 +0200 Fix crash with constant initializer caused by IPA The testcase compiled with -O2 -gnatn makes the com

[gcc r15-9770] ada: Error about assignment to limited target on aggregate with "for of" iterator

https://gcc.gnu.org/g:a871b236c17b818baa7437a313793058110e70f3 commit r15-9770-ga871b236c17b818baa7437a313793058110e70f3 Author: Gary Dismukes Date: Sat Jan 18 01:11:12 2025 + ada: Error about assignment to limited target on aggregate with "for of" iterator The compiler repor

[gcc r15-9775] ada: Exception-raising loop incorrectly eliminated

https://gcc.gnu.org/g:48a5910dde566180a0a0878651a78ccece89be45 commit r15-9775-g48a5910dde566180a0a0878651a78ccece89be45 Author: Steve Baird Date: Thu Jan 30 13:28:50 2025 -0800 ada: Exception-raising loop incorrectly eliminated If the body of a loop includes a raise statement the

[gcc r15-9772] ada: Implement built-in-place expansion of two-pass array aggregates

https://gcc.gnu.org/g:b7e10f86d5cbd95ac38a1141f3e0a95424ede281 commit r15-9772-gb7e10f86d5cbd95ac38a1141f3e0a95424ede281 Author: Eric Botcazou Date: Fri Jan 24 10:26:13 2025 +0100 ada: Implement built-in-place expansion of two-pass array aggregates These are array aggregates conta

[gcc r15-9776] ada: Spurious compilation error with repeated loop index

https://gcc.gnu.org/g:d056ac5fce4cf6de698b4e1e4fe266e5ebbd0530 commit r15-9776-gd056ac5fce4cf6de698b4e1e4fe266e5ebbd0530 Author: Javier Miranda Date: Thu Feb 6 09:40:57 2025 + ada: Spurious compilation error with repeated loop index When multiple for-loop statements in the sam

[gcc r15-9773] ada: Tweak caching of streaming subprograms

https://gcc.gnu.org/g:6b1c8f47583c8fb35009b8dead605f623aeb5376 commit r15-9773-g6b1c8f47583c8fb35009b8dead605f623aeb5376 Author: Ronan Desplanques Date: Fri Jan 31 10:40:42 2025 +0100 ada: Tweak caching of streaming subprograms gcc/ada/ChangeLog: * exp_attr.adb (I

[gcc r15-9774] ada: Fix crash on access to protected return

https://gcc.gnu.org/g:257a8dc92efbc5f523d388da10d63bf126af2aa3 commit r15-9774-g257a8dc92efbc5f523d388da10d63bf126af2aa3 Author: Ronan Desplanques Date: Mon Jan 27 12:04:41 2025 +0100 ada: Fix crash on access to protected return The generation of the check mandated by Ada issue AI

[gcc r15-9771] ada: Reject Valid_Value arguments originating from Standard

https://gcc.gnu.org/g:9f9476c195e4234f2bda930b5adee7d18d43d34e commit r15-9771-g9f9476c195e4234f2bda930b5adee7d18d43d34e Author: Viljar Indus Date: Mon Jan 20 15:10:22 2025 +0200 ada: Reject Valid_Value arguments originating from Standard The constraint for Valid_Value not applyin

[gcc r15-9767] ada: Avoid calling Resolve with Stand.Any_Fixed as the expected type

https://gcc.gnu.org/g:29447fb66f7cf4a515cbbcc812008092d519bc9c commit r15-9767-g29447fb66f7cf4a515cbbcc812008092d519bc9c Author: Steve Baird Date: Fri Jan 10 13:15:18 2025 -0800 ada: Avoid calling Resolve with Stand.Any_Fixed as the expected type When we call Resolve for an expres

[gcc r15-9769] ada: Fix buffer overflow for function call returning discriminated limited record

https://gcc.gnu.org/g:09b0aacb5fce94199b269a9a37b697899f5a1ab3 commit r15-9769-g09b0aacb5fce94199b269a9a37b697899f5a1ab3 Author: Eric Botcazou Date: Wed Jan 15 20:37:48 2025 +0100 ada: Fix buffer overflow for function call returning discriminated limited record This occurs when t

[gcc r15-9768] ada: Fix compile-time failure due to duplicated attribute subprograms.

https://gcc.gnu.org/g:5738c9b74bd77821b6c7438ea4e5fa1853d3f07a commit r15-9768-g5738c9b74bd77821b6c7438ea4e5fa1853d3f07a Author: Steve Baird Date: Mon Jan 13 14:18:26 2025 -0800 ada: Fix compile-time failure due to duplicated attribute subprograms. For a given type, and for certai

[gcc r15-9766] ada: Compiler crash on array aggregate association iterating over function result

https://gcc.gnu.org/g:a52223c5b2ba677468b5fabc010492998e4dea3a commit r15-9766-ga52223c5b2ba677468b5fabc010492998e4dea3a Author: Gary Dismukes Date: Fri Jan 10 22:39:52 2025 + ada: Compiler crash on array aggregate association iterating over function result The compiler trigg

[gcc r15-9765] Fix crash with constant initializer caused by IPA

https://gcc.gnu.org/g:d9fb0b4d8a401cc64d59eb49e3617f7c32cefb19 commit r15-9765-gd9fb0b4d8a401cc64d59eb49e3617f7c32cefb19 Author: Eric Botcazou Date: Thu Jun 5 13:20:26 2025 +0200 Fix crash with constant initializer caused by IPA The testcase compiled with -O2 -gnatn makes the comp

[gcc r16-1173] Fix crash with constant initializer caused by IPA

https://gcc.gnu.org/g:da96bdfff0806e5a6f3f5ceb113add47037614c6 commit r16-1173-gda96bdfff0806e5a6f3f5ceb113add47037614c6 Author: Eric Botcazou Date: Thu Jun 5 13:20:26 2025 +0200 Fix crash with constant initializer caused by IPA The testcase compiled with -O2 -gnatn makes the comp

[gcc r15-9738] Fix IPA-SRA issue with reverse SSO on specific pattern

https://gcc.gnu.org/g:c2b90bf1343b491c58a51f6668da34383bf4c093 commit r15-9738-gc2b90bf1343b491c58a51f6668da34383bf4c093 Author: Eric Botcazou Date: Tue May 27 19:42:17 2025 +0200 Fix IPA-SRA issue with reverse SSO on specific pattern IPA-SRA generally works fine in the presence o

[gcc r16-910] Fix IPA-SRA issue with reverse SSO on specific pattern

https://gcc.gnu.org/g:2a6c6e9c6d32ddbd6cfea5319698a69b342d0e9c commit r16-910-g2a6c6e9c6d32ddbd6cfea5319698a69b342d0e9c Author: Eric Botcazou Date: Tue May 27 19:42:17 2025 +0200 Fix IPA-SRA issue with reverse SSO on specific pattern IPA-SRA generally works fine in the presence of

[gcc r16-862] Ada: minor tweaks to ACATS 2.6 testsuite

https://gcc.gnu.org/g:f3a62dcfc96cb24127385a7e668133e037b6085d commit r16-862-gf3a62dcfc96cb24127385a7e668133e037b6085d Author: Eric Botcazou Date: Sat May 24 15:36:50 2025 +0200 Ada: minor tweaks to ACATS 2.6 testsuite This upgrades the testsuite to the 2.6K revision. gc

[gcc r16-830] Fix oversight about big-endian targets in latest change

https://gcc.gnu.org/g:d7f24e37d4bcb80c21c391d32f0f29594b71c2ee commit r16-830-gd7f24e37d4bcb80c21c391d32f0f29594b71c2ee Author: Eric Botcazou Date: Thu May 22 16:25:07 2025 +0200 Fix oversight about big-endian targets in latest change Bit-fields are stored left-justified for big-e

[gcc r16-831] testsuite: Remove obsolete ada/acats/overflow.lst file

https://gcc.gnu.org/g:05fc1470798601f610653cac4f6a55a9c83928f4 commit r16-831-g05fc1470798601f610653cac4f6a55a9c83928f4 Author: Eric Botcazou Date: Thu May 22 22:11:08 2025 +0200 testsuite: Remove obsolete ada/acats/overflow.lst file It is used to specify which files are compiled

[gcc r16-717] Partially lift restriction from loc_list_from_tree_1

https://gcc.gnu.org/g:809b46d2ccc9a4a0ab3a5b6015cbe9738b74b0a5 commit r16-717-g809b46d2ccc9a4a0ab3a5b6015cbe9738b74b0a5 Author: Eric Botcazou Date: Sun May 18 19:10:26 2025 +0200 Partially lift restriction from loc_list_from_tree_1 The function accepts all handled_component_p expr

[gcc r16-590] Remove -q quiet option from some GNAT bootstrap command lines

https://gcc.gnu.org/g:940bc09b446f4876563b0986231724121b33193d commit r16-590-g940bc09b446f4876563b0986231724121b33193d Author: Nicolas Boulenguez Date: Tue May 13 10:28:54 2025 +0200 Remove -q quiet option from some GNAT bootstrap command lines gcc/ada/ PR ada/87778

[gcc r14-11754] Fix wrong optimization of complex boolean expression

https://gcc.gnu.org/g:81da797328c91ef6b3bedf6d047f8e003efe commit r14-11754-g81da797328c91ef6b3bedf6d047f8e003efe Author: Eric Botcazou Date: Fri May 9 17:45:27 2025 +0200 Fix wrong optimization of complex boolean expression The VRP2 pass turns: # prephitmp_3 =

  1   2   3   >