[gcc r16-2340] ada: Spurious actual/formal matching check failure for formal derived type.

https://gcc.gnu.org/g:e94fe9439a690912e79e4cdb9ba4a8287e0749f7 commit r16-2340-ge94fe9439a690912e79e4cdb9ba4a8287e0749f7 Author: Steve Baird Date: Thu Jun 26 12:23:53 2025 -0700 ada: Spurious actual/formal matching check failure for formal derived type. In some cases involving a g

[gcc r16-2339] ada: Back out change to Tbuild.Unchecked_Convert_To

https://gcc.gnu.org/g:8c828583366c8b3877cc4488749b72e954b5df64 commit r16-2339-g8c828583366c8b3877cc4488749b72e954b5df64 Author: Bob Duff Date: Fri Jun 27 12:00:54 2025 -0400 ada: Back out change to Tbuild.Unchecked_Convert_To ...because it breaks one test that uses --RTS=light.

[gcc r16-2338] ada: Do not inline function returning on the secondary stack

https://gcc.gnu.org/g:ac357a72ddc6d558546fd610739441be3fefd619 commit r16-2338-gac357a72ddc6d558546fd610739441be3fefd619 Author: Marc Poulhiès Date: Fri Jun 20 16:10:25 2025 +0200 ada: Do not inline function returning on the secondary stack When inlining function calls that return

[gcc r16-2337] ada: Incorrect resolution of prefixed calls with overriding private subprogram

https://gcc.gnu.org/g:607d45e7a5fd948223181756f8fb6c299f0a67c3 commit r16-2337-g607d45e7a5fd948223181756f8fb6c299f0a67c3 Author: Gary Dismukes Date: Tue Jun 17 21:55:58 2025 + ada: Incorrect resolution of prefixed calls with overriding private subprogram The compiler incorrec

[gcc r16-2336] ada: Elaboration entity must not be ghost in ghost generic instances

https://gcc.gnu.org/g:02c6ea423525f1953d1c97bcaf29a4569bcf0edb commit r16-2336-g02c6ea423525f1953d1c97bcaf29a4569bcf0edb Author: Piotr Trojanek Date: Thu Jun 26 14:57:14 2025 +0200 ada: Elaboration entity must not be ghost in ghost generic instances For non-instance units GNAT bui

[gcc r16-2335] ada: Array aggregates of mutably tagged objects (part 2)

https://gcc.gnu.org/g:92491369652cb738287fbe31295e4ef0a8e6c394 commit r16-2335-g92491369652cb738287fbe31295e4ef0a8e6c394 Author: Javier Miranda Date: Tue Jun 17 13:09:11 2025 + ada: Array aggregates of mutably tagged objects (part 2) gcc/ada/ChangeLog: * exp_a

[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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-1860] ada: Document sanitizers in mixed-language applications

https://gcc.gnu.org/g:b1403bb26a8d88bc07a1c81b131e9b5921e3efce commit r16-1860-gb1403bb26a8d88bc07a1c81b131e9b5921e3efce Author: Jose Ruiz Date: Fri May 9 17:24:33 2025 +0200 ada: Document sanitizers in mixed-language applications gcc/ada/ChangeLog: * doc/gnat_ugn

[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-1882] ada: Fix ALI elaboration flags for ghost compilation units

https://gcc.gnu.org/g:176e9d801490511675772182b7d2b04b2a658ca4 commit r16-1882-g176e9d801490511675772182b7d2b04b2a658ca4 Author: Piotr Trojanek Date: Thu May 22 16:46:17 2025 +0200 ada: Fix ALI elaboration flags for ghost compilation units When GNAT was compiling a ghost unit, the

[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-1855] ada: Remove Count_Compile_Time_Pragma_Warnings

https://gcc.gnu.org/g:650b15296303516f5a84806522a7a8546a5cea9d commit r16-1855-g650b15296303516f5a84806522a7a8546a5cea9d Author: Viljar Indus Date: Wed Apr 30 14:00:49 2025 +0300 ada: Remove Count_Compile_Time_Pragma_Warnings Use a live counter Compile_Time_Pragma_Warnings to keep

[gcc r16-1857] ada: Dispatching call with mutably tagged objects

https://gcc.gnu.org/g:9403c84cc26f62d1c83ab8999bacd81d511347f4 commit r16-1857-g9403c84cc26f62d1c83ab8999bacd81d511347f4 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 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

[gcc r16-1883] ada: Restore consistent rounding of 'Value for ordinary fixed-point types

https://gcc.gnu.org/g:5d792d68bd9b3d6c2ca87989b4839fed75a85810 commit r16-1883-g5d792d68bd9b3d6c2ca87989b4839fed75a85810 Author: Eric Botcazou Date: Mon May 26 12:21:02 2025 +0200 ada: Restore consistent rounding of 'Value for ordinary fixed-point types This restores the rounding

[gcc r16-1881] ada: Remove unused variables from the binder generation routine

https://gcc.gnu.org/g:4137ec1ca20a42f51b112284bd586ba3f9bbabf3 commit r16-1881-g4137ec1ca20a42f51b112284bd586ba3f9bbabf3 Author: Piotr Trojanek Date: Thu May 22 12:16:18 2025 +0200 ada: Remove unused variables from the binder generation routine Remove leftovers from zero cost exce

[gcc r16-1880] ada: Disallow underscore before exponent

https://gcc.gnu.org/g:a9ba0f18bded853cc6504b0843fe05c99c2f03fc commit r16-1880-ga9ba0f18bded853cc6504b0843fe05c99c2f03fc Author: Tonu Naks Date: Thu May 22 13:07:08 2025 + ada: Disallow underscore before exponent Underscore is allowed only between digits. The current implement

[gcc r16-1879] ada: Fix couple of issues in System.Value_D.Integer_To_Decimal function

https://gcc.gnu.org/g:3a0eabf75a7bad46807e34a7142abc15af3e20c8 commit r16-1879-g3a0eabf75a7bad46807e34a7142abc15af3e20c8 Author: Eric Botcazou Date: Wed May 21 15:15:48 2025 +0200 ada: Fix couple of issues in System.Value_D.Integer_To_Decimal function The first issue is that the f

[gcc r16-1878] ada: Do minimal expansion of fixedpoint operations for GNATprove

https://gcc.gnu.org/g:996265df2030ca96ffb4f58a74abc80293b0ba92 commit r16-1878-g996265df2030ca96ffb4f58a74abc80293b0ba92 Author: Piotr Trojanek Date: Wed May 21 16:17:12 2025 +0200 ada: Do minimal expansion of fixedpoint operations for GNATprove A minimal expansion of fixedpoint o

[gcc r16-1874] ada: Split the unit System.Case_Utilities into two parts.

https://gcc.gnu.org/g:d089300efc6e8d949176424e5bd2f0be3067cfed commit r16-1874-gd089300efc6e8d949176424e5bd2f0be3067cfed Author: Steve Baird Date: Mon Apr 21 15:28:39 2025 -0700 ada: Split the unit System.Case_Utilities into two parts. The package System.Case_Utilities provides so

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

https://gcc.gnu.org/g:64efbc69e93e7c052300131f64b3ea5134a88d71 commit r16-1877-g64efbc69e93e7c052300131f64b3ea5134a88d71 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 r16-1875] ada: Reduce the likelihood of overflow in Tanh

https://gcc.gnu.org/g:047e4a5a3562ee7b87e49887d489518225ef8424 commit r16-1875-g047e4a5a3562ee7b87e49887d489518225ef8424 Author: Tonu Naks Date: Mon May 19 17:20:41 2025 + ada: Reduce the likelihood of overflow in Tanh gcc/ada/ChangeLog: * libgnat/a-ngelfu.adb

[gcc r16-1876] ada: Warn on untagged record type equality

https://gcc.gnu.org/g:f1c22e6ea6e384ad07cb94dc20595de3e2b59e1d commit r16-1876-gf1c22e6ea6e384ad07cb94dc20595de3e2b59e1d Author: Javier Miranda Date: Fri May 16 17:59:43 2025 + ada: Warn on untagged record type equality The frontend reports a warning when no component of an un

[gcc r16-1871] ada: Small tweak to latest change

https://gcc.gnu.org/g:651749d904bcab40061e3df4b03cb491fce7f2a8 commit r16-1871-g651749d904bcab40061e3df4b03cb491fce7f2a8 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 r16-1872] ada: Add GNAT LLVM selection in GPR project file.

https://gcc.gnu.org/g:f311c9f3412f9266db12230fae76f6aa5d949619 commit r16-1872-gf311c9f3412f9266db12230fae76f6aa5d949619 Author: Artur Pietrek Date: Mon May 19 14:33:28 2025 +0200 ada: Add GNAT LLVM selection in GPR project file. gcc/ada/ChangeLog: * doc/gnat_ugn/

[gcc r16-1873] ada: Compiler fails on unchecked deallocation for constrained protected subtype

https://gcc.gnu.org/g:d84ca1055dd1fe9c66d43151516f45344711015c commit r16-1873-gd84ca1055dd1fe9c66d43151516f45344711015c 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 r16-1870] ada: Add "continue" GNAT extension

https://gcc.gnu.org/g:0214c0c49564b1c5bb68d8d79aceaa31c3fdfc89 commit r16-1870-g0214c0c49564b1c5bb68d8d79aceaa31c3fdfc89 Author: Ronan Desplanques Date: Fri May 16 10:47:06 2025 +0200 ada: Add "continue" GNAT extension This extension adds "continue" as a nonreserved keyword, and t

[gcc r16-1865] ada: Replace references for GLADE with PolyORB

https://gcc.gnu.org/g:a61f29bc1b9567f0b23ae9074ccc95588b7aae77 commit r16-1865-ga61f29bc1b9567f0b23ae9074ccc95588b7aae77 Author: Tonu Naks Date: Wed May 14 14:16:19 2025 + ada: Replace references for GLADE with PolyORB gcc/ada/ChangeLog: * doc/gnat_rm/implemen

[gcc r16-1869] ada: Disable -gnatR2 output in case of object renamings

https://gcc.gnu.org/g:ed0e710f222d9e5893d69e32a84caf363ac8415b commit r16-1869-ged0e710f222d9e5893d69e32a84caf363ac8415b Author: Bob Duff Date: Fri May 16 09:04:48 2025 -0400 ada: Disable -gnatR2 output in case of object renamings Such output was unnecessary, and in some cases har

[gcc r16-1867] ada: include string.h

https://gcc.gnu.org/g:8a6418d06b57273d9d012aafb8af7b15cb5fa5ea commit r16-1867-g8a6418d06b57273d9d012aafb8af7b15cb5fa5ea Author: Alexandre Oliva Date: Thu May 15 00:07:03 2025 -0300 ada: include string.h __gnat_install_handler calls strncmp when __HANDLE_VXSIM_SC is defined, s

[gcc r16-1863] ada: freeze.adb: do not emit error on non-aligned component in CodePeer_Mode

https://gcc.gnu.org/g:9a60db69ed6ab56a31027f1d509734362899c7e8 commit r16-1863-g9a60db69ed6ab56a31027f1d509734362899c7e8 Author: Ghjuvan Lacambre Date: Fri May 9 11:20:18 2025 +0200 ada: freeze.adb: do not emit error on non-aligned component in CodePeer_Mode These errors hinder an

[gcc r16-1859] ada: Handle Warnings_As_Errors the same way.

https://gcc.gnu.org/g:4a7010db26e49f965c9196f6cbbc01d82af31fa8 commit r16-1859-g4a7010db26e49f965c9196f6cbbc01d82af31fa8 Author: Viljar Indus Date: Fri May 2 13:04:55 2025 +0300 ada: Handle Warnings_As_Errors the same way. There are multiple scenarios where warnings can be turned

[gcc r16-1864] ada: use __builtin_alloca for alloca on vxworks

https://gcc.gnu.org/g:5865f95da8ffa1d65dbe17c1fc08bf4dd2025393 commit r16-1864-g5865f95da8ffa1d65dbe17c1fc08bf4dd2025393 Author: Alexandre Oliva Date: Mon May 12 23:23:14 2025 -0300 ada: use __builtin_alloca for alloca on vxworks Several adaint.c functions call alloca, but vxworks

[gcc r16-1858] ada: Fix wrong finalization of constrained subtype of unconstrained array type

https://gcc.gnu.org/g:b55ca90e276d724aea4aea8d924af54d23a6 commit r16-1858-gb55ca90e276d724aea4aea8d924af54d23a6 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 r16-1852] ada: Remove spurious warnings about No_Exception_Propagation in GNATprove mode

https://gcc.gnu.org/g:e65b5c49b93afd69407b0133ac3ef7920125b69f commit r16-1852-ge65b5c49b93afd69407b0133ac3ef7920125b69f Author: Martin Clochard Date: Tue May 6 15:59:16 2025 +0200 ada: Remove spurious warnings about No_Exception_Propagation in GNATprove mode gcc/ada/ChangeLog:

[gcc r16-1861] ada: Remove useless subexpressions

https://gcc.gnu.org/g:c687da8189ec29c1dc8c25429b98fbd9f66b0d2e commit r16-1861-gc687da8189ec29c1dc8c25429b98fbd9f66b0d2e Author: Ronan Desplanques Date: Fri May 9 10:15:09 2025 +0200 ada: Remove useless subexpressions The subexpressions this patch removes were clearly useless give

[gcc r16-1854] ada: Use common routine to handle warning counting

https://gcc.gnu.org/g:8fde76ed70d3570906f8a08e0900ae29c7ada3f6 commit r16-1854-g8fde76ed70d3570906f8a08e0900ae29c7ada3f6 Author: Viljar Indus Date: Wed Apr 30 13:53:03 2025 +0300 ada: Use common routine to handle warning counting gcc/ada/ChangeLog: * errout.adb (D

[gcc r16-1851] ada: Remove dead assignment

https://gcc.gnu.org/g:fc23c496e123be827df0e0d768a81a1204746e5a commit r16-1851-gfc23c496e123be827df0e0d768a81a1204746e5a Author: Eric Botcazou Date: Tue May 6 09:03:44 2025 +0200 ada: Remove dead assignment The assignment sets the Etype of a node to itsef. gcc/ada/ChangeL

[gcc r16-1856] ada: Improve Warning_Treated_As_Error

https://gcc.gnu.org/g:1c305725296d126fb223aaa5dee8fea1a82a9aef commit r16-1856-g1c305725296d126fb223aaa5dee8fea1a82a9aef Author: Viljar Indus Date: Mon May 5 10:06:56 2025 +0300 ada: Improve Warning_Treated_As_Error gcc/ada/ChangeLog: * errout.adb (Error_Msg_Inter

[gcc r16-1847] ada: Set ekind of loop parameters earlier

https://gcc.gnu.org/g:ec63adfd513a5c3f088fe9776d9c33d4ae0737e8 commit r16-1847-gec63adfd513a5c3f088fe9776d9c33d4ae0737e8 Author: Ronan Desplanques Date: Wed Apr 16 12:33:11 2025 +0200 ada: Set ekind of loop parameters earlier gcc/ada/ChangeLog: * sem_ch5.adb (Anal

[gcc r16-1848] ada: Clarify numeric parsing code

https://gcc.gnu.org/g:ba50ebb54d800eecb84cbe8ddb5b50f388be7c34 commit r16-1848-gba50ebb54d800eecb84cbe8ddb5b50f388be7c34 Author: Ronan Desplanques Date: Mon May 5 11:37:00 2025 +0200 ada: Clarify numeric parsing code This patch rephrases some code in System.Value_R to make it easi

[gcc r16-1849] ada: Get rid of multiple roundings for 'Value of ordinary fixed-point types

https://gcc.gnu.org/g:603ed2b3ef8c73a98b968d16f4791a7074fb42d9 commit r16-1849-g603ed2b3ef8c73a98b968d16f4791a7074fb42d9 Author: Eric Botcazou Date: Wed Apr 30 09:56:42 2025 +0200 ada: Get rid of multiple roundings for 'Value of ordinary fixed-point types They are used to minimize

[gcc r16-1846] ada: Small cleanup in the finalization machinery

https://gcc.gnu.org/g:d370587385f9772ecb97526ea07818b83099c7f3 commit r16-1846-gd370587385f9772ecb97526ea07818b83099c7f3 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 r16-1845] ada: Fix wrong finalization of temporary constrained array of controlled type

https://gcc.gnu.org/g:f134796c970524868b0ae568d6ff2ec473711e62 commit r16-1845-gf134796c970524868b0ae568d6ff2ec473711e62 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

  1   2   3   4   >