[gcc r16-290] analyzer: fix for older version of GCC

https://gcc.gnu.org/g:405fee9e1faf20f05b62e810ec1d6528100de067 commit r16-290-g405fee9e1faf20f05b62e810ec1d6528100de067 Author: Marc Poulhiès Date: Tue Apr 29 19:53:42 2025 +0200 analyzer: fix for older version of GCC Having both an enum and a variable with the same name triggers

[gcc r16-1950] ada: Port System.Stack_Usage to CHERI

https://gcc.gnu.org/g:d22a59c2518e87de41add2d5daf9cf23149fb1a6 commit r16-1950-gd22a59c2518e87de41add2d5daf9cf23149fb1a6 Author: Daniel King Date: Thu Jun 12 10:03:53 2025 +0100 ada: Port System.Stack_Usage to CHERI This unit performed integer to address conversions to calculate s

[gcc r16-1949] ada: Improve retrieval of nominal unconstrained type in extended return

https://gcc.gnu.org/g:4222552aeb313fa40303d122c9cf2fb75299 commit r16-1949-g4222552aeb313fa40303d122c9cf2fb75299 Author: Piotr Trojanek Date: Thu Jun 12 00:47:38 2025 +0200 ada: Improve retrieval of nominal unconstrained type in extended return To reliably retrieve the nom

[gcc r16-1952] ada: Make comment more precise

https://gcc.gnu.org/g:6e22849641d3fcfa6af3fac1e9117b684d6546ec commit r16-1952-g6e22849641d3fcfa6af3fac1e9117b684d6546ec Author: Ronan Desplanques Date: Fri Jun 13 10:34:50 2025 +0200 ada: Make comment more precise gcc/ada/ChangeLog: * exp_ch6.adb (Expand_Ctrl_Fun

[gcc r16-1951] ada: Fix missing finalization with conditional expression in extended return

https://gcc.gnu.org/g:448e857b977ef673fa8a28d24dcd4567f4d5d0cd commit r16-1951-g448e857b977ef673fa8a28d24dcd4567f4d5d0cd 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 r16-1955] ada: Fix check for elaboration order on subprogram body stubs

https://gcc.gnu.org/g:251dab8bc9a596f094149e256f0d216cc5b1a60a commit r16-1955-g251dab8bc9a596f094149e256f0d216cc5b1a60a Author: Piotr Trojanek Date: Mon Jun 16 16:13:03 2025 +0200 ada: Fix check for elaboration order on subprogram body stubs Fix an assertion failure occurring whe

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

https://gcc.gnu.org/g:fd092906db6823c4fb55db7e07b07d71c75d0b01 commit r16-1956-gfd092906db6823c4fb55db7e07b07d71c75d0b01 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 r16-1954] ada: More Tbuild cleanup

https://gcc.gnu.org/g:aada6d75fe6392475c2abc02f5725690edc420cc commit r16-1954-gaada6d75fe6392475c2abc02f5725690edc420cc Author: Bob Duff Date: Mon Jun 16 11:03:22 2025 -0400 ada: More Tbuild cleanup Remove "Nmake_Assert => ..." on N_Unchecked_Type_Conversion at gen_il-gen-gen

[gcc r16-1960] ada: Fix poor code generated for return of Out parameter with access type

https://gcc.gnu.org/g:3d4073371168cf5e9f58d18f617b117fb5839f81 commit r16-1960-g3d4073371168cf5e9f58d18f617b117fb5839f81 Author: Eric Botcazou Date: Fri Jun 13 09:51:52 2025 +0200 ada: Fix poor code generated for return of Out parameter with access type The record type of the retu

[gcc r16-1953] ada: Refine sanity check in Insert_Actions

https://gcc.gnu.org/g:06c077d97a19a80ab4f1f9ccd6d058b34014ec87 commit r16-1953-g06c077d97a19a80ab4f1f9ccd6d058b34014ec87 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 r16-1957] ada: Fix wrong finalization of constrained subtype of unconstrained array type

https://gcc.gnu.org/g:546ca0115de5cfe2546c260350b275a368065799 commit r16-1957-g546ca0115de5cfe2546c260350b275a368065799 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 r16-1958] ada: Fix alignment violation for mix of aligned and misaligned composite types

https://gcc.gnu.org/g:802efae1403365775591cc4ea6cf93f0b02d8459 commit r16-1958-g802efae1403365775591cc4ea6cf93f0b02d8459 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 r16-1959] ada: Enforce alignment constraint for large Object_Size clauses

https://gcc.gnu.org/g:8fe64e4d9cd22f7638fc590353c34c79b07f428f commit r16-1959-g8fe64e4d9cd22f7638fc590353c34c79b07f428f Author: Eric Botcazou Date: Thu Jun 12 22:31:06 2025 +0200 ada: Enforce alignment constraint for large Object_Size clauses The constraint is that the Object_Siz

[gcc r16-1919] ada: Use consistent truncation of 'Value for decimal fixed-point types

https://gcc.gnu.org/g:0ef4195c17fe7b0b755686b13f65b57eff12dfe4 commit r16-1919-g0ef4195c17fe7b0b755686b13f65b57eff12dfe4 Author: Eric Botcazou Date: Mon May 26 23:56:47 2025 +0200 ada: Use consistent truncation of 'Value for decimal fixed-point types This uses truncation for all b

[gcc r16-1926] ada: Call Semantics when analyzing a renamed package

https://gcc.gnu.org/g:fe1e262fa75b1264663021628a47d216c353abe8 commit r16-1926-gfe1e262fa75b1264663021628a47d216c353abe8 Author: Viljar Indus Date: Thu May 29 10:54:30 2025 +0300 ada: Call Semantics when analyzing a renamed package Calling Semantics here will additionally update t

[gcc r16-1927] ada: Remove Empty_Or_Error

https://gcc.gnu.org/g:d02dfbfa3f1d21acf599e0308e365b296d6bae61 commit r16-1927-gd02dfbfa3f1d21acf599e0308e365b296d6bae61 Author: Bob Duff Date: Fri May 30 08:07:43 2025 -0400 ada: Remove Empty_Or_Error Minor stylistic improvement: Remove Empty_Or_Error, and replace comparisons

[gcc r16-1928] ada: Correct documentation of policy_identifiers for Assertion_Policy

https://gcc.gnu.org/g:80a68f555b2ff160be829fdf4f5c16926b01f2a7 commit r16-1928-g80a68f555b2ff160be829fdf4f5c16926b01f2a7 Author: Bob Duff Date: Fri May 30 09:38:04 2025 -0400 ada: Correct documentation of policy_identifiers for Assertion_Policy Follow-on to gnat-945. Chan

[gcc r16-1923] ada: Fix index bounds check in Super_Delete functions and procedures

https://gcc.gnu.org/g:38d77476147b4caea75c8935f8274f7d6517a1df commit r16-1923-g38d77476147b4caea75c8935f8274f7d6517a1df Author: Aleksandra Pasek Date: Mon Mar 3 20:09:25 2025 + ada: Fix index bounds check in Super_Delete functions and procedures gcc/ada/ChangeLog:

[gcc r16-1924] ada: Document restriction on array length

https://gcc.gnu.org/g:613e8bafecd2b54407a23d5636799a2c896f5360 commit r16-1924-g613e8bafecd2b54407a23d5636799a2c896f5360 Author: Tonu Naks Date: Wed May 28 09:50:19 2025 + ada: Document restriction on array length gcc/ada/ChangeLog: * libgnat/i-cstrin.ads (Val

[gcc r16-1922] ada: Fix wrong conversion of controlled array with representation change

https://gcc.gnu.org/g:6f5035b0d710e540b283e9526298a8e33b5e5f4b commit r16-1922-g6f5035b0d710e540b283e9526298a8e33b5e5f4b 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 r16-1929] ada: Remove unnecessary "return;" statements

https://gcc.gnu.org/g:198afd76a1cf0ba88f9ba913347ba7ebb622 commit r16-1929-g198afd76a1cf0ba88f9ba913347ba7ebb622 Author: Bob Duff Date: Fri May 30 14:53:41 2025 -0400 ada: Remove unnecessary "return;" statements A "return;" at the end of a procedure is unnecessary and

[gcc r16-1920] ada: Fix ALI elaboration flags for ghost compilation units (cont.)

https://gcc.gnu.org/g:35827ca717e3a3552fc513453fd37d1aeb339382 commit r16-1920-g35827ca717e3a3552fc513453fd37d1aeb339382 Author: Piotr Trojanek Date: Tue May 27 12:17:06 2025 +0200 ada: Fix ALI elaboration flags for ghost compilation units (cont.) When GNAT was compiling a ghost u

[gcc r16-1930] ada: Fix assertion failure on finalizable aggregate

https://gcc.gnu.org/g:ef439d213b712b664c3f25fea34c876fa3cb5848 commit r16-1930-gef439d213b712b664c3f25fea34c876fa3cb5848 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 r16-1925] ada: Fix SPARK context discovery from within subunits

https://gcc.gnu.org/g:0fb0140c2ec957b10f550a70a616e3205927b1b5 commit r16-1925-g0fb0140c2ec957b10f550a70a616e3205927b1b5 Author: Piotr Trojanek Date: Wed May 28 15:42:10 2025 +0200 ada: Fix SPARK context discovery from within subunits When navigating the AST to find the enclosing

[gcc r16-1936] ada: Fix typo in comment

https://gcc.gnu.org/g:bf9080aec7731a5749442c1c2f1eb04c47ee2356 commit r16-1936-gbf9080aec7731a5749442c1c2f1eb04c47ee2356 Author: Ronan Desplanques Date: Thu Jun 5 10:51:20 2025 +0200 ada: Fix typo in comment gcc/ada/ChangeLog: * exp_ch7.adb (Build_Record_Deep_Proc

[gcc r16-1939] ada: Refine subtypes in task-counting code

https://gcc.gnu.org/g:a6e7dffdd1f65867d673bead42ee44269c1ead63 commit r16-1939-ga6e7dffdd1f65867d673bead42ee44269c1ead63 Author: Piotr Trojanek Date: Thu Jun 5 14:05:23 2025 +0200 ada: Refine subtypes in task-counting code Code cleanup; semantics is unaffected. gcc/ada/Ch

[gcc r16-1932] ada: Fix spurious Constraint_Error raised by 'Value of fixed-point types

https://gcc.gnu.org/g:b2dcb85380b606e4064089bb79dde2c9ff271ad0 commit r16-1932-gb2dcb85380b606e4064089bb79dde2c9ff271ad0 Author: Eric Botcazou Date: Tue Jun 3 18:54:03 2025 +0200 ada: Fix spurious Constraint_Error raised by 'Value of fixed-point types This happens for very large S

[gcc r16-1940] ada: Fix crash with Finalizable in corner case

https://gcc.gnu.org/g:9631219c6aaf4bbeb6d7fed9fad191f79b400e61 commit r16-1940-g9631219c6aaf4bbeb6d7fed9fad191f79b400e61 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 r16-1935] ada: Enforce visibility of unit used as a parent instance of a child instance

https://gcc.gnu.org/g:8f5a2b59a8ed558080c41a335d44194843553c99 commit r16-1935-g8f5a2b59a8ed558080c41a335d44194843553c99 Author: Gary Dismukes Date: Tue Jun 3 01:01:12 2025 + ada: Enforce visibility of unit used as a parent instance of a child instance In cases involving inst

[gcc r16-1933] ada: Cleanup in type support subprograms code

https://gcc.gnu.org/g:2bf031a5ac1927108185f8f3d4396d6d97967a7e commit r16-1933-g2bf031a5ac1927108185f8f3d4396d6d97967a7e Author: Piotr Trojanek Date: Wed Jun 4 12:08:58 2025 +0200 ada: Cleanup in type support subprograms code Code cleanup; semantics is unaffected. gcc/ada

[gcc r16-1934] ada: Fix comment

https://gcc.gnu.org/g:f9be32c81480f2afc287d9063f407d1dec7d56f9 commit r16-1934-gf9be32c81480f2afc287d9063f407d1dec7d56f9 Author: Ronan Desplanques Date: Wed Jun 4 15:08:38 2025 +0200 ada: Fix comment This patch fixes a misnaming of Make_Predefined_Primitive_Specs in a comment.

[gcc r16-1938] ada: Remove a couple of redundant calls to Set_Etype

https://gcc.gnu.org/g:42f984411bff7633b01e2d98176be8ce968b2130 commit r16-1938-g42f984411bff7633b01e2d98176be8ce968b2130 Author: Eric Botcazou Date: Thu Jun 5 13:14:33 2025 +0200 ada: Remove a couple of redundant calls to Set_Etype The OK_Convert_To function already sets the Etype

[gcc r16-1937] ada: Fix crash with Finalizable in corner case

https://gcc.gnu.org/g:afb644eed3ccb5627645fe9060388a89fc6f8c3f commit r16-1937-gafb644eed3ccb5627645fe9060388a89fc6f8c3f 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 r16-1941] ada: Remove redundant nested aggregates from diagnostics code

https://gcc.gnu.org/g:c52c0b0e9089eea8e014c28258e6feca1bbe27be commit r16-1941-gc52c0b0e9089eea8e014c28258e6feca1bbe27be Author: Piotr Trojanek Date: Mon Jun 9 16:09:35 2025 +0200 ada: Remove redundant nested aggregates from diagnostics code A nested aggregate with a single "other

[gcc r16-1931] ada: Fix comment

https://gcc.gnu.org/g:ef1727e34c766bd812357a27aac5109a10c48b89 commit r16-1931-gef1727e34c766bd812357a27aac5109a10c48b89 Author: Ronan Desplanques Date: Tue Jun 3 15:01:36 2025 +0200 ada: Fix comment This patch fixes a comment that wrongly stated that no dispatch entry for dee

[gcc r16-1946] ada: Fix constraint-related legality checks in extended return statements

https://gcc.gnu.org/g:29c0ace8b2d935e523af277049c5905342f3472c commit r16-1946-g29c0ace8b2d935e523af277049c5905342f3472c Author: Piotr Trojanek Date: Tue Jun 10 16:29:30 2025 +0200 ada: Fix constraint-related legality checks in extended return statements Legality checks in extende

[gcc r16-1947] ada: Adjust message about statically compatible result subtype

https://gcc.gnu.org/g:f5bacaa3dd8b66ac13517b9fa3c3a253d4001c5e commit r16-1947-gf5bacaa3dd8b66ac13517b9fa3c3a253d4001c5e Author: Piotr Trojanek Date: Wed Jun 11 00:20:13 2025 +0200 ada: Adjust message about statically compatible result subtype Ada RM 6.5(5.3/5) is about "result SU

[gcc r16-1942] ada: Turn diagnostic object from variable to constant

https://gcc.gnu.org/g:ee384af77c0d11436fd6027ef2eb29115e1ab251 commit r16-1942-gee384af77c0d11436fd6027ef2eb29115e1ab251 Author: Piotr Trojanek Date: Mon Jun 9 16:11:48 2025 +0200 ada: Turn diagnostic object from variable to constant Diagnostic entries are not supposed to be modif

[gcc r16-1944] ada: Fix node copy with functions as actual parameters in dispatching DIC

https://gcc.gnu.org/g:c58ef269c7a0461f8d2f751565ab58036410252a commit r16-1944-gc58ef269c7a0461f8d2f751565ab58036410252a Author: Denis Mazzucato Date: Fri Jun 6 07:53:00 2025 + ada: Fix node copy with functions as actual parameters in dispatching DIC When dispatching in a Defa

[gcc r16-1945] ada: Fix strange holes for type with variant part reported by -gnatRh

https://gcc.gnu.org/g:93d5053b1f3ab546808d81d1ef4955e448fb751b commit r16-1945-g93d5053b1f3ab546808d81d1ef4955e448fb751b Author: Eric Botcazou Date: Mon Jun 9 21:45:45 2025 +0200 ada: Fix strange holes for type with variant part reported by -gnatRh The problem is that the sorting

[gcc r16-1943] ada: Fix minor fallout of latest change

https://gcc.gnu.org/g:caa6ba604ca1a8d6c4fbdea2eae64c591d993173 commit r16-1943-gcaa6ba604ca1a8d6c4fbdea2eae64c591d993173 Author: Eric Botcazou Date: Tue Jun 10 10:35:09 2025 +0200 ada: Fix minor fallout of latest change This adjusts the header of the renamed files and adds missing

[gcc r16-1948] ada: Improve retrieval of nominal unconstrained type in extended return

https://gcc.gnu.org/g:2aa9e4a4a431d66f5ce474651c04029373181faa commit r16-1948-g2aa9e4a4a431d66f5ce474651c04029373181faa Author: Piotr Trojanek Date: Wed Jun 11 16:41:00 2025 +0200 ada: Improve retrieval of nominal unconstrained type in extended return When extended return stateme

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

https://gcc.gnu.org/g:cda156b5dfe66d6b53158e46d859ca69526e0f64 commit r16-2017-gcda156b5dfe66d6b53158e46d859ca69526e0f64 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 r16-2010] ada: Fix selection of Finalize subprogram in untagged case

https://gcc.gnu.org/g:07859ee1d0c6c0e70c8a8342f5de917e50bc3fe9 commit r16-2010-g07859ee1d0c6c0e70c8a8342f5de917e50bc3fe9 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 r16-2011] ada: Pragma Short_Circuit_And_Or

https://gcc.gnu.org/g:623ce60ee6e06c76cb2abb376af21bf7fd51874c commit r16-2011-g623ce60ee6e06c76cb2abb376af21bf7fd51874c Author: Bob Duff Date: Tue Jun 24 19:32:32 2025 -0400 ada: Pragma Short_Circuit_And_Or Improve documentation of pragma Short_Circuit_And_Or. Also disallow r

[gcc r16-2005] ada: Remove leftover from rework of aspect representation

https://gcc.gnu.org/g:0992435c0f264567d31be43cc8f87b20f9967667 commit r16-2005-g0992435c0f264567d31be43cc8f87b20f9967667 Author: Ronan Desplanques Date: Tue Jun 17 14:20:40 2025 +0200 ada: Remove leftover from rework of aspect representation This patch removes some comments and ob

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

https://gcc.gnu.org/g:d27e6037e566924a166ecc7ff84bb6aefa55ee45 commit r16-2006-gd27e6037e566924a166ecc7ff84bb6aefa55ee45 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 r16-2007] ada: Missing component clause warning for discriminant of Unchecked_Union type

https://gcc.gnu.org/g:9903cea0ddfe3f9f5bcaa1e6812d24a250e17c17 commit r16-2007-g9903cea0ddfe3f9f5bcaa1e6812d24a250e17c17 Author: Steve Baird Date: Tue Jun 17 16:24:50 2025 -0700 ada: Missing component clause warning for discriminant of Unchecked_Union type Even when -gnatw.c is e

[gcc r16-2004] ada: Fix error on Designated_Storage_Model with extensions disabled

https://gcc.gnu.org/g:d9a80d7dd32c9adaab1f16b848d43cdda81d0d53 commit r16-2004-gd9a80d7dd32c9adaab1f16b848d43cdda81d0d53 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 r16-2009] ada: Fix inefficient Unchecked_Conversion to large array type

https://gcc.gnu.org/g:82e604ec77b9f70d269ad6ff3f0e79e927b6824b commit r16-2009-g82e604ec77b9f70d269ad6ff3f0e79e927b6824b 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 r16-2015] ada: Disable previous change for enumeration types

https://gcc.gnu.org/g:372c2b540f699a8aa5016c03f3ebd531b2d9991e commit r16-2015-g372c2b540f699a8aa5016c03f3ebd531b2d9991e Author: Eric Botcazou Date: Fri Jun 20 18:12:57 2025 +0200 ada: Disable previous change for enumeration types The debugger cannot correctly interpret the return

[gcc r16-2012] ada: Do not generate incorrect warning about redundant type conversion

https://gcc.gnu.org/g:37ee107ddd833fd149f10af98259d75d6002da0a commit r16-2012-g37ee107ddd833fd149f10af98259d75d6002da0a Author: Steve Baird Date: Mon Jun 16 16:46:13 2025 -0700 ada: Do not generate incorrect warning about redundant type conversion If -gnatwr is enabled, then in s

[gcc r16-2014] ada: Add missing guards to previous change

https://gcc.gnu.org/g:c7f8a5b466496fb3362ac39a841d47a63c16e501 commit r16-2014-gc7f8a5b466496fb3362ac39a841d47a63c16e501 Author: Eric Botcazou Date: Wed Jun 18 09:52:44 2025 +0200 ada: Add missing guards to previous change We need to make sure that an integer type exists for the g

[gcc r16-2008] ada: Fix style in comment

https://gcc.gnu.org/g:1be44ed0cf21d64e1f5d2824699a69ae766755d7 commit r16-2008-g1be44ed0cf21d64e1f5d2824699a69ae766755d7 Author: Piotr Trojanek Date: Tue Jun 24 13:21:28 2025 +0200 ada: Fix style in comment Cleanup; technical commit meant to trigger a GNAT continuous builder.

[gcc r16-2013] ada: Improve code generated for return of Out parameter with access type

https://gcc.gnu.org/g:800ca478937f506952d72f7c9138540633c596c3 commit r16-2013-g800ca478937f506952d72f7c9138540633c596c3 Author: Eric Botcazou Date: Tue Jun 17 08:26:16 2025 +0200 ada: Improve code generated for return of Out parameter with access type The second problem occurs on

[gcc r16-2016] ada: Remove strange elaboration code generated for Cluster type in System.Pack_NN

https://gcc.gnu.org/g:ccf668274ac66f9692eb0b6775e522ed240890f7 commit r16-2016-gccf668274ac66f9692eb0b6775e522ed240890f7 Author: Eric Botcazou Date: Thu Jun 19 19:15:35 2025 +0200 ada: Remove strange elaboration code generated for Cluster type in System.Pack_NN Initialization pro

[gcc r16-1805] ada: Fix detection of ghost objects in unusual procedure calls

https://gcc.gnu.org/g:97d0c9f68e2b008cd41a297edd0c5d227d44cf14 commit r16-1805-g97d0c9f68e2b008cd41a297edd0c5d227d44cf14 Author: Piotr Trojanek Date: Thu Apr 24 10:43:18 2025 +0200 ada: Fix detection of ghost objects in unusual procedure calls When name of a called procedure invol

[gcc r16-1810] ada: Sort subprogram declaration in alphabetic order

https://gcc.gnu.org/g:72d1ce99f7e563eb5d7a5538d694f4ddce67e621 commit r16-1810-g72d1ce99f7e563eb5d7a5538d694f4ddce67e621 Author: Piotr Trojanek Date: Fri Apr 25 10:03:35 2025 +0200 ada: Sort subprogram declaration in alphabetic order Code cleanup; semantics is unaffected.

[gcc r16-1811] ada: Array aggregates of mutably tagged objects

https://gcc.gnu.org/g:3bb1b4acf6ae1c25031a271fd5325825fe069be6 commit r16-1811-g3bb1b4acf6ae1c25031a271fd5325825fe069be6 Author: Javier Miranda Date: Mon Mar 10 19:40:26 2025 + ada: Array aggregates of mutably tagged objects When an array of mutably tagged class-wide types is

[gcc r16-1806] ada: Tune name and commend document of a ghost utility routine

https://gcc.gnu.org/g:c76e68d30c1ffc31ad3afd2a659ff5eba490a1c2 commit r16-1806-gc76e68d30c1ffc31ad3afd2a659ff5eba490a1c2 Author: Piotr Trojanek Date: Thu Apr 24 10:53:14 2025 +0200 ada: Tune name and commend document of a ghost utility routine Detection of ghost entities work simi

[gcc r16-1801] ada: Fix detection of ghost objects in assignment statements

https://gcc.gnu.org/g:d47dc1143c2e93414051b97f94bb648f855a20a2 commit r16-1801-gd47dc1143c2e93414051b97f94bb648f855a20a2 Author: Piotr Trojanek Date: Fri Apr 18 16:43:38 2025 +0200 ada: Fix detection of ghost objects in assignment statements Remove duplicated and inconsistent code

[gcc r16-1815] ada: Remove uses of E_Void for subtype declarations

https://gcc.gnu.org/g:404f2794e56ad58f4a5ae42ca820e07da39d0237 commit r16-1815-g404f2794e56ad58f4a5ae42ca820e07da39d0237 Author: Ronan Desplanques Date: Mon Apr 28 14:54:39 2025 +0200 ada: Remove uses of E_Void for subtype declarations This patch slightly reorganizes Analyze_Subty

[gcc r16-1818] ada: Reuse Snames classification of reserved words

https://gcc.gnu.org/g:98b9ecc324aea049cefbb2a98f2d8b55f9bb7254 commit r16-1818-g98b9ecc324aea049cefbb2a98f2d8b55f9bb7254 Author: Ronan Desplanques Date: Tue Apr 29 14:34:47 2025 +0200 ada: Reuse Snames classification of reserved words Before this patch, Check_Future_Keyword had ha

[gcc r16-1783] ada: Adjust comparisons in if-statements according to coding style

https://gcc.gnu.org/g:f82d1502da4fa2de8ccb97545ba93bef040ba156 commit r16-1783-gf82d1502da4fa2de8ccb97545ba93bef040ba156 Author: Johannes Kliemann Date: Mon Apr 14 12:24:38 2025 + ada: Adjust comparisons in if-statements according to coding style The Ada coding style requires

[gcc r16-1784] ada: Fix internal error on expression function called for default expression

https://gcc.gnu.org/g:56eefdb97d74b59efa0a46072d88a6c2208e7cb2 commit r16-1784-g56eefdb97d74b59efa0a46072d88a6c2208e7cb2 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 r16-1785] ada: Fix internal error on Ghost aspect applied to Big_Integers

https://gcc.gnu.org/g:3ac5d2bd8d97513e8877ad3bc4ec03c0358914e0 commit r16-1785-g3ac5d2bd8d97513e8877ad3bc4ec03c0358914e0 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 r16-1794] ada: Remove redundant condition in test of System.Val_Real.Integer_To_Real

https://gcc.gnu.org/g:a61eb1d4ad7e1bf53303ae3ff7e6141e54f1f9af commit r16-1794-ga61eb1d4ad7e1bf53303ae3ff7e6141e54f1f9af Author: Eric Botcazou Date: Fri Apr 18 14:48:04 2025 +0200 ada: Remove redundant condition in test of System.Val_Real.Integer_To_Real The second condition of th

[gcc r16-1795] ada: Fix crash on nested access-to-subprogram types

https://gcc.gnu.org/g:e6d09348dc1cf93ee85274fec74848e1703b9f24 commit r16-1795-ge6d09348dc1cf93ee85274fec74848e1703b9f24 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 r16-1790] ada: Tweak handling of Parent field in Print_Node

https://gcc.gnu.org/g:1666d00bfbfe226948d147b6d561e6294227070e commit r16-1790-g1666d00bfbfe226948d147b6d561e6294227070e Author: Ronan Desplanques Date: Thu Apr 17 10:02:01 2025 +0200 ada: Tweak handling of Parent field in Print_Node Before this patch, Print_Node failed to honor i

[gcc r16-1817] ada: Remove obsolete comment

https://gcc.gnu.org/g:d5a1ff59d8b0eca8693b94b152f9042a577a4965 commit r16-1817-gd5a1ff59d8b0eca8693b94b152f9042a577a4965 Author: Ronan Desplanques Date: Mon Apr 28 18:04:42 2025 +0200 ada: Remove obsolete comment This patch removes a comment that was left over when an exception

[gcc r16-1799] ada: Elide copy for calls as values of nonlimited by-reference components

https://gcc.gnu.org/g:506db5396f8d46fa5e3b3178b87b406a3ca7584f commit r16-1799-g506db5396f8d46fa5e3b3178b87b406a3ca7584f Author: Eric Botcazou Date: Fri Apr 18 22:39:57 2025 +0200 ada: Elide copy for calls as values of nonlimited by-reference components ...in aggregates. This pre

[gcc r16-1809] ada: Ignore unchecked type conversions while getting enclosing object

https://gcc.gnu.org/g:a3e3ac6fa293c7798a28602da537d9c82468aed5 commit r16-1809-ga3e3ac6fa293c7798a28602da537d9c82468aed5 Author: Piotr Trojanek Date: Thu Apr 24 16:56:20 2025 +0200 ada: Ignore unchecked type conversions while getting enclosing object This patch both makes GNAT emi

[gcc r16-1821] ada: Refine use of Has_Exit

https://gcc.gnu.org/g:764a7c0b746d59230dacceaae29030b59f6b216c commit r16-1821-g764a7c0b746d59230dacceaae29030b59f6b216c Author: Ronan Desplanques Date: Tue Apr 29 10:26:50 2025 +0200 ada: Refine use of Has_Exit The description of the Has_Exit field in Einfo makes it pretty clear

[gcc r16-1814] ada: Remove useless Set_Scope calls

https://gcc.gnu.org/g:12aa6ad0d524fb7fa0f26a7d381a521b54fe1bdb commit r16-1814-g12aa6ad0d524fb7fa0f26a7d381a521b54fe1bdb Author: Ronan Desplanques Date: Fri Apr 18 12:51:33 2025 +0200 ada: Remove useless Set_Scope calls This patch remove calls to Set_Scope that have no effect beca

[gcc r16-1812] ada: Ignore ghost predicate in Ada.Strings.Superbounded

https://gcc.gnu.org/g:2f2107721504f67a85808b52c70fe985b35e5d02 commit r16-1812-g2f2107721504f67a85808b52c70fe985b35e5d02 Author: Claire Dross Date: Fri Apr 25 13:29:23 2025 +0200 ada: Ignore ghost predicate in Ada.Strings.Superbounded Add an assertion policy to ignore the ghost pr

[gcc r16-1813] ada: Fix missing rounding in System.Value_R.Scan_Raw_Real

https://gcc.gnu.org/g:23e1e5390492abce0fe9cd34413adce9a273640d commit r16-1813-g23e1e5390492abce0fe9cd34413adce9a273640d Author: Eric Botcazou Date: Sat Apr 26 15:18:57 2025 +0200 ada: Fix missing rounding in System.Value_R.Scan_Raw_Real The extra digit returned by the function is

[gcc r16-1820] ada: Make class-wide Max_Size_In_Storage_Elements return a large value

https://gcc.gnu.org/g:f2063c92d30d6b94f7d023ff0caf96c0b3e439ea commit r16-1820-gf2063c92d30d6b94f7d023ff0caf96c0b3e439ea 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 r16-1822] ada: Fix Execution_Successful value with exceptions

https://gcc.gnu.org/g:1b4f296d5510807c210bdcd96b547a99bfb93ae0 commit r16-1822-g1b4f296d5510807c210bdcd96b547a99bfb93ae0 Author: Viljar Indus Date: Thu Apr 24 13:14:40 2025 +0300 ada: Fix Execution_Successful value with exceptions Store the Exit_Code value and use that to generate

[gcc r16-1793] ada: Fix a couple of typos in the sanitizers for Ada

https://gcc.gnu.org/g:b535f066ac9cae62fa14d5885c89c7b0a3682599 commit r16-1793-gb535f066ac9cae62fa14d5885c89c7b0a3682599 Author: Jose Ruiz Date: Fri Apr 18 15:02:59 2025 +0200 ada: Fix a couple of typos in the sanitizers for Ada gcc/ada/ChangeLog: * doc/gnat_ugn/g

[gcc r16-1796] ada: Record type Put_Image procedures omitting discriminant values

https://gcc.gnu.org/g:6e3b7d9476a115da19735d6f9fe811a416087af2 commit r16-1796-g6e3b7d9476a115da19735d6f9fe811a416087af2 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-1800] ada: Fix fallout of latest change to aggregate expansion

https://gcc.gnu.org/g:eeb25a33f5b47d932b14e365b033c3122d80c7c4 commit r16-1800-geeb25a33f5b47d932b14e365b033c3122d80c7c4 Author: Eric Botcazou Date: Tue Apr 22 13:51:14 2025 +0200 ada: Fix fallout of latest change to aggregate expansion It exposed a small loophole in the Backend_P

[gcc r16-1804] ada: Fix bogus error for pragma No_Component_Reordering on record type

https://gcc.gnu.org/g:1d76aed2e92f3a064aed9ae694b813a3aa1ceffb commit r16-1804-g1d76aed2e92f3a064aed9ae694b813a3aa1ceffb 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 r16-1802] ada: 'Size'Class and interface types documentation

https://gcc.gnu.org/g:587128270fc95ebc664b3175087ea7c3acfb6a01 commit r16-1802-g587128270fc95ebc664b3175087ea7c3acfb6a01 Author: Steve Baird Date: Mon Apr 21 12:59:09 2025 -0700 ada: 'Size'Class and interface types documentation Update GNAT RM documentation of the Size'Class aspec

[gcc r16-1807] ada: Filling in gaps in handling of inherited Pre/Post'Class aspects

https://gcc.gnu.org/g:5638cb97186f9583947de15f66d5a527c1938832 commit r16-1807-g5638cb97186f9583947de15f66d5a527c1938832 Author: Gary Dismukes Date: Tue Apr 22 21:50:53 2025 + ada: Filling in gaps in handling of inherited Pre/Post'Class aspects The initial set of changes for d

[gcc r16-1803] ada: Remove redundant `gnatls -l` switch

https://gcc.gnu.org/g:2a37f95567b67ed24aecaf5440ca1a37ff426a05 commit r16-1803-g2a37f95567b67ed24aecaf5440ca1a37ff426a05 Author: Tonu Naks Date: Wed Apr 23 14:44:16 2025 + ada: Remove redundant `gnatls -l` switch gcc/ada/ChangeLog: * gnatls.adb: remove -l swit

[gcc r16-1816] ada: Fix bug in -gnatw.o switch (unreferenced out parameters)

https://gcc.gnu.org/g:0558fc324b49b16befcbf50ad703050430477211 commit r16-1816-g0558fc324b49b16befcbf50ad703050430477211 Author: Bob Duff Date: Sun Apr 27 15:15:51 2025 -0400 ada: Fix bug in -gnatw.o switch (unreferenced out parameters) Fixes this bug: If -gnatw.o is specified, it

[gcc r16-1788] ada: Document sanitizers for Ada

https://gcc.gnu.org/g:bdac2b9f63a81bc555b4fcce05ec22f922ba746d commit r16-1788-gbdac2b9f63a81bc555b4fcce05ec22f922ba746d Author: Jose Ruiz Date: Wed Apr 16 16:16:14 2025 +0200 ada: Document sanitizers for Ada gcc/ada/ChangeLog: * doc/gnat_ugn/gnat_and_program_exec

[gcc r16-1787] ada: Remove dead branch from Get_Enclosing_Object

https://gcc.gnu.org/g:69bf47b6eca46dd92381849fdf8c4c37750423f1 commit r16-1787-g69bf47b6eca46dd92381849fdf8c4c37750423f1 Author: Piotr Trojanek Date: Tue Jan 16 22:43:09 2024 +0100 ada: Remove dead branch from Get_Enclosing_Object The dead branch in routine Get_Enclosing_Object wa

[gcc r16-1786] ada: Fix Itype-related predicate check omissions.

https://gcc.gnu.org/g:17bec6c53d41ce4510ae1b6bfa1e36beab6546d5 commit r16-1786-g17bec6c53d41ce4510ae1b6bfa1e36beab6546d5 Author: Steve Baird Date: Mon Apr 7 14:15:37 2025 -0700 ada: Fix Itype-related predicate check omissions. Clean up problematic interactions between Itype subtyp

[gcc r16-1792] ada: Add entity chain debug printing subprograms

https://gcc.gnu.org/g:09cd7f3856d5bb0cc3c288736027b3f801825e55 commit r16-1792-g09cd7f3856d5bb0cc3c288736027b3f801825e55 Author: Ronan Desplanques Date: Thu Apr 17 11:50:42 2025 +0200 ada: Add entity chain debug printing subprograms This patchs adds two pn-like subprograms that pr

[gcc r16-1791] ada: Fix typo in comment

https://gcc.gnu.org/g:208da63ffb806846717926cc7fcd8a34221277b5 commit r16-1791-g208da63ffb806846717926cc7fcd8a34221277b5 Author: Ronan Desplanques Date: Thu Apr 17 11:48:59 2025 +0200 ada: Fix typo in comment gcc/ada/ChangeLog: * atree.ads (Parent_Or_List_Containi

[gcc r16-1789] ada: Document sanitizers for Ada

https://gcc.gnu.org/g:66ef410fa3a36bcf95785c7794b1a18687de245b commit r16-1789-g66ef410fa3a36bcf95785c7794b1a18687de245b Author: Jose Ruiz Date: Wed Apr 16 16:16:14 2025 +0200 ada: Document sanitizers for Ada gcc/ada/ChangeLog: * doc/gnat_ugn/gnat_and_program_exec

[gcc r16-1797] ada: include header to declare isalpha in adaint

https://gcc.gnu.org/g:c2f5914bc6796263798899c6cb1ef4ebfc559ec5 commit r16-1797-gc2f5914bc6796263798899c6cb1ef4ebfc559ec5 Author: Alexandre Oliva Date: Thu Apr 17 01:18:30 2025 -0300 ada: include header to declare isalpha in adaint A vxworks-specific part of adaint.c calls isalpha

[gcc r16-1798] ada: use pointer decay for socket address type compatibility

https://gcc.gnu.org/g:48d059622bd27e7debdf71c40807f6c8f6a3 commit r16-1798-g48d059622bd27e7debdf71c40807f6c8f6a3 Author: Alexandre Oliva Date: Thu Apr 17 01:19:24 2025 -0300 ada: use pointer decay for socket address type compatibility GCC 14 is stricter about type conversi

[gcc r16-1808] ada: Fix Itype-related predicate check omissions (part 2).

https://gcc.gnu.org/g:74a7c286be8259bd645fad68cbb356cad18403d8 commit r16-1808-g74a7c286be8259bd645fad68cbb356cad18403d8 Author: Steve Baird Date: Mon Apr 21 11:57:30 2025 -0700 ada: Fix Itype-related predicate check omissions (part 2). Add to the previous fix for this issue to be

[gcc r16-1853] ada: Mark errors that are removed as deleted

https://gcc.gnu.org/g:ead57a9ad8cb8431864f9ebe86778be58c76e159 commit r16-1853-gead57a9ad8cb8431864f9ebe86778be58c76e159 Author: Viljar Indus Date: Wed Apr 30 13:50:27 2025 +0300 ada: Mark errors that are removed as deleted gcc/ada/ChangeLog: * errout.adb (Remove_

[gcc r16-1843] ada: Minor fix in handling of inherited Pre/Post'Class aspect

https://gcc.gnu.org/g:709bf32c15dc104827d792897dc85408fabb2557 commit r16-1843-g709bf32c15dc104827d792897dc85408fabb2557 Author: Martin Clochard Date: Tue Apr 29 11:36:19 2025 +0200 ada: Minor fix in handling of inherited Pre/Post'Class aspect Mapping of calls to primitive functio

[gcc r16-1850] ada: Fix wrong finalization of constrained array derived from unconstrained

https://gcc.gnu.org/g:579c431fa3728f1cb2d99df862ebf6c475cf01b2 commit r16-1850-g579c431fa3728f1cb2d99df862ebf6c475cf01b2 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 r16-1862] ada: Move aspects when instantiating subprograms as compilation units

https://gcc.gnu.org/g:04d7a0e93946988bbaee5ead468df7b8ce3223ed commit r16-1862-g04d7a0e93946988bbaee5ead468df7b8ce3223ed Author: Piotr Trojanek Date: Fri May 9 17:31:39 2025 +0200 ada: Move aspects when instantiating subprograms as compilation units When rewriting N_Subprogram_Ins

[gcc r16-1868] ada: Correct comment in s-valuen.ads

https://gcc.gnu.org/g:3aa7f6c8174ea07cc0f3406c779360988dcae010 commit r16-1868-g3aa7f6c8174ea07cc0f3406c779360988dcae010 Author: Aleksandra Pasek Date: Thu May 15 21:40:55 2025 + ada: Correct comment in s-valuen.ads gcc/ada/ChangeLog: * libgnat/s-valuen.ads: C

  1   2   3   4   5   >