Show patches with: Submitter = Pierre-Marie de Rodat       |    State = Action Required       |   872 patches
« 1 2 3 48 9 »
Patch Series S/W/F Date Submitter Delegate State
[Ada] Add note about gnatcov reliance on thunk names [Ada] Add note about gnatcov reliance on thunk names 0 0 0 2020-06-05 Pierre-Marie de Rodat New
[Ada] Support 'Reduce under -gnatX [Ada] Support 'Reduce under -gnatX 0 0 0 2020-06-05 Pierre-Marie de Rodat New
[Ada] Fix punctuation in description of Enum_Rep attribute [Ada] Fix punctuation in description of Enum_Rep attribute 0 0 0 2020-06-05 Pierre-Marie de Rodat New
[Ada] Do not create an empty list of nodes that confuses GNATprove [Ada] Do not create an empty list of nodes that confuses GNATprove 0 0 0 2020-06-05 Pierre-Marie de Rodat New
[Ada] Make the Has_Dynamic_Range_Check flag obsolete [Ada] Make the Has_Dynamic_Range_Check flag obsolete 0 0 0 2020-06-05 Pierre-Marie de Rodat New
[Ada] Fix assertion failure on double rederivation of private type [Ada] Fix assertion failure on double rederivation of private type 0 0 0 2020-06-05 Pierre-Marie de Rodat New
[Ada] Put_Image attribute [Ada] Put_Image attribute 0 0 0 2020-06-05 Pierre-Marie de Rodat New
[Ada] Move routine for detecting special Text_IO packages from GNATprove [Ada] Move routine for detecting special Text_IO packages from GNATprove 0 0 0 2020-06-05 Pierre-Marie de Rodat New
[Ada] Add missing Global contract to Ada.Containers.Functional_Vectors [Ada] Add missing Global contract to Ada.Containers.Functional_Vectors 0 0 0 2020-06-05 Pierre-Marie de Rodat New
[Ada] Simplify iteration over components [Ada] Simplify iteration over components 0 0 0 2020-06-05 Pierre-Marie de Rodat New
[Ada] Optimize Normalize_Pathname [Ada] Optimize Normalize_Pathname 0 0 0 2020-06-05 Pierre-Marie de Rodat New
[Ada] Spurious error on address clause in task body [Ada] Spurious error on address clause in task body 0 0 0 2020-06-05 Pierre-Marie de Rodat New
[Ada] AI12-0237 Getting the representation of an enumeration value [Ada] AI12-0237 Getting the representation of an enumeration value 0 0 0 2020-06-05 Pierre-Marie de Rodat New
[Ada] AI12-0144 Make Discrete_Random more flexible [Ada] AI12-0144 Make Discrete_Random more flexible 0 0 0 2020-06-05 Pierre-Marie de Rodat New
[Ada] Fix incorrect initialization for array of non-standard enumeration type [Ada] Fix incorrect initialization for array of non-standard enumeration type 0 0 0 2020-06-05 Pierre-Marie de Rodat New
[Ada] Assertion_Policy (Ignore) ignores invariants [Ada] Assertion_Policy (Ignore) ignores invariants 0 0 0 2020-06-05 Pierre-Marie de Rodat New
[Ada] Add No_Truncation flag on view conversion for GNAT-LLVM [Ada] Add No_Truncation flag on view conversion for GNAT-LLVM 0 0 0 2020-06-05 Pierre-Marie de Rodat New
[Ada] AI12-0207 Convention of anonymous access types [Ada] AI12-0207 Convention of anonymous access types 0 0 0 2020-06-05 Pierre-Marie de Rodat New
[Ada] Add missing conversion in call to Finalize primitive [Ada] Add missing conversion in call to Finalize primitive 0 0 0 2020-06-04 Pierre-Marie de Rodat New
[Ada] Ada_2020: contracts for formal subprograms [Ada] Ada_2020: contracts for formal subprograms 0 0 0 2020-06-04 Pierre-Marie de Rodat New
[Ada] Fix a couple of oversights in previous change [Ada] Fix a couple of oversights in previous change 0 0 0 2020-06-04 Pierre-Marie de Rodat New
[Ada] New package Ada.Task_Initialization [Ada] New package Ada.Task_Initialization 0 0 0 2020-06-04 Pierre-Marie de Rodat New
[Ada] Wrong walk order in Walk_Library_Items [Ada] Wrong walk order in Walk_Library_Items 0 0 0 2020-06-04 Pierre-Marie de Rodat New
[Ada] Missing accessibility check on access discriminant in extended return [Ada] Missing accessibility check on access discriminant in extended return 0 0 0 2020-06-04 Pierre-Marie de Rodat New
[Ada] Set convention and inlined flag on default null procedure [Ada] Set convention and inlined flag on default null procedure 0 0 0 2020-06-04 Pierre-Marie de Rodat New
[Ada] New procedure Register_Global_Unhandled_Action [Ada] New procedure Register_Global_Unhandled_Action 0 0 0 2020-06-04 Pierre-Marie de Rodat New
[Ada] Small tweak to special handling of private index types [Ada] Small tweak to special handling of private index types 0 0 0 2020-06-04 Pierre-Marie de Rodat New
[Ada] Fix Is_Absolute_Path on Windows [Ada] Fix Is_Absolute_Path on Windows 0 0 0 2020-06-04 Pierre-Marie de Rodat New
[Ada] Alignment clause ignored on completion derived from private type [Ada] Alignment clause ignored on completion derived from private type 0 0 0 2020-06-04 Pierre-Marie de Rodat New
[Ada] Implement AI12-0275 (Make subtype_mark optional in object renamings) [Ada] Implement AI12-0275 (Make subtype_mark optional in object renamings) 0 0 0 2020-06-04 Pierre-Marie de Rodat New
[Ada] Revamp dump and aux output names [Ada] Revamp dump and aux output names 0 0 0 2020-06-04 Pierre-Marie de Rodat New
[Ada] Fix glitch for N_Delta_Aggregate/N_Case_Expression/N_Quantified_Expression [Ada] Fix glitch for N_Delta_Aggregate/N_Case_Expression/N_Quantified_Expression 0 0 0 2020-06-04 Pierre-Marie de Rodat New
[Ada] Import Adafinal as convention Ada [Ada] Import Adafinal as convention Ada 0 0 0 2020-06-04 Pierre-Marie de Rodat New
[Ada] Update the documentation in checks.ads about range checks [Ada] Update the documentation in checks.ads about range checks 0 0 0 2020-06-04 Pierre-Marie de Rodat New
[Ada] Avoid buffer overflow in Long_Long_Float_Text_IO [Ada] Avoid buffer overflow in Long_Long_Float_Text_IO 0 0 0 2020-06-04 Pierre-Marie de Rodat New
[Ada] Add another ad-hoc case to the Has_Private_View mechanism [Ada] Add another ad-hoc case to the Has_Private_View mechanism 0 0 0 2020-06-04 Pierre-Marie de Rodat New
[Ada] Fix fallout of cleanup to Has_Private_View mechanism [Ada] Fix fallout of cleanup to Has_Private_View mechanism 0 0 0 2020-06-04 Pierre-Marie de Rodat New
[Ada] Get rid of more references to Universal_Integer in expanded code [Ada] Get rid of more references to Universal_Integer in expanded code 0 0 0 2020-06-03 Pierre-Marie de Rodat New
[Ada] Add detection of uninitialized big reals [Ada] Add detection of uninitialized big reals 0 0 0 2020-06-03 Pierre-Marie de Rodat New
[Ada] Iterate with procedural versions of Next_... routines where possible [Ada] Iterate with procedural versions of Next_... routines where possible 0 0 0 2020-06-03 Pierre-Marie de Rodat New
[Ada] Fix for missing calls to Adjust primitive with nested generics [Ada] Fix for missing calls to Adjust primitive with nested generics 0 0 0 2020-06-03 Pierre-Marie de Rodat New
[Ada] Debug info not available on subp having a class-wide precondition [Ada] Debug info not available on subp having a class-wide precondition 0 0 0 2020-06-03 Pierre-Marie de Rodat New
[Ada] Avoid creating temporaries in Universal_Integer, continued [Ada] Avoid creating temporaries in Universal_Integer, continued 0 0 0 2020-06-03 Pierre-Marie de Rodat New
[Ada] Small improvement to Expand_N_Unchecked_Type_Conversion [Ada] Small improvement to Expand_N_Unchecked_Type_Conversion 0 0 0 2020-06-03 Pierre-Marie de Rodat New
[Ada] Minor change to comment in System.Regexp spec [Ada] Minor change to comment in System.Regexp spec 0 0 0 2020-06-03 Pierre-Marie de Rodat New
[Ada] Unnesting problems with expansion of Loop_Entry attribute [Ada] Unnesting problems with expansion of Loop_Entry attribute 0 0 0 2020-06-03 Pierre-Marie de Rodat New
[Ada] Remove more cases of empty loops [Ada] Remove more cases of empty loops 0 0 0 2020-06-03 Pierre-Marie de Rodat New
[Ada] Incorrect accessibility checking on aliased formals [Ada] Incorrect accessibility checking on aliased formals 0 0 0 2020-06-03 Pierre-Marie de Rodat New
[Ada] Small housekeeping work in Check_Private_View [Ada] Small housekeeping work in Check_Private_View 0 0 0 2020-06-03 Pierre-Marie de Rodat New
[Ada] Improve 'Val implementation for some enumeration types [Ada] Improve 'Val implementation for some enumeration types 0 0 0 2020-06-03 Pierre-Marie de Rodat New
[Ada] Improve handling of SPARK_Mode in generic instances [Ada] Improve handling of SPARK_Mode in generic instances 0 0 0 2020-06-03 Pierre-Marie de Rodat New
[Ada] Get rid of more references to Universal_Integer in expanded code [Ada] Get rid of more references to Universal_Integer in expanded code 0 0 0 2020-06-03 Pierre-Marie de Rodat New
[Ada] Support pragma Allow_Integer_Address on 64-bit targets [Ada] Support pragma Allow_Integer_Address on 64-bit targets 0 0 0 2020-06-03 Pierre-Marie de Rodat New
[Ada] More efficient System.Random_Numbers.Random_Discrete for 32-bit types [Ada] More efficient System.Random_Numbers.Random_Discrete for 32-bit types 0 0 0 2020-06-03 Pierre-Marie de Rodat New
[Ada] Spurious ineffective with clause warnings on use type clause [Ada] Spurious ineffective with clause warnings on use type clause 0 0 0 2020-06-03 Pierre-Marie de Rodat New
[Ada] Initial infrastructure for adding a tree checker [Ada] Initial infrastructure for adding a tree checker 0 0 0 2020-06-03 Pierre-Marie de Rodat New
[Ada] Get rid of more references to Universal_Integer in expanded code [Ada] Get rid of more references to Universal_Integer in expanded code 0 0 0 2020-06-03 Pierre-Marie de Rodat New
[Ada] Avoid creating temporaries in Universal_Integer for range checks [Ada] Avoid creating temporaries in Universal_Integer for range checks 0 0 0 2020-06-03 Pierre-Marie de Rodat New
[Ada] Remove -gnatt switch processing [Ada] Remove -gnatt switch processing 0 0 0 2020-06-03 Pierre-Marie de Rodat New
[Ada] Accept objects from nested packages in Initializes contract [Ada] Accept objects from nested packages in Initializes contract 0 0 0 2020-06-02 Pierre-Marie de Rodat New
[Ada] Remove dead code for detecting hidden package state [Ada] Remove dead code for detecting hidden package state 0 0 0 2020-06-02 Pierre-Marie de Rodat New
[Ada] Unnesting bugs with array renamings generated for quantified expr [Ada] Unnesting bugs with array renamings generated for quantified expr 0 0 0 2020-06-02 Pierre-Marie de Rodat New
[Ada] Fix minor discrepancy in Expand_N_Attribute_Reference [Ada] Fix minor discrepancy in Expand_N_Attribute_Reference 0 0 0 2020-06-02 Pierre-Marie de Rodat New
[Ada] ICE during unnesting when nested subprograms have address taken [Ada] ICE during unnesting when nested subprograms have address taken 0 0 0 2020-06-02 Pierre-Marie de Rodat New
[Ada] Use Standard.Natural on bit references to packed arrays [Ada] Use Standard.Natural on bit references to packed arrays 0 0 0 2020-06-02 Pierre-Marie de Rodat New
[Ada] Get rid of more references to Universal_Integer in expanded code [Ada] Get rid of more references to Universal_Integer in expanded code 0 0 0 2020-06-02 Pierre-Marie de Rodat New
[Ada] Compiler crash processing controlled type primitive [Ada] Compiler crash processing controlled type primitive 0 0 0 2020-06-02 Pierre-Marie de Rodat New
[Ada] Statement SCO code for degenerate subprograms [Ada] Statement SCO code for degenerate subprograms 0 0 0 2020-06-02 Pierre-Marie de Rodat New
[Ada] Get rid of more references to Universal_Integer in expanded code [Ada] Get rid of more references to Universal_Integer in expanded code 0 0 0 2020-06-02 Pierre-Marie de Rodat New
[Ada] Remove degenerate Treat_Fixed_As_Integer mechanism [Ada] Remove degenerate Treat_Fixed_As_Integer mechanism 0 0 0 2020-06-02 Pierre-Marie de Rodat New
[Ada] Reuse Is_Package_Or_Generic_Package where possible [Ada] Reuse Is_Package_Or_Generic_Package where possible 0 0 0 2020-06-02 Pierre-Marie de Rodat New
[Ada] Fix small oversight in latest change for Replace_Discriminants [Ada] Fix small oversight in latest change for Replace_Discriminants 0 0 0 2020-06-02 Pierre-Marie de Rodat New
[Ada] Fix bogus error for clause on derived type with variant part [Ada] Fix bogus error for clause on derived type with variant part 0 0 0 2020-06-02 Pierre-Marie de Rodat New
[Ada] Use Standard.Natural on indices in support routines for Ada.Tags [Ada] Use Standard.Natural on indices in support routines for Ada.Tags 0 0 0 2020-06-02 Pierre-Marie de Rodat New
[Ada] Do not set the bounds of integer types to be universal [Ada] Do not set the bounds of integer types to be universal 0 0 0 2020-06-02 Pierre-Marie de Rodat New
gcc-changelog: enhance handling of renamings gcc-changelog: enhance handling of renamings 0 0 0 2020-05-27 Pierre-Marie de Rodat New
[2/2] gcc-changelog: handle entries with multi-line file lists [1/2] gcc-changelog: remove file descriptor leaks 0 0 0 2020-05-26 Pierre-Marie de Rodat New
[1/2] gcc-changelog: remove file descriptor leaks [1/2] gcc-changelog: remove file descriptor leaks 0 0 0 2020-05-26 Pierre-Marie de Rodat New
[Ada] Change pragma Compile_Time_Error to force compile-time evaluation [Ada] Change pragma Compile_Time_Error to force compile-time evaluation 0 0 0 2020-05-25 Pierre-Marie de Rodat New
[Ada] Fix spurious error on checking of null Abstract_State [Ada] Fix spurious error on checking of null Abstract_State 0 0 0 2020-05-25 Pierre-Marie de Rodat New
[Ada] Spurious accessibility error on return aggregate in GNATprove mode [Ada] Spurious accessibility error on return aggregate in GNATprove mode 0 0 0 2020-05-25 Pierre-Marie de Rodat New
[Ada] Fix three-letter typos like "sss" in comments and docs [Ada] Fix three-letter typos like "sss" in comments and docs 0 0 0 2019-12-18 Pierre-Marie de Rodat New
[Ada] Missing accessibility actuals on calls to interface conversion functions [Ada] Missing accessibility actuals on calls to interface conversion functions 0 0 0 2019-12-18 Pierre-Marie de Rodat New
[Ada] AI12-0282: shared variable control aspects on formal types [Ada] AI12-0282: shared variable control aspects on formal types 0 0 0 2019-12-18 Pierre-Marie de Rodat New
[Ada] Missing accessibility check on access discriminants [Ada] Missing accessibility check on access discriminants 0 0 0 2019-12-18 Pierre-Marie de Rodat New
[Ada] Reserving switch d_K for known problem isssues detection [Ada] Reserving switch d_K for known problem isssues detection 0 0 0 2019-12-18 Pierre-Marie de Rodat New
[Ada] Wrong error on hidden must-override primitive [Ada] Wrong error on hidden must-override primitive 0 0 0 2019-12-18 Pierre-Marie de Rodat New
[Ada] Bad "already use-visible" warning re: use in private part [Ada] Bad "already use-visible" warning re: use in private part 0 0 0 2019-12-18 Pierre-Marie de Rodat New
[Ada] Do not propagate Object_Size onto Size for composite types [Ada] Do not propagate Object_Size onto Size for composite types 0 0 0 2019-12-18 Pierre-Marie de Rodat New
[Ada] Document the introduction of the Object_Size attribute in Ada 2020 [Ada] Document the introduction of the Object_Size attribute in Ada 2020 0 0 0 2019-12-18 Pierre-Marie de Rodat New
[Ada] Export the Ada version through the C interface [Ada] Export the Ada version through the C interface 0 0 0 2019-12-16 Pierre-Marie de Rodat New
[Ada] Fully propagate representation aspects through renaming [Ada] Fully propagate representation aspects through renaming 0 0 0 2019-12-16 Pierre-Marie de Rodat New
[Ada] Suppress unused warnings in the presence of errors [Ada] Suppress unused warnings in the presence of errors 0 0 0 2019-12-16 Pierre-Marie de Rodat New
[Ada] Expand renamings of subcomponents of an atomic or VFA object [Ada] Expand renamings of subcomponents of an atomic or VFA object 0 0 0 2019-12-16 Pierre-Marie de Rodat New
[Ada] Better error message for "is null" subunit [Ada] Better error message for "is null" subunit 0 0 0 2019-12-16 Pierre-Marie de Rodat New
[Ada] Bad warning: Size in Compile_Time_Error in nested instance [Ada] Bad warning: Size in Compile_Time_Error in nested instance 0 0 0 2019-12-16 Pierre-Marie de Rodat New
[Ada] Fix couple of oversights in the implementation of AI12-0128 [Ada] Fix couple of oversights in the implementation of AI12-0128 0 0 0 2019-12-16 Pierre-Marie de Rodat New
[Ada] Remove new strict-alignment check added by AI12-0001 [Ada] Remove new strict-alignment check added by AI12-0001 0 0 0 2019-12-16 Pierre-Marie de Rodat New
[Ada] Do not set a bogus Esize on subtype built for Component_Size clause [Ada] Do not set a bogus Esize on subtype built for Component_Size clause 0 0 0 2019-12-16 Pierre-Marie de Rodat New
[Ada] Validate_Access_Subprogram_Instance: check if not null types match [Ada] Validate_Access_Subprogram_Instance: check if not null types match 0 0 0 2019-12-16 Pierre-Marie de Rodat New
« 1 2 3 48 9 »