Show patches with: Submitter = Pierre-Marie de Rodat       |    State = Action Required       |    Archived = No       |   3031 patches
« 1 2 3 430 31 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Simplify regular expression that matches 8 consecutive digits [Ada] Simplify regular expression that matches 8 consecutive digits - - - - --- 2022-07-06 Pierre-Marie de Rodat New
[Ada] Improve code generated for aggregates of VFA type [Ada] Improve code generated for aggregates of VFA type - - - - --- 2022-07-06 Pierre-Marie de Rodat New
[Ada] Small tweak to gnat_to_gnu_subprog_type [Ada] Small tweak to gnat_to_gnu_subprog_type - - - - --- 2022-07-06 Pierre-Marie de Rodat New
[Ada] Deferred constant considered as not preelaborable [Ada] Deferred constant considered as not preelaborable - - - - --- 2022-07-06 Pierre-Marie de Rodat New
[Ada] Indexing error when calling GNAT.Regpat.Match [Ada] Indexing error when calling GNAT.Regpat.Match - - - - --- 2022-07-06 Pierre-Marie de Rodat New
[Ada] Spurious non-callable warning on prefixed call in class condition [Ada] Spurious non-callable warning on prefixed call in class condition - - - - --- 2022-07-06 Pierre-Marie de Rodat New
[Ada] Support ghost generic formal parameters [Ada] Support ghost generic formal parameters - - - - --- 2022-07-06 Pierre-Marie de Rodat New
[Ada] Missing error on tagged type conversion [Ada] Missing error on tagged type conversion - - - - --- 2022-07-06 Pierre-Marie de Rodat New
[Ada] Handle secondary stack memory allocations alignment [Ada] Handle secondary stack memory allocations alignment - - - - --- 2022-07-06 Pierre-Marie de Rodat New
[Ada] Cleanup use of local scalars in GNAT.Socket.Get_Address_Info [Ada] Cleanup use of local scalars in GNAT.Socket.Get_Address_Info - - - - --- 2022-07-06 Pierre-Marie de Rodat New
[Ada] Vxworks7* - Makefile.rtl rtp vs rtp-smp cleanup [Ada] Vxworks7* - Makefile.rtl rtp vs rtp-smp cleanup - - - - --- 2022-07-06 Pierre-Marie de Rodat New
[Ada] Fix incorrect itype sharing for case expression in limited type return [Ada] Fix incorrect itype sharing for case expression in limited type return - - - - --- 2022-07-06 Pierre-Marie de Rodat New
[Ada] Remove old vxworks from Makefile.rtl - e500 port. [Ada] Remove old vxworks from Makefile.rtl - e500 port. - - - - --- 2022-07-06 Pierre-Marie de Rodat New
[Ada] Incorrect emptying of CUDA global subprograms [Ada] Incorrect emptying of CUDA global subprograms - - - - --- 2022-07-06 Pierre-Marie de Rodat New
[Ada] Remove explicit call to Make_Unchecked_Type_Conversion [Ada] Remove explicit call to Make_Unchecked_Type_Conversion - - - - --- 2022-07-06 Pierre-Marie de Rodat New
[Ada] Restore accidentally removed part of a comment about unset references [Ada] Restore accidentally removed part of a comment about unset references - - - - --- 2022-07-06 Pierre-Marie de Rodat New
[Ada] Fix spurious error for aggregate with box component choice [Ada] Fix spurious error for aggregate with box component choice - - - - --- 2022-07-06 Pierre-Marie de Rodat New
[Ada] Warn about obsolete uses of renamed Ada 83 packages [Ada] Warn about obsolete uses of renamed Ada 83 packages - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Couple of small cleanups for Cloned_Subtype [Ada] Couple of small cleanups for Cloned_Subtype - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Remove kludge for validity checks on Long_Float type [Ada] Remove kludge for validity checks on Long_Float type - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Remove repeated setting of Never_Set_In_Source [Ada] Remove repeated setting of Never_Set_In_Source - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Reorder processing of default expressions to avoid repeated calls [Ada] Reorder processing of default expressions to avoid repeated calls - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Remove redundant protection against empty lists [Ada] Remove redundant protection against empty lists - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] qnx-7.1: ACATS cxag001 failure on qnx - realpath [Ada] qnx-7.1: ACATS cxag001 failure on qnx - realpath - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Remove use of a global name buffer when locating a file [Ada] Remove use of a global name buffer when locating a file - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Reuse Get_Pragma_Arg to handle pragma argument associations [Ada] Reuse Get_Pragma_Arg to handle pragma argument associations - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Fix spurious error on object renaming with ghost type [Ada] Fix spurious error on object renaming with ghost type - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Misc cleanup related to finalization [Ada] Misc cleanup related to finalization - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Remove repeated analysis for pragma Thread_Local_Storage [Ada] Remove repeated analysis for pragma Thread_Local_Storage - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Annotate GNAT.Sockets with No_Return aspects [Ada] Annotate GNAT.Sockets with No_Return aspects - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Cleanup repeated code for aggregate constraints checks [Ada] Cleanup repeated code for aggregate constraints checks - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Fix comments mentioning ancient flags related to objects references [Ada] Fix comments mentioning ancient flags related to objects references - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Spurious error on qualified prefix in Pack.Func'Result [Ada] Spurious error on qualified prefix in Pack.Func'Result - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Perform object rewriting as renaming only in the expander [Ada] Perform object rewriting as renaming only in the expander - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Remove exception propagation during bootstrap [Ada] Remove exception propagation during bootstrap - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Remove unnecessary dead code after calls to nonreturning procedures [Ada] Remove unnecessary dead code after calls to nonreturning procedures - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Remove return statements after procedure calls that don't return [Ada] Remove return statements after procedure calls that don't return - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Combine system.ads files - vxworks6 constants. [Ada] Combine system.ads files - vxworks6 constants. - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Fix clearly unintentional dead analysis of attribute Code_Address [Ada] Fix clearly unintentional dead analysis of attribute Code_Address - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Cleanup in error about unreachable code [Ada] Cleanup in error about unreachable code - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Remove redundant guards in detection of unreachable code [Ada] Remove redundant guards in detection of unreachable code - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Remove redundant guard for call to List_Length with a No_List [Ada] Remove redundant guard for call to List_Length with a No_List - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Add RM reference to check for functions without a return statement [Ada] Add RM reference to check for functions without a return statement - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Remove comment about a long gone formal verification mode [Ada] Remove comment about a long gone formal verification mode - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Remove unimplemented convert_addresses declaration [Ada] Remove unimplemented convert_addresses declaration - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Do not make procedure call with only tag-indeternminate actuals dispatching [Ada] Do not make procedure call with only tag-indeternminate actuals dispatching - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Fix dispatching call to primitive function with controlling tagged result [Ada] Fix dispatching call to primitive function with controlling tagged result - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] vx7r2: do not include s-qnx.ads in the kernel and rtp runtimes [Ada] vx7r2: do not include s-qnx.ads in the kernel and rtp runtimes - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Small housekeeping work in Expand_N_Object_Declaration [Ada] Small housekeeping work in Expand_N_Object_Declaration - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Refactor duplicated resolution of Count and Index attributes [Ada] Refactor duplicated resolution of Count and Index attributes - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Use static stack allocation for small string if-expressions [Ada] Use static stack allocation for small string if-expressions - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Use static stack allocation for small dynamic string concatenations [Ada] Use static stack allocation for small dynamic string concatenations - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Enforce deferred constant completion rules [Ada] Enforce deferred constant completion rules - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Assertions in Einfo.Utils [Ada] Assertions in Einfo.Utils - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Tech debt: Remove code duplication [Ada] Tech debt: Remove code duplication - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Single character argument in call to Quote_Argument raises error [Ada] Single character argument in call to Quote_Argument raises error - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Fix missing error on 'Access of constrained array [Ada] Fix missing error on 'Access of constrained array - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Do not use front-end build-in-place mechanism for nonlimited types [Ada] Do not use front-end build-in-place mechanism for nonlimited types - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Call-initialize all controlled objects in place [Ada] Call-initialize all controlled objects in place - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Add Ada 2022 Key function to sets containers [Ada] Add Ada 2022 Key function to sets containers - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Compiler rejects legal allocator in record component constraint expression [Ada] Compiler rejects legal allocator in record component constraint expression - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Avoid unwanted warnings for statically-known-successful assertions [Ada] Avoid unwanted warnings for statically-known-successful assertions - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Give missing error on ambiguous operand of equality operator [Ada] Give missing error on ambiguous operand of equality operator - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Add Ada 2022 features to sets containers [Ada] Add Ada 2022 features to sets containers - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Update the documentation of functional containers [Ada] Update the documentation of functional containers - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Add GNAT specific pragmas to the equivalent Assertion_Policy for -gnata [Ada] Add GNAT specific pragmas to the equivalent Assertion_Policy for -gnata - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Incorrect accessibility check on return of discriminated type [Ada] Incorrect accessibility check on return of discriminated type - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Plug loophole for built-in-place return with limited_with clause [Ada] Plug loophole for built-in-place return with limited_with clause - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Fix for resolution of overloaded subprogram for Iterable aspect [Ada] Fix for resolution of overloaded subprogram for Iterable aspect - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Create new unbounded functional sequence [Ada] Create new unbounded functional sequence - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Adjust description of Pure_Function pragma [Ada] Adjust description of Pure_Function pragma - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Fix record layout warnings not being tagged [Ada] Fix record layout warnings not being tagged - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Disable -flto when building the shared libgnat [Ada] Disable -flto when building the shared libgnat - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Couple of small preparatory adjustments [Ada] Couple of small preparatory adjustments - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Restore full generation of static dispatch tables with -gnatzr [Ada] Restore full generation of static dispatch tables with -gnatzr - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Never make symbols for thunks public [Ada] Never make symbols for thunks public - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Fix references to old variables that have been refactored [Ada] Fix references to old variables that have been refactored - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Rename GNATprove annotate pragma for termination to Always_Return [Ada] Rename GNATprove annotate pragma for termination to Always_Return - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Make the functional Maps and Sets unbounded [Ada] Make the functional Maps and Sets unbounded - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Fix spurious use of trampolines with interface types [Ada] Fix spurious use of trampolines with interface types - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Add precise subprogram identification to -fdiagnostics-format=json [Ada] Add precise subprogram identification to -fdiagnostics-format=json - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Refine previous changes on making symbols public/private [Ada] Refine previous changes on making symbols public/private - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Fix spurious errors on ghost code in generics [Ada] Fix spurious errors on ghost code in generics - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Move registering code for predefined primitives to Exp_Disp [Ada] Move registering code for predefined primitives to Exp_Disp - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Build static dispatch tables always at the end of declarative part [Ada] Build static dispatch tables always at the end of declarative part - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] vx7r2-arm/aarch64 - Support Atomic Primitives True [Ada] vx7r2-arm/aarch64 - Support Atomic Primitives True - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Update documentation of GNAT.Dynamic_Tables [Ada] Update documentation of GNAT.Dynamic_Tables - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Fix detection of deferred constants for freezing error [Ada] Fix detection of deferred constants for freezing error - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Fix preconditions of Interfaces.C.Strings [Ada] Fix preconditions of Interfaces.C.Strings - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Issue errors on wrong context for ghost entities [Ada] Issue errors on wrong context for ghost entities - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Complete contracts of Interfaces.C.Strings subprograms [Ada] Complete contracts of Interfaces.C.Strings subprograms - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Propagate Has_Inherit{able,ed}_Invariants to base types [Ada] Propagate Has_Inherit{able,ed}_Invariants to base types - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Combine system.ads files - arm and aarch64 linux [Ada] Combine system.ads files - arm and aarch64 linux - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Combine system.ads file - vxworks7 rtp constants [Ada] Combine system.ads file - vxworks7 rtp constants - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Gnatbind crash during checksum calculation [Ada] Gnatbind crash during checksum calculation - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Fix iteration on formal vectors [Ada] Fix iteration on formal vectors - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Add contracts to System.Address_To_Access_Conversions [Ada] Add contracts to System.Address_To_Access_Conversions - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Add contracts to Interfaces.C.Strings [Ada] Add contracts to Interfaces.C.Strings - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Allow confirming volatile properties on No_Caching variables [Ada] Allow confirming volatile properties on No_Caching variables - - - - --- 2022-06-01 Pierre-Marie de Rodat New
[Ada] Combine system.ads file - vxworks7 kernel constants. [Ada] Combine system.ads file - vxworks7 kernel constants. - - - - --- 2022-06-01 Pierre-Marie de Rodat New
« 1 2 3 430 31 »