Show patches with: State = Action Required       |   126625 patches
« 1 2 ... 339 340 341 … 1266 1267 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Spurious error on overriding controlled primitive [Ada] Spurious error on overriding controlled primitive - - - - --- 2019-12-13 Pierre-Marie de Rodat New
[Ada] Prevent inlining inside condition of while loop in GNATprove [Ada] Prevent inlining inside condition of while loop in GNATprove - - - - --- 2019-12-13 Pierre-Marie de Rodat New
[Ada] Deallocation of controlled type implementing interface types [Ada] Deallocation of controlled type implementing interface types - - - - --- 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 - - - - --- 2019-12-13 Pierre-Marie de Rodat New
[Ada] Implement AI12-0101 [Ada] Implement AI12-0101 - - - - --- 2019-12-13 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 - - - - --- 2019-12-13 Pierre-Marie de Rodat New
[Ada] Clear confusion about subcomponents of atomic object [Ada] Clear confusion about subcomponents of atomic object - - - - --- 2019-12-13 Pierre-Marie de Rodat New
[Ada] Do not issue restriction violations on ignored ghost code [Ada] Do not issue restriction violations on ignored ghost code - - - - --- 2019-12-16 Pierre-Marie de Rodat New
[Ada] Small consistency fix for Volatile_Full_Access objects [Ada] Small consistency fix for Volatile_Full_Access objects - - - - --- 2019-12-16 Pierre-Marie de Rodat New
[Ada] Implement new legality rules introduced in C.6(13) by AI12-0128 [Ada] Implement new legality rules introduced in C.6(13) by AI12-0128 - - - - --- 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 - - - - --- 2019-12-16 Pierre-Marie de Rodat New
[Ada] Implement RM C.6(19) clause entirely in the front-end [Ada] Implement RM C.6(19) clause entirely in the front-end - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 2019-12-16 Pierre-Marie de Rodat New
[Ada] Fully propagate representation aspects through renaming [Ada] Fully propagate representation aspects through renaming - - - - --- 2019-12-16 Pierre-Marie de Rodat New
[Ada] Export the Ada version through the C interface [Ada] Export the Ada version through the C interface - - - - --- 2019-12-16 Pierre-Marie de Rodat New
[Ada] Better error message for "is null" subunit [Ada] Better error message for "is null" subunit - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 2019-12-16 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 - - - - --- 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 - - - - --- 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 - - - - --- 2019-12-18 Pierre-Marie de Rodat New
[Ada] Wrong error on hidden must-override primitive [Ada] Wrong error on hidden must-override primitive - - - - --- 2019-12-18 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 - - - - --- 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 - - - - --- 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 - - - - --- 2019-12-18 Pierre-Marie de Rodat New
[Ada] Missing accessibility check on access discriminants [Ada] Missing accessibility check on access discriminants - - - - --- 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 - - - - --- 2019-12-18 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 - - - - --- 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 - - - - --- 2020-05-25 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 - - - - --- 2020-05-25 Pierre-Marie de Rodat New
[1/2] gcc-changelog: remove file descriptor leaks [1/2] gcc-changelog: remove file descriptor leaks - - - - --- 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 - - - - --- 2020-05-26 Pierre-Marie de Rodat New
gcc-changelog: enhance handling of renamings gcc-changelog: enhance handling of renamings - - - - --- 2020-05-27 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 - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 2020-06-02 Pierre-Marie de Rodat New
[Ada] Compiler crash processing controlled type primitive [Ada] Compiler crash processing controlled type primitive - - - - --- 2020-06-02 Pierre-Marie de Rodat New
[Ada] Accept objects from nested packages in Initializes contract [Ada] Accept objects from nested packages in Initializes contract - - - - --- 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 - - - - --- 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 - - - - --- 2020-06-02 Pierre-Marie de Rodat New
[Ada] Statement SCO code for degenerate subprograms [Ada] Statement SCO code for degenerate subprograms - - - - --- 2020-06-02 Pierre-Marie de Rodat New
[Ada] Remove degenerate Treat_Fixed_As_Integer mechanism [Ada] Remove degenerate Treat_Fixed_As_Integer mechanism - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 2020-06-02 Pierre-Marie de Rodat New
[Ada] Remove -gnatt switch processing [Ada] Remove -gnatt switch processing - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 2020-06-03 Pierre-Marie de Rodat New
[Ada] Improve 'Val implementation for some enumeration types [Ada] Improve 'Val implementation for some enumeration types - - - - --- 2020-06-03 Pierre-Marie de Rodat New
[Ada] Incorrect accessibility checking on aliased formals [Ada] Incorrect accessibility checking on aliased formals - - - - --- 2020-06-03 Pierre-Marie de Rodat New
[Ada] Initial infrastructure for adding a tree checker [Ada] Initial infrastructure for adding a tree checker - - - - --- 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 - - - - --- 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 - - - - --- 2020-06-03 Pierre-Marie de Rodat New
[Ada] Avoid creating temporaries in Universal_Integer, continued [Ada] Avoid creating temporaries in Universal_Integer, continued - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 2020-06-03 Pierre-Marie de Rodat New
[Ada] Small housekeeping work in Check_Private_View [Ada] Small housekeeping work in Check_Private_View - - - - --- 2020-06-03 Pierre-Marie de Rodat New
[Ada] Remove more cases of empty loops [Ada] Remove more cases of empty loops - - - - --- 2020-06-03 Pierre-Marie de Rodat New
[Ada] Add detection of uninitialized big reals [Ada] Add detection of uninitialized big reals - - - - --- 2020-06-03 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 - - - - --- 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 - - - - --- 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 - - - - --- 2020-06-04 Pierre-Marie de Rodat New
[Ada] Revamp dump and aux output names [Ada] Revamp dump and aux output names - - - - --- 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 - - - - --- 2020-06-04 Pierre-Marie de Rodat New
[Ada] New procedure Register_Global_Unhandled_Action [Ada] New procedure Register_Global_Unhandled_Action - - - - --- 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 - - - - --- 2020-06-04 Pierre-Marie de Rodat New
[Ada] Fix Is_Absolute_Path on Windows [Ada] Fix Is_Absolute_Path on Windows - - - - --- 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 - - - - --- 2020-06-04 Pierre-Marie de Rodat New
[Ada] Import Adafinal as convention Ada [Ada] Import Adafinal as convention Ada - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 2020-06-04 Pierre-Marie de Rodat New
[Ada] Wrong walk order in Walk_Library_Items [Ada] Wrong walk order in Walk_Library_Items - - - - --- 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) - - - - --- 2020-06-04 Pierre-Marie de Rodat New
[Ada] Add missing conversion in call to Finalize primitive [Ada] Add missing conversion in call to Finalize primitive - - - - --- 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 - - - - --- 2020-06-04 Pierre-Marie de Rodat New
[Ada] Ada_2020: contracts for formal subprograms [Ada] Ada_2020: contracts for formal subprograms - - - - --- 2020-06-04 Pierre-Marie de Rodat New
[Ada] New package Ada.Task_Initialization [Ada] New package Ada.Task_Initialization - - - - --- 2020-06-04 Pierre-Marie de Rodat New
[Ada] Put_Image attribute [Ada] Put_Image attribute - - - - --- 2020-06-05 Pierre-Marie de Rodat New
[Ada] Simplify iteration over components [Ada] Simplify iteration over components - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 2020-06-05 Pierre-Marie de Rodat New
« 1 2 ... 339 340 341 … 1266 1267 »