Show patches with: Submitter = Pierre-Marie de Rodat       |    State = Action Required       |    Archived = No       |   3078 patches
« 1 2 3 4 … 30 31 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[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
[Ada] Combine system.ads files - arm and aarch64 qnx [Ada] Combine system.ads files - arm and aarch64 qnx - - - - --- 2022-06-01 Pierre-Marie de Rodat New
[Ada] Fix missing space in error message [Ada] Fix missing space in error message - - - - --- 2022-06-01 Pierre-Marie de Rodat New
[Ada] Fix classification of Subprogram_Variant as assertion pragma [Ada] Fix classification of Subprogram_Variant as assertion pragma - - - - --- 2022-06-01 Pierre-Marie de Rodat New
[Ada] Rename Returns_On_Secondary_Stack into Needs_Secondary_Stack [Ada] Rename Returns_On_Secondary_Stack into Needs_Secondary_Stack - - - - --- 2022-06-01 Pierre-Marie de Rodat New
[Ada] Do not freeze subprogram body without spec too early [Ada] Do not freeze subprogram body without spec too early - - - - --- 2022-06-01 Pierre-Marie de Rodat New
[Ada] Bug fix in "=" function of formal doubly linked list [Ada] Bug fix in "=" function of formal doubly linked list - - - - --- 2022-06-01 Pierre-Marie de Rodat New
[Ada] Fix predicate check on object declaration [Ada] Fix predicate check on object declaration - - - - --- 2022-06-01 Pierre-Marie de Rodat New
[Ada] arm-qnx-7.1: unwind goes wrong after regs restore [Ada] arm-qnx-7.1: unwind goes wrong after regs restore - - - - --- 2022-06-01 Pierre-Marie de Rodat New
[Ada] Enable using absolute paths in -fdiagnostics-format=json output [Ada] Enable using absolute paths in -fdiagnostics-format=json output - - - - --- 2022-06-01 Pierre-Marie de Rodat New
[Ada] Fix bad interaction between Inline_Always and -gnateV + -gnata [Ada] Fix bad interaction between Inline_Always and -gnateV + -gnata - - - - --- 2022-06-01 Pierre-Marie de Rodat New
[Ada] Propagate null-exclusion to anonymous access types [Ada] Propagate null-exclusion to anonymous access types - - - - --- 2022-06-01 Pierre-Marie de Rodat New
[Ada] Get rid of secondary stack for controlled components of limited types [Ada] Get rid of secondary stack for controlled components of limited types - - - - --- 2022-06-01 Pierre-Marie de Rodat New
[Ada] Note that hardening features are experimental [Ada] Note that hardening features are experimental - - - - --- 2022-06-01 Pierre-Marie de Rodat New
[Ada] Another case where freezing incorrectly suppresses checks [Ada] Another case where freezing incorrectly suppresses checks - - - - --- 2022-06-01 Pierre-Marie de Rodat New
[Ada] Adjust reference in comment [Ada] Adjust reference in comment - - - - --- 2022-06-01 Pierre-Marie de Rodat New
[Ada] QNX shared libraries - arm-qnx build gnatlib .so's [Ada] QNX shared libraries - arm-qnx build gnatlib .so's - - - - --- 2022-06-01 Pierre-Marie de Rodat New
[Ada] Fix composability of return on the secondary stack [Ada] Fix composability of return on the secondary stack - - - - --- 2022-06-01 Pierre-Marie de Rodat New
[Ada] Adjust warning switches [Ada] Adjust warning switches - - - - --- 2022-06-01 Pierre-Marie de Rodat New
[Ada] Minor tweaks to dispatching support code [Ada] Minor tweaks to dispatching support code - - - - --- 2022-06-01 Pierre-Marie de Rodat New
[Ada] Missing discriminant checks when accessing variant field [Ada] Missing discriminant checks when accessing variant field - - - - --- 2022-06-01 Pierre-Marie de Rodat New
[Ada] Fix search for "for ... of" loop subprograms [Ada] Fix search for "for ... of" loop subprograms - - - - --- 2022-06-01 Pierre-Marie de Rodat New
[Ada] arm-qnx-7.1: unwind goes wrong after regs restore [Ada] arm-qnx-7.1: unwind goes wrong after regs restore - - - - --- 2022-06-01 Pierre-Marie de Rodat New
[Ada] Add reference counting in functional containers [Ada] Add reference counting in functional containers - - - - --- 2022-06-01 Pierre-Marie de Rodat New
[Ada] Issue a warning on entity hidden in use_clause with -gnatwh [Ada] Issue a warning on entity hidden in use_clause with -gnatwh - - - - --- 2022-06-01 Pierre-Marie de Rodat New
[Ada] Issue better error message for out-of-order keywords in record def [Ada] Issue better error message for out-of-order keywords in record def - - - - --- 2022-06-01 Pierre-Marie de Rodat New
[Ada] Use Actions field of freeze nodes for subprograms (continued) [Ada] Use Actions field of freeze nodes for subprograms (continued) - - - - --- 2022-06-01 Pierre-Marie de Rodat New
[Ada] Add inline documentation for Is_{Parenthesis,Enum_Array}_Aggregate [Ada] Add inline documentation for Is_{Parenthesis,Enum_Array}_Aggregate - - - - --- 2022-06-01 Pierre-Marie de Rodat New
[Ada] Incorrect code for anonymous access-to-function with convention C [Ada] Incorrect code for anonymous access-to-function with convention C - - - - --- 2022-06-01 Pierre-Marie de Rodat New
[Ada] Suppress warnings on membership test of ranges [Ada] Suppress warnings on membership test of ranges - - - - --- 2022-06-01 Pierre-Marie de Rodat New
[Ada] Fix spurious options being inserted in -fdiagnostics-format=json output [Ada] Fix spurious options being inserted in -fdiagnostics-format=json output - - - - --- 2022-05-30 Pierre-Marie de Rodat New
[Ada] Add "option" field to GNAT's -fdiagnostics-format=json output [Ada] Add "option" field to GNAT's -fdiagnostics-format=json output - - - - --- 2022-05-30 Pierre-Marie de Rodat New
[Ada] Remove contract duplication in formal doubly linked lists [Ada] Remove contract duplication in formal doubly linked lists - - - - --- 2022-05-30 Pierre-Marie de Rodat New
[Ada] Fix expansion of structural subprogram variants [Ada] Fix expansion of structural subprogram variants - - - - --- 2022-05-30 Pierre-Marie de Rodat New
[Ada] Simplify construction of a path to file [Ada] Simplify construction of a path to file - - - - --- 2022-05-30 Pierre-Marie de Rodat New
[Ada] Remove repeated description of support for Address clauses [Ada] Remove repeated description of support for Address clauses - - - - --- 2022-05-30 Pierre-Marie de Rodat New
[Ada] Add insertion character to Ineffective_Inline_Warnings messages [Ada] Add insertion character to Ineffective_Inline_Warnings messages - - - - --- 2022-05-30 Pierre-Marie de Rodat New
[Ada] Add insertion character for overlay modification warnings [Ada] Add insertion character for overlay modification warnings - - - - --- 2022-05-30 Pierre-Marie de Rodat New
[Ada] Fix Warn_On_All_Unread_Out_Parameters not being properly tagged [Ada] Fix Warn_On_All_Unread_Out_Parameters not being properly tagged - - - - --- 2022-05-30 Pierre-Marie de Rodat New
[Ada] Fix Warn_On_Late_Primitives messages not being properly tagged [Ada] Fix Warn_On_Late_Primitives messages not being properly tagged - - - - --- 2022-05-30 Pierre-Marie de Rodat New
[Ada] Deconstruct deferred references [Ada] Deconstruct deferred references - - - - --- 2022-05-30 Pierre-Marie de Rodat New
[Ada] Fix -gnatw.f warnings not having the right insertion characters [Ada] Fix -gnatw.f warnings not having the right insertion characters - - - - --- 2022-05-30 Pierre-Marie de Rodat New
[Ada] Avoid creating a finalization wrapper block for functions [Ada] Avoid creating a finalization wrapper block for functions - - - - --- 2022-05-30 Pierre-Marie de Rodat New
[Ada] Incorrect unreferenced warnings on null subprograms and formals with aspects [Ada] Incorrect unreferenced warnings on null subprograms and formals with aspects - - - - --- 2022-05-30 Pierre-Marie de Rodat New
[Ada] Fix illegal Ada in s-dwalin.adb [Ada] Fix illegal Ada in s-dwalin.adb - - - - --- 2022-05-30 Pierre-Marie de Rodat New
[Ada] Incorrect determination of whether an expression is predicate-static [Ada] Incorrect determination of whether an expression is predicate-static - - - - --- 2022-05-30 Pierre-Marie de Rodat New
[Ada] Fix expansion of aggregate for discriminated limited extension [Ada] Fix expansion of aggregate for discriminated limited extension - - - - --- 2022-05-30 Pierre-Marie de Rodat New
[Ada] Do not freeze specifically for dispatch tables [Ada] Do not freeze specifically for dispatch tables - - - - --- 2022-05-30 Pierre-Marie de Rodat New
[Ada] Do not analyze expression functions for dispatch tables [Ada] Do not analyze expression functions for dispatch tables - - - - --- 2022-05-30 Pierre-Marie de Rodat New
[Ada] Introduce Opt.CCG_Mode [Ada] Introduce Opt.CCG_Mode - - - - --- 2022-05-30 Pierre-Marie de Rodat New
[Ada] Tweaks to hardening docs [Ada] Tweaks to hardening docs - - - - --- 2022-05-30 Pierre-Marie de Rodat New
[Ada] Fix typo in comment for functional sets [Ada] Fix typo in comment for functional sets - - - - --- 2022-05-30 Pierre-Marie de Rodat New
[Ada] Restore hiding of predefined "=" operator through class-wide type [Ada] Restore hiding of predefined "=" operator through class-wide type - - - - --- 2022-05-30 Pierre-Marie de Rodat New
[Ada] Do not freeze profiles for dispatch tables [Ada] Do not freeze profiles for dispatch tables - - - - --- 2022-05-30 Pierre-Marie de Rodat New
« 1 2 3 4 … 30 31 »