Show patches with: Submitter = Pierre-Marie de Rodat       |    State = Action Required       |    Archived = No       |   872 patches
« 1 2 3 48 9 »
Patch Series S/W/F Date Submitter Delegate State
[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
[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
[Ada] ACATS 4.1G - CXAG003 - Name_Case_Equivalence doesn't exist [Ada] ACATS 4.1G - CXAG003 - Name_Case_Equivalence doesn't exist 0 0 0 2018-05-30 Pierre-Marie de Rodat New
[Ada] Accept compilation switches -Og/-Ofast in non-GCC backends [Ada] Accept compilation switches -Og/-Ofast in non-GCC backends 0 0 0 2019-07-05 Pierre-Marie de Rodat New
[Ada] Accept concatentation arguments to pragma Annotate [Ada] Accept concatentation arguments to pragma Annotate 0 0 0 2019-09-19 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] Access to uninitialized memory by predicate check [Ada] Access to uninitialized memory by predicate check 0 0 0 2019-07-09 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] Ada 2020: Raise expressions in limited contexts (AI12-0172) [Ada] Ada 2020: Raise expressions in limited contexts (AI12-0172) 0 0 0 2019-09-17 Pierre-Marie de Rodat New
[Ada] Ada2020: Reduction expressions [Ada] Ada2020: Reduction expressions 0 0 0 2018-05-22 Pierre-Marie de Rodat New
[Ada] Adapt GNATprove expansion for slices with access prefix [Ada] Adapt GNATprove expansion for slices with access prefix 0 0 0 2019-08-20 Pierre-Marie de Rodat New
[Ada] Adapt new extended traversal of AST to have optional part [Ada] Adapt new extended traversal of AST to have optional part 0 0 0 2019-08-12 Pierre-Marie de Rodat New
[Ada] Adapt ownership checking in SPARK to traversal functions [Ada] Adapt ownership checking in SPARK to traversal functions 0 0 0 2019-07-22 Pierre-Marie de Rodat New
[Ada] Add ability to list compiler switches with gnatcmd [Ada] Add ability to list compiler switches with gnatcmd 0 0 0 2019-08-13 Pierre-Marie de Rodat New
[Ada] Add a Is_Foreign_Exception predicate to GNAT.Exception_Actions [Ada] Add a Is_Foreign_Exception predicate to GNAT.Exception_Actions 0 0 0 2018-05-23 Pierre-Marie de Rodat New
[Ada] Add a new gnat tool vxlink [Ada] Add a new gnat tool vxlink 0 0 0 2018-08-21 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] Add conformance check on actual subp. in instance of child unit [Ada] Add conformance check on actual subp. in instance of child unit 0 0 0 2019-08-13 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] Added warning on membership tests [Ada] Added warning on membership tests 0 0 0 2017-12-15 Pierre-Marie de Rodat New
[Ada] Add elaboration-related switches to GNAT UGN [Ada] Add elaboration-related switches to GNAT UGN 0 0 0 2018-07-17 Pierre-Marie de Rodat New
[Ada] Add formal function parameter equality to SPARK containers [Ada] Add formal function parameter equality to SPARK containers 0 0 0 2019-08-19 Pierre-Marie de Rodat New
[Ada] Add "Global => null" contracts to Ada.Calendar routines [Ada] Add "Global => null" contracts to Ada.Calendar routines 0 0 0 2018-12-11 Pierre-Marie de Rodat New
[Ada] Adding assertions on extra formals for BIP function calls [Ada] Adding assertions on extra formals for BIP function calls 0 0 0 2019-09-17 Pierre-Marie de Rodat New
[Ada] Adding support for Ada.Locales package [Ada] Adding support for Ada.Locales package 0 0 0 2018-05-22 Pierre-Marie de Rodat New
[Ada] Adding support for unsupported type conversion in CCG [Ada] Adding support for unsupported type conversion in CCG 0 0 0 2019-12-13 Pierre-Marie de Rodat New
[Ada] Additionsal trasformations for unnesting in package bodies [Ada] Additionsal trasformations for unnesting in package bodies 0 0 0 2018-12-11 Pierre-Marie de Rodat New
[Ada] Add leap seconds for 2015 and 2016 [Ada] Add leap seconds for 2015 and 2016 0 0 0 2018-12-03 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] 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] 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] 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] Add pragma Preelaborable_Initialization to Stream_IO.File_Type [Ada] Add pragma Preelaborable_Initialization to Stream_IO.File_Type 0 0 0 2019-10-10 Pierre-Marie de Rodat New
[Ada] Add Remove primitive on functional maps [Ada] Add Remove primitive on functional maps 0 0 0 2019-09-17 Pierre-Marie de Rodat New
[Ada] Add special bypass for obsolete code pattern [Ada] Add special bypass for obsolete code pattern 0 0 0 2019-08-12 Pierre-Marie de Rodat New
[Ada] Add support for Define_Switch with a callback in GNAT.Command_Line [Ada] Add support for Define_Switch with a callback in GNAT.Command_Line 0 0 0 2018-05-30 Pierre-Marie de Rodat New
[Ada] Add system-vxworks7 variants of system.ads files for Vx7 [Ada] Add system-vxworks7 variants of system.ads files for Vx7 0 0 0 2018-05-29 Pierre-Marie de Rodat New
[Ada] Add warning on redundant others_clause in array aggregate [Ada] Add warning on redundant others_clause in array aggregate 0 0 0 2018-05-24 Pierre-Marie de Rodat New
[Ada] Adjust documentation of -gnatn switch [Ada] Adjust documentation of -gnatn switch 0 0 0 2018-05-29 Pierre-Marie de Rodat New
[Ada] Adjust growth factor from 1/32 to 1/2 for Unbounded_String [Ada] Adjust growth factor from 1/32 to 1/2 for Unbounded_String 0 0 0 2018-07-16 Pierre-Marie de Rodat New
[Ada] Adjust inlining in GNATprove mode for predicate/invariant/DIC [Ada] Adjust inlining in GNATprove mode for predicate/invariant/DIC 0 0 0 2018-07-16 Pierre-Marie de Rodat New
[Ada] Adjustment of behavior of new -gnatRj switch [Ada] Adjustment of behavior of new -gnatRj switch 0 0 0 2018-05-29 Pierre-Marie de Rodat New
[Ada] Adjust the default MALLOC_OBSERVABLE_ALIGNMENT to 2 * POINTER_SIZE [Ada] Adjust the default MALLOC_OBSERVABLE_ALIGNMENT to 2 * POINTER_SIZE 0 0 0 2018-12-03 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] 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] 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-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] 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] Alignment may be specified as zero [Ada] Alignment may be specified as zero 0 0 0 2019-08-14 Pierre-Marie de Rodat New
[Ada] Allow attribute 'Valid_Scalars on private types [Ada] Allow attribute 'Valid_Scalars on private types 0 0 0 2018-05-22 Pierre-Marie de Rodat New
[Ada] Allow constants of access type in Global contracts [Ada] Allow constants of access type in Global contracts 0 0 0 2019-09-19 Pierre-Marie de Rodat New
[Ada] Allow multiple units per file in GNATprove [Ada] Allow multiple units per file in GNATprove 0 0 0 2019-07-10 Pierre-Marie de Rodat New
[Ada] Allow uses of range utility routines on private types [Ada] Allow uses of range utility routines on private types 0 0 0 2018-01-11 Pierre-Marie de Rodat New
[Ada] A new utility routine for detecting attribute 'Old [Ada] A new utility routine for detecting attribute 'Old 0 0 0 2019-09-17 Pierre-Marie de Rodat New
[Ada] Annotate standard File_Type with Default_Initial_Condition (for SPARK) [Ada] Annotate standard File_Type with Default_Initial_Condition (for SPARK) 0 0 0 2018-01-11 Pierre-Marie de Rodat New
[Ada] Argument_String_To_List creates empty items from whitespace [Ada] Argument_String_To_List creates empty items from whitespace 0 0 0 2018-07-17 Pierre-Marie de Rodat New
[Ada] Arrange not to set DECL_ARTIFICIAL on elab procs [Ada] Arrange not to set DECL_ARTIFICIAL on elab procs 0 0 0 2019-07-08 Pierre-Marie de Rodat New
[Ada] Aspect/pragma Secondary_Stack_Size can evaluate non-literals as zero [Ada] Aspect/pragma Secondary_Stack_Size can evaluate non-literals as zero 0 0 0 2018-01-11 Pierre-Marie de Rodat New
[Ada] Aspects on stubs [Ada] Aspects on stubs 0 0 0 2018-05-21 Pierre-Marie de Rodat New
[Ada] Assertion failure on Default_Initial_Condition [Ada] Assertion failure on Default_Initial_Condition 0 0 0 2019-07-04 Pierre-Marie de Rodat New
[Ada] Assertion failure on validity check for Address [Ada] Assertion failure on validity check for Address 0 0 0 2019-07-08 Pierre-Marie de Rodat New
[Ada] Assertion_Policy for class-wide precondition [Ada] Assertion_Policy for class-wide precondition 0 0 0 2018-07-17 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] Assertion_Policy (Ignore) ignores invariants [Ada] Assertion_Policy (Ignore) ignores invariants 0 0 0 2019-10-10 Pierre-Marie de Rodat New
[Ada] A task not executing an entry call consumes an Entry_Call slot [Ada] A task not executing an entry call consumes an Entry_Call slot 0 0 0 2018-12-03 Pierre-Marie de Rodat New
[Ada] Attach the special GNATprove HEAP entity to the Standard package [Ada] Attach the special GNATprove HEAP entity to the Standard package 0 0 0 2018-07-17 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] Avoid confusing warning on exception propagation in GNATprove mode [Ada] Avoid confusing warning on exception propagation in GNATprove mode 0 0 0 2018-07-17 Pierre-Marie de Rodat New
[Ada] Avoid crash in GNATprove due to inlining inside type [Ada] Avoid crash in GNATprove due to inlining inside type 0 0 0 2019-08-13 Pierre-Marie de Rodat New
[Ada] Avoid crash in GNATprove_Mode on allocator inside type [Ada] Avoid crash in GNATprove_Mode on allocator inside type 0 0 0 2019-08-13 Pierre-Marie de Rodat New
[Ada] Avoid crash when traversing units with -gnatd.WW debug switch [Ada] Avoid crash when traversing units with -gnatd.WW debug switch 0 0 0 2018-07-16 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] 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] Avoid gnatbind regression caused by Copy_Bitfield [Ada] Avoid gnatbind regression caused by Copy_Bitfield 0 0 0 2019-09-18 Pierre-Marie de Rodat New
[Ada] Avoid spurious error in GNATprove mode on non-null access types [Ada] Avoid spurious error in GNATprove mode on non-null access types 0 0 0 2019-08-21 Pierre-Marie de Rodat New
[Ada] Avoid spurious errors on dimensionality checking in GNATprove [Ada] Avoid spurious errors on dimensionality checking in GNATprove 0 0 0 2019-08-13 Pierre-Marie de Rodat New
[Ada] Avoid spurious errors on dimensionality checking in GNATprove [Ada] Avoid spurious errors on dimensionality checking in GNATprove 0 0 0 2019-07-11 Pierre-Marie de Rodat New
[Ada] Avoid spurious errors on Global/Depends in instantiations [Ada] Avoid spurious errors on Global/Depends in instantiations 0 0 0 2019-12-13 Pierre-Marie de Rodat New
[Ada] Avoid spurious mismatch error of assertion policy in generics [Ada] Avoid spurious mismatch error of assertion policy in generics 0 0 0 2019-12-13 Pierre-Marie de Rodat New
[Ada] Avoid spurious warning on assertions with Loop_Entry [Ada] Avoid spurious warning on assertions with Loop_Entry 0 0 0 2019-07-11 Pierre-Marie de Rodat New
[Ada] Avoid spurious warning on wrong order of operator call arguments [Ada] Avoid spurious warning on wrong order of operator call arguments 0 0 0 2019-07-11 Pierre-Marie de Rodat New
[Ada] Avoid to close irrelevant file descriptors [Ada] Avoid to close irrelevant file descriptors 0 0 0 2019-09-17 Pierre-Marie de Rodat New
[Ada] Avoid touching potentially nonexistent memory [Ada] Avoid touching potentially nonexistent memory 0 0 0 2019-09-17 Pierre-Marie de Rodat New
[Ada] Avoid uninitialized variable in bounded containers [Ada] Avoid uninitialized variable in bounded containers 0 0 0 2019-09-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] 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] Better accuracy in float-to-fixed conversions [Ada] Better accuracy in float-to-fixed conversions 0 0 0 2018-05-28 Pierre-Marie de Rodat New
[Ada] Better error message for aliased formal and atomic actual [Ada] Better error message for aliased formal and atomic actual 0 0 0 2019-12-13 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] Better error message from GNATprove on illegal switch [Ada] Better error message from GNATprove on illegal switch 0 0 0 2018-12-11 Pierre-Marie de Rodat New
[Ada] Better error message on illegal 'Access on formal subprogram [Ada] Better error message on illegal 'Access on formal subprogram 0 0 0 2018-05-22 Pierre-Marie de Rodat New
[Ada] Better error messages for ownership errors in SPARK [Ada] Better error messages for ownership errors in SPARK 0 0 0 2019-07-04 Pierre-Marie de Rodat New
[Ada] Bit_Order cannot be defined for record extensions [Ada] Bit_Order cannot be defined for record extensions 0 0 0 2018-07-16 Pierre-Marie de Rodat New
[Ada] Broken privacy on Controlled type extensions [Ada] Broken privacy on Controlled type extensions 0 0 0 2019-12-12 Pierre-Marie de Rodat New
[Ada] Buffer reading overflow in dispatch table initialization [Ada] Buffer reading overflow in dispatch table initialization 0 0 0 2019-08-19 Pierre-Marie de Rodat New
[Ada] Bug in composition of equality for variant records [Ada] Bug in composition of equality for variant records 0 0 0 2019-07-04 Pierre-Marie de Rodat New
[Ada] Build full derivation for private concurrent type [Ada] Build full derivation for private concurrent type 0 0 0 2019-08-13 Pierre-Marie de Rodat New
[Ada] Build-in-place aggregates and Address clauses [Ada] Build-in-place aggregates and Address clauses 0 0 0 2018-05-23 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] Checks on instantiations with formal derived types with interfaces [Ada] Checks on instantiations with formal derived types with interfaces 0 0 0 2018-05-25 Pierre-Marie de Rodat New
« 1 2 3 48 9 »