[gcc r15-610] ada: Do not query the modification time of a special file.

2024-05-17 Thread Marc Poulhi?s via Gcc-cvs
https://gcc.gnu.org/g:615c29a8c5d47a28887087d3ff49b9df7f74fe9e commit r15-610-g615c29a8c5d47a28887087d3ff49b9df7f74fe9e Author: Steve Baird Date: Fri Mar 8 15:48:32 2024 -0800 ada: Do not query the modification time of a special file. In Ada.Directories, the function

[gcc r15-609] ada: Disable Equivalent_Array_Aggregate optimization if predicates involved

2024-05-17 Thread Marc Poulhi?s via Gcc-cvs
https://gcc.gnu.org/g:591ddf34a1e759560d89627eefae1d0e13b61ee8 commit r15-609-g591ddf34a1e759560d89627eefae1d0e13b61ee8 Author: Steve Baird Date: Fri Mar 8 16:17:41 2024 -0800 ada: Disable Equivalent_Array_Aggregate optimization if predicates involved In most paths, the function

[gcc r15-606] ada: Expose utility routine for processing of Depends contracts in SPARK

2024-05-17 Thread Marc Poulhi?s via Gcc-cvs
https://gcc.gnu.org/g:d77c12eb33c7a0a461f6928a8fb303378aaf2e2f commit r15-606-gd77c12eb33c7a0a461f6928a8fb303378aaf2e2f Author: Piotr Trojanek Date: Fri Mar 8 17:02:16 2024 +0100 ada: Expose utility routine for processing of Depends contracts in SPARK Routine

[gcc r15-607] ada: Fix others error message location

2024-05-17 Thread Marc Poulhi?s via Gcc-cvs
https://gcc.gnu.org/g:34ac60eb88e489991b420e82b98a039a31df262f commit r15-607-g34ac60eb88e489991b420e82b98a039a31df262f Author: Ronan Desplanques Date: Fri Mar 8 14:42:59 2024 +0100 ada: Fix others error message location Before this patch, the compiler pointed at the wrong

[gcc r15-604] ada: gnatbind: subprogram spec no longer exists

2024-05-17 Thread Marc Poulhi?s via Gcc-cvs
https://gcc.gnu.org/g:d2a118197c767ccbd3905c14ff2ebe82bd0fe9ed commit r15-604-gd2a118197c767ccbd3905c14ff2ebe82bd0fe9ed Author: Bob Duff Date: Fri Mar 8 09:32:51 2024 -0500 ada: gnatbind: subprogram spec no longer exists If a subprogram spec S is present while compiling something

[gcc r15-602] ada: Fix containers' Reference_Preserving_Key functions' memory leaks

2024-05-17 Thread Marc Poulhi?s via Gcc-cvs
https://gcc.gnu.org/g:ecf17346ff112ccf58cd2920a23fa756b068e1bc commit r15-602-gecf17346ff112ccf58cd2920a23fa756b068e1bc Author: Steve Baird Date: Wed Mar 6 14:27:44 2024 -0800 ada: Fix containers' Reference_Preserving_Key functions' memory leaks Fix memory leaks in containers'

[gcc r15-603] ada: Update docs for Resolve_Null_Array_Aggregate

2024-05-17 Thread Marc Poulhi?s via Gcc-cvs
https://gcc.gnu.org/g:a666066298f29bc08379aac75e65d1edb3eb415f commit r15-603-ga666066298f29bc08379aac75e65d1edb3eb415f Author: Ronan Desplanques Date: Thu Mar 7 10:24:49 2024 +0100 ada: Update docs for Resolve_Null_Array_Aggregate The documentation comments for

[gcc r15-600] ada: gnatbind-related cleanups

2024-05-17 Thread Marc Poulhi?s via Gcc-cvs
https://gcc.gnu.org/g:a0c87f1bb76e8afa22e0b585441dff612b90e88f commit r15-600-ga0c87f1bb76e8afa22e0b585441dff612b90e88f Author: Bob Duff Date: Thu Mar 7 07:43:26 2024 -0500 ada: gnatbind-related cleanups This patch cleans up some things noticed while working on gnatbind. No

[gcc r15-601] ada: correction to gnatbind-related cleanups

2024-05-17 Thread Marc Poulhi?s via Gcc-cvs
https://gcc.gnu.org/g:bf935572b076b822033cf1e9d31312c75e4c90d3 commit r15-601-gbf935572b076b822033cf1e9d31312c75e4c90d3 Author: Bob Duff Date: Thu Mar 7 10:55:56 2024 -0500 ada: correction to gnatbind-related cleanups Correction to previous change; Asserts had been moved to

[gcc r15-599] ada: Make raise-gcc.c compatible with Clang

2024-05-17 Thread Marc Poulhi?s via Gcc-cvs
https://gcc.gnu.org/g:14aef595f01707c54926788346960b909ebea3b7 commit r15-599-g14aef595f01707c54926788346960b909ebea3b7 Author: Sebastian Poeplau Date: Wed Mar 6 21:10:04 2024 +0100 ada: Make raise-gcc.c compatible with Clang The Morello variant of Clang doesn't have

[gcc r15-598] ada: Fix crash caused by missing New_Copy_tree

2024-05-17 Thread Marc Poulhi?s via Gcc-cvs
https://gcc.gnu.org/g:93035031c5045255c7248576cc5750c1cb3dfd15 commit r15-598-g93035031c5045255c7248576cc5750c1cb3dfd15 Author: Marc Poulhiès Date: Tue Mar 5 15:16:59 2024 +0100 ada: Fix crash caused by missing New_Copy_tree Since a recent refactor ("Factor common proce

[gcc r15-596] ada: Only record types with discriminants can be unconstrained

2024-05-17 Thread Marc Poulhi?s via Gcc-cvs
https://gcc.gnu.org/g:376a8ea17dfb3dc1267dc88bd90e5f84b82aadaa commit r15-596-g376a8ea17dfb3dc1267dc88bd90e5f84b82aadaa Author: Piotr Trojanek Date: Tue Mar 5 14:42:08 2024 +0100 ada: Only record types with discriminants can be unconstrained Remove redundant condition for

[gcc r15-597] ada: Fix Constraint_Error on mutable assignment

2024-05-17 Thread Marc Poulhi?s via Gcc-cvs
https://gcc.gnu.org/g:cb71c251d846032cfb31e86c8e4d678c58a90ecc commit r15-597-gcb71c251d846032cfb31e86c8e4d678c58a90ecc Author: Bob Duff Date: Tue Mar 5 18:35:25 2024 -0500 ada: Fix Constraint_Error on mutable assignment For an assignment statement "X := Y;", where X is a formal

[gcc r15-593] ada: Tune detection of unconstrained and tagged items in Depends contract

2024-05-17 Thread Marc Poulhi?s via Gcc-cvs
https://gcc.gnu.org/g:b87148fa43dfa2d8324cac4625a2b41ffda6bac9 commit r15-593-gb87148fa43dfa2d8324cac4625a2b41ffda6bac9 Author: Piotr Trojanek Date: Tue Mar 5 12:57:50 2024 +0100 ada: Tune detection of unconstrained and tagged items in Depends contract The

[gcc r15-591] ada: Check subtype to avoid a precondition failure

2024-05-17 Thread Marc Poulhi?s via Gcc-cvs
https://gcc.gnu.org/g:811bfc3f3e4f6f3e7a98e90409a8a6dbaa1509e1 commit r15-591-g811bfc3f3e4f6f3e7a98e90409a8a6dbaa1509e1 Author: Viljar Indus Date: Tue Mar 5 11:57:12 2024 +0200 ada: Check subtype to avoid a precondition failure gcc/ada/ * sem_ch3.adb

[gcc r15-590] ada: Fix checking range constraints within composite types

2024-05-17 Thread Marc Poulhi?s via Gcc-cvs
https://gcc.gnu.org/g:8fc79eac8047edaebc2a4f04cd9c1e11fc2a25c1 commit r15-590-g8fc79eac8047edaebc2a4f04cd9c1e11fc2a25c1 Author: Viljar Indus Date: Fri Mar 1 14:42:48 2024 +0200 ada: Fix checking range constraints within composite types Subtype indications were never analyzed if

[gcc r15-589] ada: Remove superfluous Relocate_Node calls

2024-05-17 Thread Marc Poulhi?s via Gcc-cvs
https://gcc.gnu.org/g:4db82bfb3a178e861dc9a07596fefcd812da6614 commit r15-589-g4db82bfb3a178e861dc9a07596fefcd812da6614 Author: Ronan Desplanques Date: Fri Mar 1 12:54:58 2024 +0100 ada: Remove superfluous Relocate_Node calls This patch removes two calls to Relocate_Node that

[gcc r15-587] ada: Add support for 'Object_Size to pragma Compile_Time_{Warning, Error}

2024-05-17 Thread Marc Poulhi?s via Gcc-cvs
https://gcc.gnu.org/g:d7d49b2d58c709f15d51651119e325d8a56b5950 commit r15-587-gd7d49b2d58c709f15d51651119e325d8a56b5950 Author: Eric Botcazou Date: Fri Mar 1 11:26:32 2024 +0100 ada: Add support for 'Object_Size to pragma Compile_Time_{Warning,Error} With the same level as for

Re: Regression in 2.4.0

2024-05-16 Thread Jean-Marc Lasgouttes
Le 16/05/2024 à 22:38, Jean-Marc Lasgouttes a écrit : Why do we have an exception for arabic-arabi? Is the output different from hebrew? My guess is that it was in 2017 when I wrote f1dd80f464b46f61:    * the language arabic_arabi also sets leqno by default. This is   currently

Re: Regression in 2.4.0

2024-05-16 Thread Jean-Marc Lasgouttes
Le 16/05/2024 à 21:28, Udicoudco a écrit : I'm not currently at home, I'm house sitting my mothers place for the weekend. I've actually brought my PC with me, but was disappointed to discover that the only monitor here is not compatible with my PC... The neighbours lent me a TV screen so now I'm

Re: Workarea does not follow search in master

2024-05-16 Thread Jean-Marc Lasgouttes
Le 16/05/2024 à 17:05, Jürgen Spitzmüller a écrit : Am Donnerstag, dem 16.05.2024 um 10:00 +0200 schrieb Jean-Marc Lasgouttes: If the situation is too annoying, I can revert it. No pressure from my side. I can live with it. Just wanted to bring it to your attention. Fine, thanks. JMarc

Re: Regression in 2.4.0

2024-05-16 Thread Jean-Marc Lasgouttes
Le 16/05/2024 à 17:05, Richard Kimberly Heck a écrit : We're still sorting out a cmake issue on Windows, so this could go to 2.4.x, if you're sure it's safe. That's the thing. I won't be sure until Udi gives me some feedback. JMarc -- lyx-devel mailing list lyx-devel@lists.lyx.org

Re: [PATCH 02/13] s390_flic: add migration-enabled property

2024-05-16 Thread Marc Hartmayer
3efb67c) at ../migration/migration.c:2710 #18 migration_completion (s=0x2aa3625d1f0) at ../migration/migration.c:2774 #19 migration_iteration_run (s=0x2aa3625d1f0) at ../migration/migration.c:3198 #20 migration_thread (opaque=opaque@entry=0x2aa3625d1f0) at ../migration/migration.c:3464 #21 0x02aa3

Re: Regression in 2.4.0

2024-05-16 Thread Jean-Marc Lasgouttes
Le 15/05/2024 à 15:00, Udicoudco a écrit : About the side, I thought I had tested that in some way. Is the side consistent across all methods to switch to Hebrew (babel, polyglossia, something else I do not know…)? It turns out that we kept the equation number to the right (in intent) for all

[LyX/master] Fix display of math hull inset in RTL context

2024-05-16 Thread Jean-Marc Lasgouttes
commit b469c142ad579d3338fc81ab3e1c6ee7b4e270ec Author: Jean-Marc Lasgouttes Date: Thu May 16 14:56:28 2024 +0200 Fix display of math hull inset in RTL context The inversion of margin was done in the wrong way for RTL support. --- src/TextMetrics.cpp | 13 - 1 file

[COMMITTED 35/35] ada: Remove obsolete reference in comment

2024-05-16 Thread Marc Poulhiès
From: Eric Botcazou gcc/ada/ * exp_ch7.adb (Attach_Object_To_Master_Node): Remove reference to a transient object in comment. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/exp_ch7.adb | 8 1 file changed, 4 insertions(+), 4 deletions(-) diff --git

[COMMITTED 34/35] ada: Reset scope of top level object declaration during unnesting

2024-05-16 Thread Marc Poulhiès
When unnesting, the compiler gathers elaboration code and wraps it with a new dedicated procedure. While doing so, it resets the scopes of entities that are wrapped to point to this new procedure. This change also resets the scopes of N_Object_Declaration and N_Object_Renaming_Declaration nodes

[COMMITTED 33/35] ada: Redundant validity checks

2024-05-16 Thread Marc Poulhiès
From: Steve Baird In some cases with validity checking enabled via the -gnatVa option, the compiler generates validity checks that can (obviously) never fail. These include validity checks for (some) static expressions, and consecutive identical checks generated for a single read of an object.

[COMMITTED 32/35] ada: Exception on Indefinite_Vector aggregate with loop_parameter_specification

2024-05-16 Thread Marc Poulhiès
From: Gary Dismukes Constraint_Error is raised on evaluation of a container aggregate with a loop_parameter_specification for the type Indefinite_Vector. This happens due to the Aggregate aspect for type Indefinite_Vector specifying the Empty_Vector constant for the type's Empty operation rather

[COMMITTED 29/35] ada: Fix missing length checks with case expressions

2024-05-16 Thread Marc Poulhiès
From: Ronan Desplanques This fixes an issue where length checks were not generated when the right-hand side of an assigment involved a case expression. gcc/ada/ * sem_res.adb (Resolve_Case_Expression): Add length check insertion. * exp_ch4.adb

[COMMITTED 30/35] ada: Fix reference to RM clause in comment

2024-05-16 Thread Marc Poulhiès
From: Ronan Desplanques gcc/ada/ * sem_util.ads (Check_Function_Writable_Actuals): Fix comment. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/sem_util.ads | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads

[COMMITTED 22/35] ada: No need to follow New_Occurrence_Of with Set_Etype

2024-05-16 Thread Marc Poulhiès
From: Piotr Trojanek Routine New_Occurrence_Of itself sets the Etype of its result; there is no need to set it explicitly afterwards. Code cleanup related to fix for attribute 'Old; semantics is unaffected. gcc/ada/ * exp_ch13.adb (Expand_N_Free_Statement): After analysis, the

[COMMITTED 28/35] ada: Fix standalone Windows builds of adaint.c

2024-05-16 Thread Marc Poulhiès
From: Sebastian Poeplau Define PATH_SEPARATOR and HOST_EXECUTABLE_SUFFIX in standalone MinGW builds; the definitions normally come from GCC, and the defaults don't work for native Windows. gcc/ada/ * adaint.c: New defines for STANDALONE mode. Tested on x86_64-pc-linux-gnu, committed

[COMMITTED 24/35] ada: Propagate Program_Error from failed finalization of collection

2024-05-16 Thread Marc Poulhiès
From: Eric Botcazou This aligns finalization collections with finalization masters when it comes to propagating an exception raised by the finalization of a specific object, by always propagating Program_Error instead of the aforementioned exception. gcc/ada/ * libgnat/s-finpri.adb

[COMMITTED 18/35] ada: Fixup one more pattern of broken scope information

2024-05-16 Thread Marc Poulhiès
When an array's initialization contains a `others =>` clause with an expression that involves finalization, the resulting scope information is incorrect and can cause crashes with backend (i.e. gnat-llvm) that also use unnesting. The observable symptom is a nested object declaration (created by

[COMMITTED 27/35] ada: Avoid checking parameters of protected procedures

2024-05-16 Thread Marc Poulhiès
From: Viljar Indus The compiler triggers warnings on generated protected procedures if the procedure does not have an explicit spec. Instead check if the body was created for a protected procedure if the spec is not present. gcc/ada/ * sem_ch6.adb (Analyze_Subprogram_Body_Helper):

[COMMITTED 26/35] ada: Ignore ghost nodes in call graph information for dispatching calls

2024-05-16 Thread Marc Poulhiès
From: Piotr Trojanek When emitting call graph information, we already skipped calls to ignored ghost entities, but this code was causing crashes (in production builds) and assertion failures (in development builds), because the ignored ghost entities are not fully decorated, e.g. when they come

[COMMITTED 19/35] ada: Minor performance improvement for dynamically-allocated controlled objects

2024-05-16 Thread Marc Poulhiès
From: Eric Botcazou The values returned by Header_Alignment and Header_Size are known at compile time and powers of two on almost all platforms, so inlining them by means of an expression function improves the object code generated for alignment and size calculations involving them. gcc/ada/

[COMMITTED 25/35] ada: Fix reason code for length check

2024-05-16 Thread Marc Poulhiès
From: Ronan Desplanques This patch fixes the reason code used by Apply_Selected_Length_Checks, which was wrong in some cases when the check could be determined to always fail at compile time. gcc/ada/ * checks.adb (Apply_Selected_Length_Checks): Fix reason code. Tested on

[COMMITTED 11/35] ada: Follow up fixes for Put_Image/streaming regressions

2024-05-16 Thread Marc Poulhiès
From: Steve Baird A recent change to reduce duplication of compiler-generated Put_Image and streaming subprograms introduced some regressions. The fix for one of them was incomplete. gcc/ada/ * exp_attr.adb (Build_And_Insert_Type_Attr_Subp): Further tweaking of the point where

[COMMITTED 14/35] ada: Fix bogus error on function returning noncontrolling result in private part

2024-05-16 Thread Marc Poulhiès
From: Eric Botcazou This occurs in the additional case of RM 3.9.3(10) in Ada 2012, that is to say the access controlling result, because the implementation does not use the same (correct) conditions as in the original case. This factors out these conditions and uses them in both cases, as well

[COMMITTED 16/35] ada: Fix latent alignment issue for dynamically-allocated controlled objects

2024-05-16 Thread Marc Poulhiès
From: Eric Botcazou Dynamically-allocated controlled objects are attached to a finalization collection by means of a hidden header placed right before the object, which means that the size effectively allocated must naturally account for the size of this header. But the allocation must also

[COMMITTED 21/35] ada: Fix detection of if_expressions that are known on entry

2024-05-16 Thread Marc Poulhiès
From: Piotr Trojanek Fix a small glitch in routine Is_Known_On_Entry, which returned False for all if_expressions, regardless whether their conditions or dependent expressions are known on entry. gcc/ada/ * sem_util.adb (Is_Known_On_Entry): Check whether condition and dependent

[COMMITTED 07/35] ada: Remove Aspect_Specifications field from N_Procedure_Specification

2024-05-16 Thread Marc Poulhiès
From: Piotr Trojanek Sync Has_Aspect_Specifications_Flag with the actual flags in the AST. Code cleanup; behavior is unaffected. gcc/ada/ * gen_il-gen-gen_nodes.adb (N_Procedure_Specification): Remove Aspect_Specifications field. Tested on x86_64-pc-linux-gnu, committed on

[COMMITTED 12/35] ada: Fix crash with -gnatdJ and -gnatw_q

2024-05-16 Thread Marc Poulhiès
From: Ronan Desplanques This commit makes the emission of -gnatw_q warnings pass node information so as to handle the enclosing subprogram display of -gnatdJ instead of crashing. gcc/ada/ * exp_ch4.adb (Expand_Composite_Equality): Call Error_Msg_N instead of Error_Msg. Tested

[COMMITTED 20/35] ada: Fix comments about Get_Ranged_Checks

2024-05-16 Thread Marc Poulhiès
From: Ronan Desplanques Checks.Get_Ranged_Checks was onced named Range_Check, and a few comments referred to it by that name before this commit. To avoid confusion with Types.Range_Check, this commits fixes those comments. gcc/ada/ * checks.ads: Fix comments. * checks.adb:

[COMMITTED 23/35] ada: Improve recovery from illegal occurrence of 'Old in if_expression

2024-05-16 Thread Marc Poulhiès
From: Piotr Trojanek Fix assertion failure in developer builds which happened when the THEN expression contains an illegal occurrence of 'Old and the type of the THEN expression is left as Any_Type, but there is no ELSE expression. gcc/ada/ * sem_ch4.adb (Analyze_If_Expression): Add

[COMMITTED 15/35] ada: Fix resolving tagged operations in array aggregates

2024-05-16 Thread Marc Poulhiès
From: Viljar Indus In the Two_Pass_Aggregate_Expansion we were removing all of the entity links in the Iterator_Specification to avoid reusing the same Iterator_Definition in both loops. However this approach was also breaking the links to calls with dot notation that had been transformed to

[COMMITTED 06/35] ada: Reuse existing expression when rewriting aspects to pragmas

2024-05-16 Thread Marc Poulhiès
From: Piotr Trojanek Code cleanup; semantics is unaffected. gcc/ada/ * sem_ch13.adb (Analyze_Aspect_Specification): Consistently reuse existing constant where possible. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/sem_ch13.adb | 10 +- 1 file

[COMMITTED 09/35] ada: Formal_Derived_Type'Size is not static

2024-05-16 Thread Marc Poulhiès
From: Steve Baird In deciding whether a Size attribute reference is static, the compiler could get confused about whether an implicitly-declared subtype of a generic formal type is itself a generic formal type, possibly resulting in an assertion failure and then a bugbox. gcc/ada/ *

[COMMITTED 13/35] ada: Fix casing of CUDA in error messages

2024-05-16 Thread Marc Poulhiès
From: Piotr Trojanek Error messages now capitalize CUDA. gcc/ada/ * erroutc.adb (Set_Msg_Insertion_Reserved_Word): Fix casing for CUDA appearing in error message strings. (Set_Msg_Str): Likewise for CUDA being a part of a Name_Id. Tested on x86_64-pc-linux-gnu,

[COMMITTED 17/35] ada: Fix typo in CUDA error message

2024-05-16 Thread Marc Poulhiès
From: Piotr Trojanek Fix typo in error message; semantics is unaffected. gcc/ada/ * gnat_cuda.adb (Remove_CUDA_Device_Entities): Fix typo. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/gnat_cuda.adb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git

[COMMITTED 10/35] ada: Implement per-finalization-collection spinlocks

2024-05-16 Thread Marc Poulhiès
From: Eric Botcazou This changes the implementation of finalization collections from using the global task lock to using per-collection spinlocks. Spinlocks are a good fit in this context because they are very cheap and therefore can be taken with a fine granularity only around the portions of

[COMMITTED 03/35] ada: Fix ordering of code for pragma Preelaborable_Initialization

2024-05-16 Thread Marc Poulhiès
From: Piotr Trojanek Code cleanup. gcc/ada/ * sem_prag.adb (Analyze_Pragma): Move case alternative to match to alphabetic order. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/sem_prag.adb | 160 +-- 1 file changed, 80

[COMMITTED 08/35] ada: Fix bug in maintaining dimension info

2024-05-16 Thread Marc Poulhiès
From: Steve Baird Copying a node does not automatically propagate its associated dimension information (if any). This must be done explicitly. gcc/ada/ * sem_util.adb (Copy_Node_With_Replacement): Add call to Copy_Dimensions so that any dimension information associated with

[COMMITTED 04/35] ada: Fix alphabetic ordering of aspect identifiers

2024-05-16 Thread Marc Poulhiès
From: Piotr Trojanek Code cleanup. gcc/ada/ * aspects.ads (Aspect_Id): Fix ordering. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/aspects.ads | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gcc/ada/aspects.ads b/gcc/ada/aspects.ads index

[COMMITTED 05/35] ada: Cleanup reporting locations for Ada 2022 and GNAT extension aspects

2024-05-16 Thread Marc Poulhiès
From: Piotr Trojanek Code cleanup; semantics is unaffected. gcc/ada/ * sem_ch13.adb (Analyze_Aspect_Specification): Consistently reuse existing constant where possible. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/sem_ch13.adb | 10 +- 1 file

[COMMITTED 01/35] ada: Fix docs and comments about pragmas for Boolean-valued aspects

2024-05-16 Thread Marc Poulhiès
From: Piotr Trojanek Fix various inconsistencies in documentation and comments of Boolean-valued aspects. gcc/ada/ * doc/gnat_rm/implementation_defined_pragmas.rst: Fix documentation. * sem_prag.adb: Fix comments. * gnat_rm.texi: Regenerate. Tested on

[COMMITTED 02/35] ada: Fix casing in error messages

2024-05-16 Thread Marc Poulhiès
From: Piotr Trojanek Error messages should not start with a capital letter. gcc/ada/ * gnat_cuda.adb (Remove_CUDA_Device_Entities): Fix casing (this primarily fixes a style, because the capitalization will not be preserved by the error-reporting machinery anyway).

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

2024-05-16 Thread Marc Poulhi?s via Gcc-cvs
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

2024-05-16 Thread Marc Poulhi?s via Gcc-cvs
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

2024-05-16 Thread Marc Poulhi?s via Gcc-cvs
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

2024-05-16 Thread Marc Poulhi?s via Gcc-cvs
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

2024-05-16 Thread Marc Poulhi?s via Gcc-cvs
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

2024-05-16 Thread Marc Poulhi?s via Gcc-cvs
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

2024-05-16 Thread Marc Poulhi?s via Gcc-cvs
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

2024-05-16 Thread Marc Poulhi?s via Gcc-cvs
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

2024-05-16 Thread Marc Poulhi?s via Gcc-cvs
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

2024-05-16 Thread Marc Poulhi?s via Gcc-cvs
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

2024-05-16 Thread Marc Poulhi?s via Gcc-cvs
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

2024-05-16 Thread Marc Poulhi?s via Gcc-cvs
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

2024-05-16 Thread Marc Poulhi?s via Gcc-cvs
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

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

2024-05-16 Thread Marc Poulhi?s via Gcc-cvs
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

2024-05-16 Thread Marc Poulhi?s via Gcc-cvs
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

2024-05-16 Thread Marc Poulhi?s via Gcc-cvs
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

2024-05-16 Thread Marc Poulhi?s via Gcc-cvs
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

2024-05-16 Thread Marc Poulhi?s via Gcc-cvs
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

2024-05-16 Thread Marc Poulhi?s via Gcc-cvs
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

2024-05-16 Thread Marc Poulhi?s via Gcc-cvs
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

2024-05-16 Thread Marc Poulhi?s via Gcc-cvs
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

2024-05-16 Thread Marc Poulhi?s via Gcc-cvs
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

2024-05-16 Thread Marc Poulhi?s via Gcc-cvs
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

2024-05-16 Thread Marc Poulhi?s via Gcc-cvs
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

2024-05-16 Thread Marc Poulhi?s via Gcc-cvs
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

2024-05-16 Thread Marc Poulhi?s via Gcc-cvs
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

2024-05-16 Thread Marc Poulhi?s via Gcc-cvs
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

2024-05-16 Thread Marc Poulhi?s via Gcc-cvs
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

2024-05-16 Thread Marc Poulhi?s via Gcc-cvs
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

2024-05-16 Thread Marc Poulhi?s via Gcc-cvs
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

2024-05-16 Thread Marc Poulhi?s via Gcc-cvs
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

2024-05-16 Thread Marc Poulhi?s via Gcc-cvs
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

2024-05-16 Thread Marc Poulhi?s via Gcc-cvs
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

2024-05-16 Thread Marc Poulhi?s via Gcc-cvs
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

Re: Workarea does not follow search in master

2024-05-16 Thread Jean-Marc Lasgouttes
Le 16/05/2024 à 06:25, Jürgen Spitzmüller a écrit : The screen moves a bit, but not to the point where the highlighted match is. I have been looking at a similar issue (with buffer-end), but I do not know yet what the issue is. The culprit is a4d9315bc4944. If the situation is too

Re: Biginset branch has landed (sorry for the spam)

2024-05-15 Thread Jean-Marc Lasgouttes
Le 11/04/2024 à 23:55, Jean-Marc Lasgouttes a écrit : Le 11/04/2024 à 18:21, Stephan Witt a écrit : Is it new to master (i.e., the biginset branch)? I think it’s new. If you have time to make a video I would be interested to see it because I cannot reproduce on X (I have to try Wayland

Re: Version 2.4.0~RC4 Instant preview stops working when inserting floats or comments

2024-05-15 Thread Jean-Marc Lasgouttes
Le 10/05/2024 à 18:16, fcana...@gmail.com a écrit : Yes, I still have the issue. I am attaching a screencast, recorded on M2 Mac with fresh install of version 2.4.0~RC4 after deleting all user-defined preferences from previous version. Thanks for the very clear screencast. I am still not

KnnFloatVectorQuery: filtering query & rewrite

2024-05-15 Thread Marc Davenport
(). I feel like I must be either A) Missing a better way to do this, or B) Missing something about how to construct this query, or just knowing that rewrite is required when making a query with the KnnFVQuery in it that has a filter query itself. Any insight would be much appreciated. Thank you, Marc

Re: Microsoft's revenue structure

2024-05-15 Thread Marc Sunet
the FSF or some other organization lately? Marc On 2/24/24 18:35, Akira Urushibata wrote: I decided to take took a look at Microsoft's revenue structure. In the past Windows was the leading product, and by far, but it is not so today. In 2023 Windows accounted for only 10% of total revenu

Re: FSF official site does not announce important events

2024-05-15 Thread Marc Sunet
Can someone from the FSF explain why this is the case? Marc On 5/3/24 15:57, Akira Urushibata wrote: I visited the official FSF site to see when they stopped posting announcements of talks by RMS. Up to September 2019 RMS lecture notices appeared frequently. After the following entry

Re: Bug tracker

2024-05-15 Thread Jean-Marc Lasgouttes
Le 15/05/2024 à 14:02, Pavel Sanda a écrit : On Wed, May 15, 2024 at 12:46:07PM +0100, Andre Silva wrote: I would like to report what appears to be a new bug. How can I register to the LyX Bug Tracker? I will create the account for you. Pavel OK, so I let you do it Pavel. JMarc --

<    3   4   5   6   7   8   9   10   11   12   >