[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-1165] ada: Fix SFN_Patterns documentation comment

https://gcc.gnu.org/g:8a419accb7741c317cede9466c369666d2ee2462 commit r16-1165-g8a419accb7741c317cede9466c369666d2ee2462 Author: Ronan Desplanques Date: Mon Feb 3 14:22:22 2025 +0100 ada: Fix SFN_Patterns documentation comment The documentation comment under SFN_Patterns was misle

[gcc r16-1160] ada: Exception-raising loop incorrectly eliminated

https://gcc.gnu.org/g:429628e9d38663b15b919d65ef5db8a6e85db89f commit r16-1160-g429628e9d38663b15b919d65ef5db8a6e85db89f 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 r16-1168] ada: Confusing "modified by call, but value overwritten" warning

https://gcc.gnu.org/g:abc2efc4fba94bc4043031dc891d45ba9ad10919 commit r16-1168-gabc2efc4fba94bc4043031dc891d45ba9ad10919 Author: squirek Date: Mon Jan 13 21:04:51 2025 + ada: Confusing "modified by call, but value overwritten" warning The patch fixes an issue in the compiler w

[gcc r16-1141] ada: Mark the types of operator arguments as used

https://gcc.gnu.org/g:f60377fd66e5d10d58ee667230a3e1f4f6f150e2 commit r16-1141-gf60377fd66e5d10d58ee667230a3e1f4f6f150e2 Author: Viljar Indus Date: Thu Jan 9 12:37:56 2025 +0200 ada: Mark the types of operator arguments as used When a use type clause is used then it makes the type

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

https://gcc.gnu.org/g:9d7bdc266174b3e477dd51818e095cdf149eb2d1 commit r16-1152-g9d7bdc266174b3e477dd51818e095cdf149eb2d1 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 r16-1163] ada: Activate SPARK_Mode in Ada.Numerics.*_Random specs

https://gcc.gnu.org/g:c657fe1488649a919f7cc48ea2b74c8aa062c5b8 commit r16-1163-gc657fe1488649a919f7cc48ea2b74c8aa062c5b8 Author: Andres Toom Date: Tue Jan 28 15:41:27 2025 +0200 ada: Activate SPARK_Mode in Ada.Numerics.*_Random specs gcc/ada/ChangeLog: * libgnat/a

[gcc r16-1157] ada: Fix crash on access to protected return

https://gcc.gnu.org/g:201fd7899da99767f88fbd75d61b20fdc0cc190d commit r16-1157-g201fd7899da99767f88fbd75d61b20fdc0cc190d 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 r16-1149] ada: Reject Valid_Value arguments originating from Standard

https://gcc.gnu.org/g:ed34ee07843e07932411ecf2d0582faa96b57380 commit r16-1149-ged34ee07843e07932411ecf2d0582faa96b57380 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 r16-1153] ada: Mitigate issue with tracebacks

https://gcc.gnu.org/g:d46138a434b1b372b84dfeef25e8b79679196179 commit r16-1153-gd46138a434b1b372b84dfeef25e8b79679196179 Author: Ronan Desplanques Date: Thu Jan 30 16:02:31 2025 +0100 ada: Mitigate issue with tracebacks The way we fetch the path to shared objects for traceback gen

[gcc r16-1151] ada: Add missing Ghost aspect to Lemma_Not_In_Range_Big2xx32 in s-arit32.adb

https://gcc.gnu.org/g:d4325877f35c8984680319c76af8274dd35c40fb commit r16-1151-gd4325877f35c8984680319c76af8274dd35c40fb Author: Johannes Kliemann Date: Tue Jan 28 12:13:31 2025 + ada: Add missing Ghost aspect to Lemma_Not_In_Range_Big2xx32 in s-arit32.adb gcc/ada/ChangeLog:

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

https://gcc.gnu.org/g:ef505b3a829acdba9e0a8df75aed8dcda4afce81 commit r16-1130-gef505b3a829acdba9e0a8df75aed8dcda4afce81 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 r16-1155] ada: Tweak caching of streaming subprograms

https://gcc.gnu.org/g:700f14ab3240d4ea1b594976f6a0c278581df7d9 commit r16-1155-g700f14ab3240d4ea1b594976f6a0c278581df7d9 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 r16-1164] ada: Tweak wording of documentation comments in Atree

https://gcc.gnu.org/g:b35d2322d7b970e1e6eab2094bfebbccf661ae17 commit r16-1164-gb35d2322d7b970e1e6eab2094bfebbccf661ae17 Author: Ronan Desplanques Date: Fri Feb 7 14:43:37 2025 +0100 ada: Tweak wording of documentation comments in Atree This patch removes an outdated reference to

[gcc r16-1158] ada: Add Ghost aspect to Lo in s-arit32.adb

https://gcc.gnu.org/g:4405925143b620b9c18889cc79433d90100416d7 commit r16-1158-g4405925143b620b9c18889cc79433d90100416d7 Author: Aleksandra Pasek Date: Mon Feb 3 18:09:36 2025 + ada: Add Ghost aspect to Lo in s-arit32.adb gcc/ada/ChangeLog: * libgnat/s-arit32.

[gcc r16-1159] ada: Missing error on expression function returning incomplete type

https://gcc.gnu.org/g:9fc6eedace2607c5e322f4b874f290975f0d2b0e commit r16-1159-g9fc6eedace2607c5e322f4b874f290975f0d2b0e Author: Javier Miranda Date: Tue Feb 4 19:41:53 2025 + ada: Missing error on expression function returning incomplete type When the type of the expression o

[gcc r16-1162] ada: Spurious compilation error with repeated loop index

https://gcc.gnu.org/g:5ece6a808254ca1653872cc2ca64a72e91d19731 commit r16-1162-g5ece6a808254ca1653872cc2ca64a72e91d19731 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 r16-1131] ada: Use absolute paths in SARIF reports

https://gcc.gnu.org/g:0827f611f87041f1b0fadba68c0f08506d44ce3e commit r16-1131-g0827f611f87041f1b0fadba68c0f08506d44ce3e Author: Viljar Indus Date: Mon Dec 2 12:18:06 2024 +0200 ada: Use absolute paths in SARIF reports gcc/ada/ChangeLog: * diagnostics-json_utils.a

[gcc r16-1138] ada: Fix New_Char_Array with empty arrays

https://gcc.gnu.org/g:ac936aa57ee0b0a867e80233efefa204b2ae2bc7 commit r16-1138-gac936aa57ee0b0a867e80233efefa204b2ae2bc7 Author: Ronan Desplanques Date: Thu Jan 16 12:55:37 2025 +0100 ada: Fix New_Char_Array with empty arrays This patch fixes an integer underflow issue on calls of

[gcc r16-1132] ada: Spurious accessibility error with -gnatc

https://gcc.gnu.org/g:b56a782224d90205710311a3623769a5d8befe28 commit r16-1132-gb56a782224d90205710311a3623769a5d8befe28 Author: squirek Date: Tue Jan 14 06:40:08 2025 + ada: Spurious accessibility error with -gnatc The patch fixes an issue in the compiler whereby a spurious a

[gcc r16-1140] ada: Fix couple of remaining incompatibilities with CHERI architecture

https://gcc.gnu.org/g:9a6162488992afca390e01d4c1ba9264fd10eab8 commit r16-1140-g9a6162488992afca390e01d4c1ba9264fd10eab8 Author: Eric Botcazou Date: Thu Jan 16 15:51:00 2025 +0100 ada: Fix couple of remaining incompatibilities with CHERI architecture These are the usual problemati

[gcc r16-1133] ada: Cleanup preanalysis of static expressions (part 6)

https://gcc.gnu.org/g:3c95e0e8938e26298534eceb70a3ffb7b56c413e commit r16-1133-g3c95e0e8938e26298534eceb70a3ffb7b56c413e Author: Javier Miranda Date: Tue Jan 14 11:08:57 2025 + ada: Cleanup preanalysis of static expressions (part 6) Rename Preanalyze_Spec_Expression as Preanal

[gcc r16-1150] ada: Fix reproducer generation

https://gcc.gnu.org/g:df0d3b2491c5ee7859762c4b677b17b3dede3dc5 commit r16-1150-gdf0d3b2491c5ee7859762c4b677b17b3dede3dc5 Author: Ronan Desplanques Date: Mon Jan 20 16:14:21 2025 +0100 ada: Fix reproducer generation This patch fixes reproducer generation in the case of crashes in t

[gcc r16-1142] ada: Spurious accessibility error with -gnatc

https://gcc.gnu.org/g:c328b54f15d81b021bb3ae3084f49b61cd52b1d3 commit r16-1142-gc328b54f15d81b021bb3ae3084f49b61cd52b1d3 Author: squirek Date: Thu Jan 16 17:09:49 2025 + ada: Spurious accessibility error with -gnatc The patch fixes an issue in the compiler whereby a spurious a

[gcc r16-1143] ada: Extend and clarify documentation of stack size settings for Windows

https://gcc.gnu.org/g:59772414183d2df27efbd7bff7aaabba19e32309 commit r16-1143-g59772414183d2df27efbd7bff7aaabba19e32309 Author: Piotr Trojanek Date: Thu Jan 16 17:41:56 2025 +0100 ada: Extend and clarify documentation of stack size settings for Windows The original documentation

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

https://gcc.gnu.org/g:1869441107b42ab00e8ea3d69c496dfb1cb9aecd commit r16-1129-g1869441107b42ab00e8ea3d69c496dfb1cb9aecd 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 r16-1136] ada: Fix Generate_Minimal_Reproducer on instantiations

https://gcc.gnu.org/g:2f65e9eaafbc5aec42fbb3bf0a01c1a930e8ac9e commit r16-1136-g2f65e9eaafbc5aec42fbb3bf0a01c1a930e8ac9e Author: Ronan Desplanques Date: Wed Jan 15 09:54:45 2025 +0100 ada: Fix Generate_Minimal_Reproducer on instantiations Before this patch, the code that creates a

[gcc r16-1137] ada: Fix adareducer oracle generation

https://gcc.gnu.org/g:f606f2417b33d88f70b735c1f94f52de5d121ae7 commit r16-1137-gf606f2417b33d88f70b735c1f94f52de5d121ae7 Author: Ronan Desplanques Date: Wed Jan 15 09:57:10 2025 +0100 ada: Fix adareducer oracle generation This patch adds a missing "-quiet" switch to the compiler i

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

https://gcc.gnu.org/g:484795c24b2f4629db8b91e37656c0e6bd514156 commit r16-1139-g484795c24b2f4629db8b91e37656c0e6bd514156 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 r16-1145] ada: Fix unnecessarily large allocation in New_String

https://gcc.gnu.org/g:d8610fb01b7a380acdd5872f4eb080599643f903 commit r16-1145-gd8610fb01b7a380acdd5872f4eb080599643f903 Author: Ronan Desplanques Date: Mon Jan 20 13:37:08 2025 +0100 ada: Fix unnecessarily large allocation in New_String This patches fixes an issue where Interface

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

https://gcc.gnu.org/g:755f3d9ba29953f2bee6e46644a5233b31ea2f4f commit r16-1135-g755f3d9ba29953f2bee6e46644a5233b31ea2f4f 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 r16-1134] ada: Mark constants inside a declare expression as referenced

https://gcc.gnu.org/g:453724978e48cc0fb9854cbb961ba2cd96192ba8 commit r16-1134-g453724978e48cc0fb9854cbb961ba2cd96192ba8 Author: Viljar Indus Date: Tue Jan 14 13:31:04 2025 +0200 ada: Mark constants inside a declare expression as referenced Expressions within a declare expression

[gcc r16-1146] ada: Fix various issues in the SARIF report

https://gcc.gnu.org/g:64d277b6b823966fefd2818005de1789de9ca016 commit r16-1146-g64d277b6b823966fefd2818005de1789de9ca016 Author: Viljar Indus Date: Mon Jan 20 20:04:59 2025 +0200 ada: Fix various issues in the SARIF report gcc/ada/ChangeLog: * diagnostics-sarif_em

[gcc r16-1144] ada: Implement use implies with experimental extension

https://gcc.gnu.org/g:83790d83c9f3eb0c2819d0e22e529cf785c71bd9 commit r16-1144-g83790d83c9f3eb0c2819d0e22e529cf785c71bd9 Author: squirek Date: Fri Jan 17 15:38:43 2025 + ada: Implement use implies with experimental extension The patch implements the experimental feature to all

[gcc r16-1147] ada: Add error message for a declared-too-late abstract state constituent

https://gcc.gnu.org/g:2172d3efbc6ad5fad78288ece54cd0149838e8cf commit r16-1147-g2172d3efbc6ad5fad78288ece54cd0149838e8cf Author: Steve Baird Date: Tue Jan 14 15:53:57 2025 -0800 ada: Add error message for a declared-too-late abstract state constituent In the error case of an undef

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

https://gcc.gnu.org/g:69f1d543edeb192a05bac7ff8a07350dbb3d986f commit r16-1148-g69f1d543edeb192a05bac7ff8a07350dbb3d986f 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 r16-1161] ada: Remove useless global variable

https://gcc.gnu.org/g:cf1f3f7c34292a11ee831b61d44b5cbab280e272 commit r16-1161-gcf1f3f7c34292a11ee831b61d44b5cbab280e272 Author: Ronan Desplanques Date: Wed Feb 5 14:45:28 2025 +0100 ada: Remove useless global variable This patch removes a global variable that was made useless by

[gcc r16-1154] ada: Add missing Ghost aspect to Lemma_Not_In_Range_Big2xx64 in s-aridou.adb

https://gcc.gnu.org/g:d57eddd9b211d4f7ded33e59f173bb2694afb835 commit r16-1154-gd57eddd9b211d4f7ded33e59f173bb2694afb835 Author: Aleksandra Pasek Date: Mon Feb 3 16:29:21 2025 + ada: Add missing Ghost aspect to Lemma_Not_In_Range_Big2xx64 in s-aridou.adb gcc/ada/ChangeLog:

[gcc r16-1167] ada: Add explicit null pointer check in C.Strings.Update

https://gcc.gnu.org/g:35260dd303a1f5c911310f87e7ddc3f1b580abbd commit r16-1167-g35260dd303a1f5c911310f87e7ddc3f1b580abbd Author: Tonu Naks Date: Fri Feb 7 12:55:30 2025 + ada: Add explicit null pointer check in C.Strings.Update gcc/ada/ChangeLog: * libgnat/i-c

[gcc r16-1156] ada: Improve efficiency of very large shift counts

https://gcc.gnu.org/g:a7c5e316e28c993952337ea7a5570cb5d1df1daa commit r16-1156-ga7c5e316e28c993952337ea7a5570cb5d1df1daa Author: Bob Duff Date: Tue Feb 4 14:36:03 2025 -0500 ada: Improve efficiency of very large shift counts For a call to an intrinsic shift function with a large A