Show patches with: State = Action Required       |    Archived = No       |   126497 patches
« 1 2 ... 675 676 677 … 1264 1265 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Remove vxworks*-crtbe-link.spec [Ada] Remove vxworks*-crtbe-link.spec - - - - --- 2018-12-11 Pierre-Marie de Rodat New
[Ada] Remove vxlink and vxaddr2line from this repository [Ada] Remove vxlink and vxaddr2line from this repository - - - - --- 2018-12-11 Pierre-Marie de Rodat New
[Ada] Remove uses of global variables from Sem_Prag - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Remove useless type transformation - - - - --- 2016-05-16 Eric Botcazou New
[Ada] Remove useless special handling for SPARK verification - - - - --- 2013-10-17 Arnaud Charlet New
[Ada] Remove useless pragma Warnings Off from runtime units [Ada] Remove useless pragma Warnings Off from runtime units - - - - --- 2022-05-12 Pierre-Marie de Rodat New
[Ada] Remove useless initialization and refine type of a local variable [Ada] Remove useless initialization and refine type of a local variable - - - - --- 2020-10-19 Pierre-Marie de Rodat New
[Ada] Remove useless flags for gnatbind link - - - - --- 2011-04-17 Eric Botcazou New
[Ada] Remove useless code related to current value propagation [Ada] Remove useless code related to current value propagation - - - - --- 2022-05-16 Pierre-Marie de Rodat New
[Ada] Remove useless code in Backend_Processing_Possible [Ada] Remove useless code in Backend_Processing_Possible - - - - --- 2020-06-11 Pierre-Marie de Rodat New
[Ada] Remove useless calls to invariant procedures - - - - --- 2016-06-14 Arnaud Charlet New
[Ada] Remove use of use-clauses in loaded runtime units [Ada] Remove use of use-clauses in loaded runtime units - - - - --- 2022-05-12 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] Remove unused subprograms [Ada] Remove unused subprograms - - - - --- 2021-04-28 Pierre-Marie de Rodat New
[Ada] Remove unused parameter from __gnat_kill [Ada] Remove unused parameter from __gnat_kill - - - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] Remove unused node N_Subprogram_Info - - - - --- 2014-01-23 Arnaud Charlet New
[Ada] Remove unused initialization with New_List [Ada] Remove unused initialization with New_List - - - - --- 2021-06-16 Pierre-Marie de Rodat New
[Ada] Remove unused initial values in expansion of distributed calls [Ada] Remove unused initial values in expansion of distributed calls - - - - --- 2021-05-03 Pierre-Marie de Rodat New
[Ada] Remove unused initial value in Read_Library_Info_From_Full [Ada] Remove unused initial value in Read_Library_Info_From_Full - - - - --- 2021-05-06 Pierre-Marie de Rodat New
[Ada] Remove unused files [Ada] Remove unused files - - - - --- 2020-12-17 Pierre-Marie de Rodat New
[Ada] Remove unused define [Ada] Remove unused define - - - - --- 2021-07-07 Pierre-Marie de Rodat New
[Ada] Remove unreferenced name constants [Ada] Remove unreferenced name constants - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Remove unreferenced and dubious Is_Renaming_Declaration [Ada] Remove unreferenced and dubious Is_Renaming_Declaration - - - - --- 2020-06-15 Pierre-Marie de Rodat New
[Ada] Remove unreferenced Warn_On_Instance [Ada] Remove unreferenced Warn_On_Instance - - - - --- 2022-01-06 Pierre-Marie de Rodat New
[Ada] Remove unreferenced Is_Selector_Name routine [Ada] Remove unreferenced Is_Selector_Name routine - - - - --- 2022-05-12 Pierre-Marie de Rodat New
[Ada] Remove unreferenced GNATprove utility routine Get_Low_Bound [Ada] Remove unreferenced GNATprove utility routine Get_Low_Bound - - - - --- 2020-06-10 Pierre-Marie de Rodat New
[Ada] Remove unreferenced CCG-specific routine Insert_Declaration [Ada] Remove unreferenced CCG-specific routine Insert_Declaration - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Remove unreachable inlining code - - - - --- 2014-10-31 Arnaud Charlet New
[Ada] Remove unreachable code in Freeze_Array_Type - - - - --- 2015-01-06 Arnaud Charlet New
[Ada] Remove unnecessary special-casing of GNATprove expansion [Ada] Remove unnecessary special-casing of GNATprove expansion - - - - --- 2020-06-17 Pierre-Marie de Rodat New
[Ada] Remove unnecessary range checks - - - - --- 2014-08-04 Arnaud Charlet New
[Ada] Remove unnecessary parameter of Apply_Compile_Time_Constraint_Error [Ada] Remove unnecessary parameter of Apply_Compile_Time_Constraint_Error - - - - --- 2021-05-05 Pierre-Marie de Rodat New
[Ada] Remove unnecessary node component from hashed map iterator - - - - --- 2011-11-23 Arnaud Charlet New
[Ada] Remove unnecessary guards for non-empty lists [Ada] Remove unnecessary guards for non-empty lists - - - - --- 2022-01-06 Pierre-Marie de Rodat New
[Ada] Remove unnecessary guards for appending non-empty lists [Ada] Remove unnecessary guards for appending non-empty lists - - - - --- 2022-01-07 Pierre-Marie de Rodat New
[Ada] Remove unnecessary guard for inserting non-empty list [Ada] Remove unnecessary guard for inserting non-empty list - - - - --- 2022-01-07 Pierre-Marie de Rodat New
[Ada] Remove unnecessary declare block [Ada] Remove unnecessary declare block - - - - --- 2022-01-06 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 unnecessary check for missing parameter specifications [Ada] Remove unnecessary check for missing parameter specifications - - - - --- 2022-01-05 Pierre-Marie de Rodat New
[Ada] Remove unnecessary call to No_Uint_To_0 [Ada] Remove unnecessary call to No_Uint_To_0 - - - - --- 2021-10-20 Pierre-Marie de Rodat New
[Ada] Remove unnecessary block in code for expansion of allocators [Ada] Remove unnecessary block in code for expansion of allocators - - - - --- 2022-01-11 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] Remove ttypf.ads and compute floating point attributes instead - - - - --- 2010-10-22 Arnaud Charlet New
[Ada] Remove tiny and incomplete optimization for unset references [Ada] Remove tiny and incomplete optimization for unset references - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Remove the Support_64_Bit_Divides flag - - - - --- 2011-08-29 Arnaud Charlet New
[Ada] Remove the Has_Dynamic_Range_Check flag [Ada] Remove the Has_Dynamic_Range_Check flag - - - - --- 2020-06-08 Pierre-Marie de Rodat New
[Ada] Remove system-linux-ppc64.ads - - - - --- 2016-10-11 Eric Botcazou New
[Ada] Remove suppression for overlapping actuals in internal units [Ada] Remove suppression for overlapping actuals in internal units - - - - --- 2020-06-12 Pierre-Marie de Rodat New
[Ada] Remove support for type completion deferring in gigi - - - - --- 2012-03-07 Eric Botcazou New
[Ada] Remove support for obsolete switch - - - - --- 2010-10-10 Eric Botcazou New
[Ada] Remove support for obsolete switch - - - - --- 2010-10-10 Eric Botcazou New
[Ada] Remove superfluous use of secondary stack on object initialization - - - - --- 2016-04-27 Arnaud Charlet New
[Ada] Remove superfluous call to Original_Node [Ada] Remove superfluous call to Original_Node - - - - --- 2022-05-17 Pierre-Marie de Rodat New
[Ada] Remove superfluous Container parameter - - - - --- 2011-08-29 Arnaud Charlet New
[Ada] Remove spurious warning with -gnatw.t on trivial postconditions - - - - --- 2012-03-19 Arnaud Charlet New
[Ada] Remove spurious warning on useless use-clauses in GNATprove [Ada] Remove spurious warning on useless use-clauses in GNATprove - - - - --- 2017-11-08 Pierre-Marie de Rodat New
[Ada] Remove spurious warning in Alfa mode - - - - --- 2011-12-02 Arnaud Charlet New
[Ada] Remove spurious accessibility check for aggregate component - - - - --- 2016-05-02 Arnaud Charlet New
[Ada] Remove special handling for package declaring abstract state - - - - --- 2013-10-17 Arnaud Charlet New
[Ada] Remove special expansion for membership tests in SPARK mode - - - - --- 2013-04-25 Arnaud Charlet New
[Ada] Remove special case in GNATprove mode that ignored potential errors - - - - --- 2014-01-21 Arnaud Charlet New
[Ada] Remove special case for processing null range in GNATprove [Ada] Remove special case for processing null range in GNATprove - - - - --- 2020-07-06 Pierre-Marie de Rodat New
[Ada] Remove special case for actual of calls in SPARK expansion - - - - --- 2013-10-13 Arnaud Charlet New
[Ada] Remove special case for 'Old and 'Result in SPARK expansion - - - - --- 2013-10-13 Arnaud Charlet New
[Ada] Remove shadowing by a nested subprogram parameter [Ada] Remove shadowing by a nested subprogram parameter - - - - --- 2020-11-25 Pierre-Marie de Rodat New
[Ada] Remove second warning for convention C_Variadic_n [Ada] Remove second warning for convention C_Variadic_n - - - - --- 2020-06-19 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] Remove restriction on inlining in related units - - - - --- 2017-05-22 Eric Botcazou New
[Ada] Remove repeated testing of Check_Validity_Of_Parameters [Ada] Remove repeated testing of Check_Validity_Of_Parameters - - - - --- 2020-06-19 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] Remove repeated routines for printing AST in Mixed_Case [Ada] Remove repeated routines for printing AST in Mixed_Case - - - - --- 2022-01-07 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] Remove repeated conversions between Source_Ptr and Int [Ada] Remove repeated conversions between Source_Ptr and Int - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Remove repeated calls to Prefix in resolution of array accesses [Ada] Remove repeated calls to Prefix in resolution of array accesses - - - - --- 2021-10-04 Pierre-Marie de Rodat New
[Ada] Remove repeated analysis of attribute prefixes [Ada] Remove repeated analysis of attribute prefixes - - - - --- 2022-05-09 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] Remove remnants of GNAT support for OS/2 and MSDOS - - - - --- 2010-06-22 Arnaud Charlet New
[Ada] Remove remaining Support_64_Bit_Divides entries - - - - --- 2016-10-17 Eric Botcazou New
[Ada] Remove references to non-existing E_Protected_Object [Ada] Remove references to non-existing E_Protected_Object - - - - --- 2020-07-10 Pierre-Marie de Rodat New
[Ada] Remove redundant warning on function postcondition not mentioning 'Result - - - - --- 2012-03-15 Arnaud Charlet New
[Ada] Remove redundant tests for N_Operator_Symbol - - - - --- 2010-10-04 Arnaud Charlet New
[Ada] Remove redundant protection against empty lists [Ada] Remove redundant protection against empty lists - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Remove redundant predicate checks [Ada] Remove redundant predicate checks - - - - --- 2019-07-11 Pierre-Marie de Rodat New
[Ada] Remove redundant marking of illegal pragma with error posted [Ada] Remove redundant marking of illegal pragma with error posted - - - - --- 2022-05-19 Pierre-Marie de Rodat New
[Ada] Remove redundant iterations in checks for overlapping actuals [Ada] Remove redundant iterations in checks for overlapping actuals - - - - --- 2020-06-12 Pierre-Marie de Rodat New
[Ada] Remove redundant initialization of Test_And_Set_Flag object [Ada] Remove redundant initialization of Test_And_Set_Flag object - - - - --- 2022-01-11 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 guards for empty list [Ada] Remove redundant guards for empty list - - - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] Remove redundant guard in expansion of dispatching calls [Ada] Remove redundant guard in expansion of dispatching calls - - - - --- 2021-10-11 Pierre-Marie de Rodat New
[Ada] Remove redundant guard in expansion of dispatching calls [Ada] Remove redundant guard in expansion of dispatching calls - - - - --- 2021-10-25 Pierre-Marie de Rodat New
[Ada] Remove redundant guard in checks for volatile actuals [Ada] Remove redundant guard in checks for volatile actuals - - - - --- 2022-05-13 Pierre-Marie de Rodat New
[Ada] Remove redundant guard from Find_Overlaid_Entity [Ada] Remove redundant guard from Find_Overlaid_Entity - - - - --- 2021-06-15 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] Remove redundant guard against an empty component list [Ada] Remove redundant guard against an empty component list - - - - --- 2021-10-11 Pierre-Marie de Rodat New
[Ada] Remove redundant guard against Any_String [Ada] Remove redundant guard against Any_String - - - - --- 2022-05-12 Pierre-Marie de Rodat New
[Ada] Remove redundant explicit calls to UI_From_Int in comparisons [Ada] Remove redundant explicit calls to UI_From_Int in comparisons - - - - --- 2021-05-05 Pierre-Marie de Rodat New
[Ada] Remove redundant define - - - - --- 2013-11-18 Eric Botcazou New
[Ada] Remove redundant condition for listing compilation units [Ada] Remove redundant condition for listing compilation units - - - - --- 2021-07-08 Pierre-Marie de Rodat New
[Ada] Remove redundant condition for Image attribute and Ada version [Ada] Remove redundant condition for Image attribute and Ada version - - - - --- 2021-05-06 Pierre-Marie de Rodat New
[Ada] Remove redundant code related to instances with formal subprograms [Ada] Remove redundant code related to instances with formal subprograms - - - - --- 2022-01-05 Pierre-Marie de Rodat New
« 1 2 ... 675 676 677 … 1264 1265 »