[gcc r15-586] make -freg-struct-return visibly a negative alias of -fpcc-struct-return

https://gcc.gnu.org/g:b7483de99536c05983129d9ca28b53b575861078 commit r15-586-gb7483de99536c05983129d9ca28b53b575861078 Author: Alexandre Oliva Date: Fri May 17 00:45:45 2024 -0300 make -freg-struct-return visibly a negative alias of -fpcc-struct-return The fact that both options

[gcc r15-585] RISC-V: Cleanup some temporally files [NFC]

https://gcc.gnu.org/g:d477d683d5c6db90c80d348c795709ae6444ba7a commit r15-585-gd477d683d5c6db90c80d348c795709ae6444ba7a Author: Pan Li Date: Fri May 17 07:45:19 2024 +0800 RISC-V: Cleanup some temporally files [NFC] Just notice some temporally files under gcc/config/riscv,

[gcc r14-10213] Update gcc sv.po

https://gcc.gnu.org/g:81c627d47c2063b7f143c974e9733ce43c0d142e commit r14-10213-g81c627d47c2063b7f143c974e9733ce43c0d142e Author: Joseph Myers Date: Thu May 16 21:21:48 2024 + Update gcc sv.po * sv.po: Update. Diff: --- gcc/po/sv.po | 514

[gcc r15-584] Update gcc sv.po

https://gcc.gnu.org/g:0b2c333e1a3c0bb800add1daab5b6fc8ba5c1cef commit r15-584-g0b2c333e1a3c0bb800add1daab5b6fc8ba5c1cef Author: Joseph Myers Date: Thu May 16 21:20:36 2024 + Update gcc sv.po * sv.po: Update. Diff: --- gcc/po/sv.po | 514

[gcc r15-583] RISC-V: Enable vectorizable early exit testsuite

https://gcc.gnu.org/g:556e777298dac8574533935000c57335c5232921 commit r15-583-g556e777298dac8574533935000c57335c5232921 Author: Pan Li Date: Thu May 16 10:04:10 2024 +0800 RISC-V: Enable vectorizable early exit testsuite After we supported vectorizable early exit in RISC-V, we

[gcc r15-582] RISC-V: Implement vectorizable early exit with vcond_mask_len

https://gcc.gnu.org/g:6c1de786e53a11150feb16ba990d0d6c6fd910db commit r15-582-g6c1de786e53a11150feb16ba990d0d6c6fd910db Author: Pan Li Date: Thu May 16 10:02:40 2024 +0800 RISC-V: Implement vectorizable early exit with vcond_mask_len After we support the loop lens for the

[gcc r15-581] Fix points_to_local_or_readonly_memory_p wrt TARGET_MEM_REF

https://gcc.gnu.org/g:96d53252aefcbc2fe419c4c3b4bcd3fc03d4d187 commit r15-581-g96d53252aefcbc2fe419c4c3b4bcd3fc03d4d187 Author: Jan Hubicka Date: Thu May 16 15:33:55 2024 +0200 Fix points_to_local_or_readonly_memory_p wrt TARGET_MEM_REF TARGET_MEM_REF can be used to offset

[gcc r15-580] tree-optimization/13962 - handle ptr-ptr compares in ptrs_compare_unequal

https://gcc.gnu.org/g:f3e5f4c58591f5dacdd14a65ec47bbe310df02a0 commit r15-580-gf3e5f4c58591f5dacdd14a65ec47bbe310df02a0 Author: Richard Biener Date: Mon Mar 11 11:17:32 2024 +0100 tree-optimization/13962 - handle ptr-ptr compares in ptrs_compare_unequal Now that we handle pt.null

[gcc r15-579] wrong code with points-to and volatile

https://gcc.gnu.org/g:a9251ab3c91c8c559d0306838575a666ae62dff4 commit r15-579-ga9251ab3c91c8c559d0306838575a666ae62dff4 Author: Richard Biener Date: Thu May 16 12:35:28 2024 +0200 wrong code with points-to and volatile The following fixes points-to analysis which ignores the fact

[gcc r15-578] Vect: Support loop len in vectorizable early exit

https://gcc.gnu.org/g:57f8a2f67c1536be23231808ab00613ab69193ed commit r15-578-g57f8a2f67c1536be23231808ab00613ab69193ed Author: Pan Li Date: Thu May 16 09:58:13 2024 +0800 Vect: Support loop len in vectorizable early exit This patch adds early break auto-vectorization support for

[gcc r15-577] Vect: Support new IFN SAT_ADD for unsigned vector int

https://gcc.gnu.org/g:d4dee347b3fe1982bab26485ff31cd039c9df010 commit r15-577-gd4dee347b3fe1982bab26485ff31cd039c9df010 Author: Pan Li Date: Wed May 15 10:14:06 2024 +0800 Vect: Support new IFN SAT_ADD for unsigned vector int For vectorize, we leverage the existing vect pattern

[gcc r15-576] Internal-fn: Support new IFN SAT_ADD for unsigned scalar int

https://gcc.gnu.org/g:52b0536710ff3f3ace72ab00ce9ef6c630cd1183 commit r15-576-g52b0536710ff3f3ace72ab00ce9ef6c630cd1183 Author: Pan Li Date: Wed May 15 10:14:05 2024 +0800 Internal-fn: Support new IFN SAT_ADD for unsigned scalar int This patch would like to add the middle-end

gcc-wwwdocs branch master updated. ed9ceba9b8b038f0e0f333798da7abe046679d0c

This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "gcc-wwwdocs". The branch, master has been updated via ed9ceba9b8b038f0e0f333798da7abe046679d0c (commit) from

[gcc r15-575] Revert "Revert: "Enable prange support.""

https://gcc.gnu.org/g:da73261ce7731be7f2b164f1db796878cdc23365 commit r15-575-gda73261ce7731be7f2b164f1db796878cdc23365 Author: Aldy Hernandez Date: Fri May 10 00:38:51 2024 +0200 Revert "Revert: "Enable prange support."" This reverts commit

[gcc r15-574] Cleanup prange sanity checks.

https://gcc.gnu.org/g:b8e3574e68310f68116f157a35d5650600d13718 commit r15-574-gb8e3574e68310f68116f157a35d5650600d13718 Author: Aldy Hernandez Date: Thu May 16 09:47:56 2024 +0200 Cleanup prange sanity checks. The pointers_handled_p() code was a temporary sanity check, and not

[gcc r15-573] Use a boolean type when folding conditionals in simplify_using_ranges.

https://gcc.gnu.org/g:f6bed6d3fcc13880ffa786b6c616e2306efe2bf3 commit r15-573-gf6bed6d3fcc13880ffa786b6c616e2306efe2bf3 Author: Aldy Hernandez Date: Thu May 16 09:22:55 2024 +0200 Use a boolean type when folding conditionals in simplify_using_ranges. In adding some traps for

[gcc r12-10450] tree-optimization/114027 - conditional reduction chain

https://gcc.gnu.org/g:6661a7c098a46eff4afc98b55c89e3a71d63d674 commit r12-10450-g6661a7c098a46eff4afc98b55c89e3a71d63d674 Author: Richard Biener Date: Thu Feb 22 10:50:12 2024 +0100 tree-optimization/114027 - conditional reduction chain When we classify a conditional reduction

[gcc r12-10451] tree-optimization/114027 - fix testcase

https://gcc.gnu.org/g:2d650c041d37a3df2bec46a67e42f9976d7fd2bf commit r12-10451-g2d650c041d37a3df2bec46a67e42f9976d7fd2bf Author: Richard Biener Date: Tue Mar 26 09:46:06 2024 +0100 tree-optimization/114027 - fix testcase The following fixes out-of-bounds read in the testcase.

[gcc r12-10448] tree-optimization/114231 - use patterns for BB SLP discovery root stmts

https://gcc.gnu.org/g:a7b1d814da0aa2e7331c56180264a8b786012971 commit r12-10448-ga7b1d814da0aa2e7331c56180264a8b786012971 Author: Richard Biener Date: Tue Mar 5 10:55:56 2024 +0100 tree-optimization/114231 - use patterns for BB SLP discovery root stmts The following makes sure to

[gcc r12-10449] tree-optimization/114375 - disallow SLP discovery of permuted mask loads

https://gcc.gnu.org/g:c1b21855e131bb818aedc953f403812b494917fc commit r12-10449-gc1b21855e131bb818aedc953f403812b494917fc Author: Richard Biener Date: Mon Mar 18 12:39:03 2024 +0100 tree-optimization/114375 - disallow SLP discovery of permuted mask loads We cannot currently

[gcc r12-10447] middle-end/114734 - wrong code with expand_call_mem_ref

https://gcc.gnu.org/g:46b2e98983ebc62440c43217f2b3bbe72f8b0191 commit r12-10447-g46b2e98983ebc62440c43217f2b3bbe72f8b0191 Author: Richard Biener Date: Fri Apr 26 15:47:13 2024 +0200 middle-end/114734 - wrong code with expand_call_mem_ref When expand_call_mem_ref looks at the

[gcc r12-10446] lto/114655 - -flto=4 at link time doesn't override -flto=auto at compile time

https://gcc.gnu.org/g:42a0393655d8e4662ba001c3759cf00b639eddb9 commit r12-10446-g42a0393655d8e4662ba001c3759cf00b639eddb9 Author: Richard Biener Date: Tue Apr 9 14:25:57 2024 +0200 lto/114655 - -flto=4 at link time doesn't override -flto=auto at compile time The following

[gcc r12-10445] gcov-profile/114715 - missing coverage for switch

https://gcc.gnu.org/g:56415e39029012aa3675d3b4b71fb248cf43049e commit r12-10445-g56415e39029012aa3675d3b4b71fb248cf43049e Author: Richard Biener Date: Mon Apr 15 11:09:17 2024 +0200 gcov-profile/114715 - missing coverage for switch The following avoids missing coverage for the

[gcc r15-572] RISC-V: testsuite: Drop march-string in cmpmemsi/cpymemsi tests

https://gcc.gnu.org/g:b8b82bb05c10544da05cd0d3d39e6bc3763a8d9f commit r15-572-gb8b82bb05c10544da05cd0d3d39e6bc3763a8d9f Author: Christoph Müllner Date: Thu May 16 09:53:47 2024 +0200 RISC-V: testsuite: Drop march-string in cmpmemsi/cpymemsi tests The tests cmpmemsi-1.c and

[gcc r15-571] tree-optimization/79958 - make DSE track multiple paths

https://gcc.gnu.org/g:1e0ae1f52741f7e0133661659ed2d210f939a398 commit r15-571-g1e0ae1f52741f7e0133661659ed2d210f939a398 Author: Richard Biener Date: Wed May 15 18:32:37 2024 +0200 tree-optimization/79958 - make DSE track multiple paths DSE currently gives up when the path we

[gcc r15-569] ada: Reset scope of top level object declaration during unnesting

https://gcc.gnu.org/g:f72988ac5ecfd56229374cbe76d867177ec5431d commit r15-569-gf72988ac5ecfd56229374cbe76d867177ec5431d Author: Marc Poulhiès Date: Tue Feb 27 13:47:27 2024 +0100 ada: Reset scope of top level object declaration during unnesting When unnesting, the compiler

[gcc r15-568] ada: Redundant validity checks

https://gcc.gnu.org/g:584ade0b82339d95463bc91c9fdd77579b16426a commit r15-568-g584ade0b82339d95463bc91c9fdd77579b16426a Author: Steve Baird Date: Tue Feb 27 12:11:47 2024 -0800 ada: Redundant validity checks In some cases with validity checking enabled via the -gnatVa option,

[gcc r15-570] ada: Remove obsolete reference in comment

https://gcc.gnu.org/g:bff532827515b23335e315141e37475a142c6932 commit r15-570-gbff532827515b23335e315141e37475a142c6932 Author: Eric Botcazou Date: Thu Feb 29 15:52:45 2024 +0100 ada: Remove obsolete reference in comment gcc/ada/ * exp_ch7.adb

[gcc r15-567] ada: Exception on Indefinite_Vector aggregate with loop_parameter_specification

https://gcc.gnu.org/g:9ec20f1f84ad19bb8e2020657ee4c851ba5cd7b0 commit r15-567-g9ec20f1f84ad19bb8e2020657ee4c851ba5cd7b0 Author: Gary Dismukes Date: Tue Feb 27 22:05:55 2024 + ada: Exception on Indefinite_Vector aggregate with loop_parameter_specification Constraint_Error is

[gcc r15-565] ada: Fix reference to RM clause in comment

https://gcc.gnu.org/g:33ae453d6836d94f8bcf28f414ce1b4e2e8b9111 commit r15-565-g33ae453d6836d94f8bcf28f414ce1b4e2e8b9111 Author: Ronan Desplanques Date: Tue Feb 27 16:00:10 2024 +0100 ada: Fix reference to RM clause in comment gcc/ada/ * sem_util.ads

[gcc r15-561] ada: Ignore ghost nodes in call graph information for dispatching calls

https://gcc.gnu.org/g:c485a154ae0cfa1a63c79a1f3b82d6f2d4a107b5 commit r15-561-gc485a154ae0cfa1a63c79a1f3b82d6f2d4a107b5 Author: Piotr Trojanek Date: Mon Feb 26 09:32:20 2024 +0100 ada: Ignore ghost nodes in call graph information for dispatching calls When emitting call graph

[gcc r15-559] ada: Propagate Program_Error from failed finalization of collection

https://gcc.gnu.org/g:8e22376d8e2f2dd97e364aaf81a2b4260847e308 commit r15-559-g8e22376d8e2f2dd97e364aaf81a2b4260847e308 Author: Eric Botcazou Date: Fri Feb 23 21:55:08 2024 +0100 ada: Propagate Program_Error from failed finalization of collection This aligns finalization

[gcc r15-564] ada: Fix missing length checks with case expressions

https://gcc.gnu.org/g:5c9205a4d729e6fe9b8c897f4eb3ccd86dcf1835 commit r15-564-g5c9205a4d729e6fe9b8c897f4eb3ccd86dcf1835 Author: Ronan Desplanques Date: Tue Feb 27 15:46:14 2024 +0100 ada: Fix missing length checks with case expressions This fixes an issue where length checks were

[gcc r15-555] ada: Fix comments about Get_Ranged_Checks

https://gcc.gnu.org/g:fa832b4e799e4db4d815ca9a94e331c55dc2f3b3 commit r15-555-gfa832b4e799e4db4d815ca9a94e331c55dc2f3b3 Author: Ronan Desplanques Date: Thu Feb 22 17:29:24 2024 +0100 ada: Fix comments about Get_Ranged_Checks Checks.Get_Ranged_Checks was onced named Range_Check,

[gcc r15-563] ada: Fix standalone Windows builds of adaint.c

https://gcc.gnu.org/g:ea648848eac40e07df0b0e1f5762b5d3f3f738c6 commit r15-563-gea648848eac40e07df0b0e1f5762b5d3f3f738c6 Author: Sebastian Poeplau Date: Mon Feb 26 11:03:03 2024 +0100 ada: Fix standalone Windows builds of adaint.c Define PATH_SEPARATOR and HOST_EXECUTABLE_SUFFIX

[gcc r15-562] ada: Avoid checking parameters of protected procedures

https://gcc.gnu.org/g:c3b570b5d9354a2366c29c4eb8eaa41c1d087e41 commit r15-562-gc3b570b5d9354a2366c29c4eb8eaa41c1d087e41 Author: Viljar Indus Date: Thu Feb 22 14:27:14 2024 +0200 ada: Avoid checking parameters of protected procedures The compiler triggers warnings on generated

[gcc r15-554] ada: Minor performance improvement for dynamically-allocated controlled objects

https://gcc.gnu.org/g:8560a0644da71f5d411ef67382a47278085bad70 commit r15-554-g8560a0644da71f5d411ef67382a47278085bad70 Author: Eric Botcazou Date: Thu Feb 22 08:47:42 2024 +0100 ada: Minor performance improvement for dynamically-allocated controlled objects The values returned

[gcc r15-553] ada: Fixup one more pattern of broken scope information

https://gcc.gnu.org/g:513f6b889ab5c9fa88e82506cce7534f0400b1c6 commit r15-553-g513f6b889ab5c9fa88e82506cce7534f0400b1c6 Author: Marc Poulhiès Date: Tue Feb 13 12:20:19 2024 +0100 ada: Fixup one more pattern of broken scope information When an array's initialization contains a

[gcc r15-560] ada: Fix reason code for length check

https://gcc.gnu.org/g:a802cb3c5f530e77dabcb6343d79cb7a24f96ed3 commit r15-560-ga802cb3c5f530e77dabcb6343d79cb7a24f96ed3 Author: Ronan Desplanques Date: Fri Feb 23 13:07:17 2024 +0100 ada: Fix reason code for length check This patch fixes the reason code used by

[gcc r15-551] ada: Fix latent alignment issue for dynamically-allocated controlled objects

https://gcc.gnu.org/g:48068753771507b4e95f746eaf8b0d0135e6c8ef commit r15-551-g48068753771507b4e95f746eaf8b0d0135e6c8ef Author: Eric Botcazou Date: Wed Feb 21 21:48:13 2024 +0100 ada: Fix latent alignment issue for dynamically-allocated controlled objects Dynamically-allocated

[gcc r15-558] ada: Improve recovery from illegal occurrence of 'Old in if_expression

https://gcc.gnu.org/g:55d11e8751e070e38f981e308d84dfde23c2af3d commit r15-558-g55d11e8751e070e38f981e308d84dfde23c2af3d Author: Piotr Trojanek Date: Thu Feb 22 22:26:01 2024 +0100 ada: Improve recovery from illegal occurrence of 'Old in if_expression Fix assertion failure in

[gcc r15-557] ada: No need to follow New_Occurrence_Of with Set_Etype

https://gcc.gnu.org/g:f5c78702f9436bfa5a0cf1f87b6004ead79c5892 commit r15-557-gf5c78702f9436bfa5a0cf1f87b6004ead79c5892 Author: Piotr Trojanek Date: Fri Feb 23 13:57:27 2024 +0100 ada: No need to follow New_Occurrence_Of with Set_Etype Routine New_Occurrence_Of itself sets the

[gcc r15-556] ada: Fix detection of if_expressions that are known on entry

https://gcc.gnu.org/g:7d2a5dbbfed311b9d13e5772dbc86f525adde3e9 commit r15-556-g7d2a5dbbfed311b9d13e5772dbc86f525adde3e9 Author: Piotr Trojanek Date: Thu Feb 22 22:25:16 2024 +0100 ada: Fix detection of if_expressions that are known on entry Fix a small glitch in routine

[gcc r15-552] ada: Fix typo in CUDA error message

https://gcc.gnu.org/g:bc35098efbfb14cf17f0f79f5dfcb44fdf0975de commit r15-552-gbc35098efbfb14cf17f0f79f5dfcb44fdf0975de Author: Piotr Trojanek Date: Thu Feb 22 00:42:59 2024 +0100 ada: Fix typo in CUDA error message Fix typo in error message; semantics is unaffected.

[gcc r15-550] ada: Fix resolving tagged operations in array aggregates

https://gcc.gnu.org/g:b98e256652c336160afa47bf8735eb4aa3529135 commit r15-550-gb98e256652c336160afa47bf8735eb4aa3529135 Author: Viljar Indus Date: Fri Feb 9 12:29:41 2024 +0200 ada: Fix resolving tagged operations in array aggregates In the Two_Pass_Aggregate_Expansion we were

[gcc r15-549] ada: Fix bogus error on function returning noncontrolling result in private part

https://gcc.gnu.org/g:81a5815a48b0d392de7ece86bdcc23a2d72aa5bd commit r15-549-g81a5815a48b0d392de7ece86bdcc23a2d72aa5bd Author: Eric Botcazou Date: Tue Feb 20 22:40:47 2024 +0100 ada: Fix bogus error on function returning noncontrolling result in private part This occurs in the

[gcc r15-548] ada: Fix casing of CUDA in error messages

https://gcc.gnu.org/g:7c487eb8eccaad7c4ce9e4920fe9eaa5a9fab0bf commit r15-548-g7c487eb8eccaad7c4ce9e4920fe9eaa5a9fab0bf Author: Piotr Trojanek Date: Wed Feb 21 12:14:48 2024 +0100 ada: Fix casing of CUDA in error messages Error messages now capitalize CUDA. gcc/ada/

[gcc r15-547] ada: Fix crash with -gnatdJ and -gnatw_q

https://gcc.gnu.org/g:f03905788cbe2799a692b1f2435020b26a5a2574 commit r15-547-gf03905788cbe2799a692b1f2435020b26a5a2574 Author: Ronan Desplanques Date: Mon Feb 19 11:17:51 2024 +0100 ada: Fix crash with -gnatdJ and -gnatw_q This commit makes the emission of -gnatw_q warnings pass

[gcc r15-546] ada: Follow up fixes for Put_Image/streaming regressions

https://gcc.gnu.org/g:a58b6be7f38e7a775f92b8aaa8d1c374a6e0c790 commit r15-546-ga58b6be7f38e7a775f92b8aaa8d1c374a6e0c790 Author: Steve Baird Date: Fri Feb 16 17:05:09 2024 -0800 ada: Follow up fixes for Put_Image/streaming regressions A recent change to reduce duplication of

[gcc r15-545] ada: Implement per-finalization-collection spinlocks

https://gcc.gnu.org/g:50ae8753fb7d65e810fa60fbd396f6d9e3d9 commit r15-545-g50ae8753fb7d65e810fa60fbd396f6d9e3d9 Author: Eric Botcazou Date: Fri Feb 16 18:55:21 2024 +0100 ada: Implement per-finalization-collection spinlocks This changes the implementation of finalization

[gcc r15-544] ada: Formal_Derived_Type'Size is not static

https://gcc.gnu.org/g:91c6302c8d641990f8977bf8eb5a40370da6efa9 commit r15-544-g91c6302c8d641990f8977bf8eb5a40370da6efa9 Author: Steve Baird Date: Thu Feb 15 14:49:18 2024 -0800 ada: Formal_Derived_Type'Size is not static In deciding whether a Size attribute reference is static,

[gcc r15-543] ada: Fix bug in maintaining dimension info

https://gcc.gnu.org/g:e730d52a9459d1112e58c7286aab0e358fac commit r15-543-ge730d52a9459d1112e58c7286aab0e358fac Author: Steve Baird Date: Thu Feb 15 15:13:12 2024 -0800 ada: Fix bug in maintaining dimension info Copying a node does not automatically propagate its

[gcc r15-542] ada: Remove Aspect_Specifications field from N_Procedure_Specification

https://gcc.gnu.org/g:8b73cb99bbd02db85d213c7120dbaa366c360e45 commit r15-542-g8b73cb99bbd02db85d213c7120dbaa366c360e45 Author: Piotr Trojanek Date: Fri Feb 16 15:10:06 2024 +0100 ada: Remove Aspect_Specifications field from N_Procedure_Specification Sync

[gcc r15-541] ada: Reuse existing expression when rewriting aspects to pragmas

https://gcc.gnu.org/g:06078187797f077f0548c55ac8cb8eca4094f1c3 commit r15-541-g06078187797f077f0548c55ac8cb8eca4094f1c3 Author: Piotr Trojanek Date: Wed Feb 14 18:24:03 2024 +0100 ada: Reuse existing expression when rewriting aspects to pragmas Code cleanup; semantics is

[gcc r15-540] ada: Cleanup reporting locations for Ada 2022 and GNAT extension aspects

https://gcc.gnu.org/g:492f896e3a224a09c5f693249dc302dda435fae7 commit r15-540-g492f896e3a224a09c5f693249dc302dda435fae7 Author: Piotr Trojanek Date: Wed Feb 14 18:06:36 2024 +0100 ada: Cleanup reporting locations for Ada 2022 and GNAT extension aspects Code cleanup; semantics is

[gcc r15-538] ada: Fix ordering of code for pragma Preelaborable_Initialization

https://gcc.gnu.org/g:61751ee563104aa87a66ac712e97ed80cf52eec2 commit r15-538-g61751ee563104aa87a66ac712e97ed80cf52eec2 Author: Piotr Trojanek Date: Fri Jan 26 18:11:36 2024 +0100 ada: Fix ordering of code for pragma Preelaborable_Initialization Code cleanup. gcc/ada/

[gcc r15-539] ada: Fix alphabetic ordering of aspect identifiers

https://gcc.gnu.org/g:1d992c40e77fa61ebdb75d1342b35f58b9b98f12 commit r15-539-g1d992c40e77fa61ebdb75d1342b35f58b9b98f12 Author: Piotr Trojanek Date: Mon Jan 29 13:42:03 2024 +0100 ada: Fix alphabetic ordering of aspect identifiers Code cleanup. gcc/ada/

[gcc r15-537] ada: Fix casing in error messages

https://gcc.gnu.org/g:3549a58fa544fe933eca207a9f2442489310aa4c commit r15-537-g3549a58fa544fe933eca207a9f2442489310aa4c Author: Piotr Trojanek Date: Fri Feb 16 16:57:10 2024 +0100 ada: Fix casing in error messages Error messages should not start with a capital letter.

[gcc r15-536] ada: Fix docs and comments about pragmas for Boolean-valued aspects

https://gcc.gnu.org/g:fd3a9ee2b9d622b8482bbb1167dd0e2244d940e9 commit r15-536-gfd3a9ee2b9d622b8482bbb1167dd0e2244d940e9 Author: Piotr Trojanek Date: Mon Jan 29 13:32:16 2024 +0100 ada: Fix docs and comments about pragmas for Boolean-valued aspects Fix various inconsistencies in