Show patches with: Archived = No       |   126716 patches
« 1 2 ... 585 586 587 … 1267 1268 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Passing actual parameter values to out formals when Default_Value is set [Ada] Passing actual parameter values to out formals when Default_Value is set - - - - --- 2020-06-15 Pierre-Marie de Rodat New
[Ada] Passing an object path file to the compiler - - - - --- 2012-04-02 Arnaud Charlet New
[Ada] Patchlet for N_Expression_With_Actions - - - - --- 2013-01-22 Eric Botcazou New
[Ada] Path names of preprocessing data files with spaces - - - - --- 2013-10-14 Arnaud Charlet New
[Ada] Perfect_Hash_Generators cleanup - - - - --- 2010-06-18 Arnaud Charlet New
[Ada] Perform object rewriting as renaming only in the expander [Ada] Perform object rewriting as renaming only in the expander - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Perform required checks on discriminants read from streams using 'Input - - - - --- 2011-09-02 Arnaud Charlet New
[Ada] Performance degradation with references [Ada] Performance degradation with references - - - - --- 2018-06-11 Pierre-Marie de Rodat New
[Ada] Performance of CW_Membership [Ada] Performance of CW_Membership - - - - --- 2020-12-17 Pierre-Marie de Rodat New
[Ada] Performance of UTC_Time_Offset on Windows - - - - --- 2012-01-23 Arnaud Charlet New
[Ada] Pick volatile refinement property of a subtype from its base type [Ada] Pick volatile refinement property of a subtype from its base type - - - - --- 2022-05-16 Pierre-Marie de Rodat New
[Ada] Placement and analysis of aspect Contract_Cases - - - - --- 2013-04-24 Arnaud Charlet New
[Ada] Placement of aspect/pragma SPARK_Mode - - - - --- 2013-09-10 Arnaud Charlet New
[Ada] Placement of pragma Elaboration_Checks [Ada] Placement of pragma Elaboration_Checks - - - - --- 2018-05-21 Pierre-Marie de Rodat New
[Ada] Plug hole with constants used by reference - - - - --- 2012-06-11 Eric Botcazou New
[Ada] Plug legality loophole for equality operator of untagged record types [Ada] Plug legality loophole for equality operator of untagged record types - - - - --- 2022-07-13 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] Plug loophole in Possible_Type_For_Conditional_Expression [Ada] Plug loophole in Possible_Type_For_Conditional_Expression - - - - --- 2022-05-12 Pierre-Marie de Rodat New
[Ada] Plug loophole in warn_on_field_placement [Ada] Plug loophole in warn_on_field_placement - - - - --- 2018-06-12 Eric Botcazou New
[Ada] Plug minor loophole for integer named number [Ada] Plug minor loophole for integer named number - - - - --- 2019-10-10 Pierre-Marie de Rodat New
[Ada] Plug small hole in -gnatR output [Ada] Plug small hole in -gnatR output - - - - --- 2018-05-29 Pierre-Marie de Rodat New
[Ada] Plug small hole in handling of volatile components - - - - --- 2012-10-22 Eric Botcazou New
[Ada] Plug small loophole in Generate_Range_Check [Ada] Plug small loophole in Generate_Range_Check - - - - --- 2019-07-23 Pierre-Marie de Rodat New
[Ada] Plug small loophole in implementation of AI12-0100 [Ada] Plug small loophole in implementation of AI12-0100 - - - - --- 2020-06-19 Pierre-Marie de Rodat New
[Ada] Plug small loophole with pathological packed array type [Ada] Plug small loophole with pathological packed array type - - - - --- 2018-12-11 Pierre-Marie de Rodat New
[Ada] Poor error message on pragma SPARK_Mode - - - - --- 2015-02-05 Arnaud Charlet New
[Ada] Port a modified expansion of Enum_Rep from GNAT to GNATprove [Ada] Port a modified expansion of Enum_Rep from GNAT to GNATprove - - - - --- 2020-06-08 Pierre-Marie de Rodat New
[Ada] Portability improvement for constants related to serial ports - - - - --- 2012-08-06 Arnaud Charlet New
[Ada] Posix 2008: reimplement System.OS_Primitives.Clock using clock_gettime [Ada] Posix 2008: reimplement System.OS_Primitives.Clock using clock_gettime - - - - --- 2018-05-31 Pierre-Marie de Rodat New
[Ada] Possibly bit aligned objects in assignments - - - - --- 2011-09-02 Arnaud Charlet New
[Ada] Post warning on object size clause for subtype [Ada] Post warning on object size clause for subtype - - - - --- 2018-05-31 Pierre-Marie de Rodat New
[Ada] Potential read of uninitialized variable in exp_dist.adb [Ada] Potential read of uninitialized variable in exp_dist.adb - - - - --- 2020-11-30 Pierre-Marie de Rodat New
[Ada] Potentially unevaluated nested expressions [Ada] Potentially unevaluated nested expressions - - - - --- 2020-07-10 Pierre-Marie de Rodat New
[Ada] Pragma Ada_2012 now allows an argument - - - - --- 2010-10-07 Arnaud Charlet New
[Ada] Pragma Atomic wrongly rejected on composite component [Ada] Pragma Atomic wrongly rejected on composite component - - - - --- 2017-09-09 Eric Botcazou New
[Ada] Pragma Constant_After_Elaboration - - - - --- 2015-10-20 Arnaud Charlet New
[Ada] Pragma Constant_After_Elaboration - - - - --- 2015-10-16 Arnaud Charlet New
[Ada] Pragma Default_Initial_Condition and tagged types - - - - --- 2017-01-09 Arnaud Charlet New
[Ada] Pragma Discard_Names and exception declarations - - - - --- 2017-01-23 Arnaud Charlet New
[Ada] Pragma Eliminated applied to internal protected subprograms - - - - --- 2010-06-17 Arnaud Charlet New
[Ada] Pragma Independent and Independent_Components - - - - --- 2010-10-08 Arnaud Charlet New
[Ada] Pragma Linker_Section in subprogram instantiations in CCG [Ada] Pragma Linker_Section in subprogram instantiations in CCG - - - - --- 2019-12-13 Pierre-Marie de Rodat New
[Ada] Pragma No_Return on generic units [Ada] Pragma No_Return on generic units - - - - --- 2017-09-06 Arnaud Charlet New
[Ada] Pragma SPARK_Mode and expression functions - - - - --- 2015-10-27 Arnaud Charlet New
[Ada] Pragma Unchecked_Union on derived discriminated type [Ada] Pragma Unchecked_Union on derived discriminated type - - - - --- 2017-09-29 Pierre-Marie de Rodat New
[Ada] Pragma Unreferenced triggers undefined reference [Ada] Pragma Unreferenced triggers undefined reference - - - - --- 2019-07-11 Pierre-Marie de Rodat New
[Ada] Pragma Volatile_Function has no effect on subprogram body - - - - --- 2015-10-26 Arnaud Charlet New
[Ada] Pragma Warning_As_Error works for style warnings [Ada] Pragma Warning_As_Error works for style warnings - - - - --- 2019-08-20 Pierre-Marie de Rodat New
[Ada] Pragmas Compile_Time_Error and Compile_Time_Warning and 'Size - - - - --- 2016-10-13 Arnaud Charlet New
[Ada] Pre/Postconditions on generic subprograms - - - - --- 2011-08-02 Arnaud Charlet New
[Ada] Preconditions and postconditions on subprogram bodies - - - - --- 2013-01-02 Arnaud Charlet New
[Ada] Predicate checks when Assertion policy is Ignore - - - - --- 2016-05-02 Arnaud Charlet New
[Ada] Predicates and the current instance of a subtype (AI12-0068) [Ada] Predicates and the current instance of a subtype (AI12-0068) - - - - --- 2020-07-06 Pierre-Marie de Rodat New
[Ada] Predicates on partial views - - - - --- 2014-02-06 Arnaud Charlet New
[Ada] Preelaborable initialization for derived types - - - - --- 2010-10-26 Arnaud Charlet New
[Ada] Preelaborate rules not fully enforced [Ada] Preelaborate rules not fully enforced - - - - --- 2020-10-16 Pierre-Marie de Rodat New
[Ada] Preelaboration dependences for Remote_Types and RCI units - - - - --- 2012-07-09 Arnaud Charlet New
[Ada] Prefix of 'Address attribute - - - - --- 2010-10-05 Arnaud Charlet New
[Ada] Prefixed calls as generic actuals - - - - --- 2011-08-30 Arnaud Charlet New
[Ada] Preliminary work for Default_[Component_]Value (AI 228) - - - - --- 2011-08-02 Arnaud Charlet New
[Ada] Preliminary work for aspect Unimplemented - - - - --- 2015-03-13 Arnaud Charlet New
[Ada] Preliminary work for enlarging nodes - - - - --- 2012-03-19 Arnaud Charlet New
[Ada] Preliminary work for new restriction No_Use_Of_Entity - - - - --- 2015-01-06 Arnaud Charlet New
[Ada] Preliminary work to avoid full pathnames in ALI files [Ada] Preliminary work to avoid full pathnames in ALI files - - - - --- 2018-05-29 Pierre-Marie de Rodat New
[Ada] Preliminary work to coordinate Pragma Warnings and middle-end warnings - - - - --- 2013-02-06 Arnaud Charlet New
[Ada] Preliminary work to implement pragma Loop_Optimize - - - - --- 2013-02-06 Arnaud Charlet New
[Ada] Preliminary work to support ARM unwinder - - - - --- 2014-01-20 Arnaud Charlet New
[Ada] Preliminary work to support SEH on Windows 64 - - - - --- 2012-06-12 Arnaud Charlet New
[Ada] Preliminary work to support relative delays on extended ravenscar - - - - --- 2016-10-12 Arnaud Charlet New
[Ada] Premature evaluation of message string in Assert pragma [Ada] Premature evaluation of message string in Assert pragma - - - - --- 2017-10-14 Pierre-Marie de Rodat New
[Ada] Premature finalization leads to wrong short circuit result - - - - --- 2015-10-16 Arnaud Charlet New
[Ada] Premature finalization of controlled array component - - - - --- 2016-10-12 Arnaud Charlet New
[Ada] Premature finalization of controlled temporaries in case expressions [Ada] Premature finalization of controlled temporaries in case expressions - - - - --- 2019-07-22 Pierre-Marie de Rodat New
[Ada] Premature finalization on build in place return and case expression [Ada] Premature finalization on build in place return and case expression - - - - --- 2020-11-24 Pierre-Marie de Rodat New
[Ada] Premature finalization when iterating over containers - - - - --- 2011-08-02 Arnaud Charlet New
[Ada] Premature finalization when iterating over containers - - - - --- 2011-08-02 Arnaud Charlet New
[Ada] Premature freezing of types [Ada] Premature freezing of types - - - - --- 2021-06-18 Pierre-Marie de Rodat New
[Ada] Premature freezing when building dispatch tables - - - - --- 2011-08-03 Arnaud Charlet New
[Ada] Premature secondary stack reclamation [Ada] Premature secondary stack reclamation - - - - --- 2018-05-21 Pierre-Marie de Rodat New
[Ada] Preparation for new description of interface thunks [Ada] Preparation for new description of interface thunks - - - - --- 2018-09-26 Pierre-Marie de Rodat New
[Ada] Preparatory work for solving exponentiation problem - - - - --- 2015-05-26 Arnaud Charlet New
[Ada] Prepare for implementation of Predicate aspect - - - - --- 2010-10-21 Arnaud Charlet New
[Ada] Presence of abstract operator function causes resolution problems [Ada] Presence of abstract operator function causes resolution problems - - - - --- 2021-09-21 Pierre-Marie de Rodat New
[Ada] Preserve Taft Amendment types in debug info - - - - --- 2011-04-02 Eric Botcazou New
[Ada] Preserve and reuse original type in Narrow_Large_Operation [Ada] Preserve and reuse original type in Narrow_Large_Operation - - - - --- 2022-05-19 Pierre-Marie de Rodat New
[Ada] Preserve casing of output files [Ada] Preserve casing of output files - - - - --- 2020-07-10 Pierre-Marie de Rodat New
[Ada] Preserve unchecked conversion of string constant [Ada] Preserve unchecked conversion of string constant - - - - --- 2022-05-19 Pierre-Marie de Rodat New
[Ada] Preserve unconstrained array types in debug info - - - - --- 2011-04-02 Eric Botcazou New
[Ada] Prevent Get_Current_Value_Condition from returning the same node [Ada] Prevent Get_Current_Value_Condition from returning the same node - - - - --- 2022-01-05 Pierre-Marie de Rodat New
[Ada] Prevent In_Check_Node routine from going too far in the parent chain [Ada] Prevent In_Check_Node routine from going too far in the parent chain - - - - --- 2020-12-17 Pierre-Marie de Rodat New
[Ada] Prevent caching of non-text symbols for symbolic tracebacks [Ada] Prevent caching of non-text symbols for symbolic tracebacks - - - - --- 2018-05-22 Pierre-Marie de Rodat New
[Ada] Prevent copying uninitialized array with address clause [Ada] Prevent copying uninitialized array with address clause - - - - --- 2020-10-23 Pierre-Marie de Rodat New
[Ada] Prevent crash in Is_Reachable [Ada] Prevent crash in Is_Reachable - - - - --- 2019-08-12 Pierre-Marie de Rodat New
[Ada] Prevent crash in Put_Scaled [Ada] Prevent crash in Put_Scaled - - - - --- 2019-08-12 Pierre-Marie de Rodat New
[Ada] Prevent crash on inspection point for unfrozen entity [Ada] Prevent crash on inspection point for unfrozen entity - - - - --- 2021-07-08 Pierre-Marie de Rodat New
[Ada] Prevent crashes when pretty-printing freeze nodes from gdb [Ada] Prevent crashes when pretty-printing freeze nodes from gdb - - - - --- 2020-10-20 Pierre-Marie de Rodat New
[Ada] Prevent early exits without restoring a global variable [Ada] Prevent early exits without restoring a global variable - - - - --- 2020-12-17 Pierre-Marie de Rodat New
[Ada] Prevent expansion of array aggregates in formal verification mode - - - - --- 2011-08-29 Arnaud Charlet New
[Ada] Prevent generation of gotos during inlining for GNATprove - - - - --- 2014-10-30 Arnaud Charlet New
[Ada] Prevent inconsistent state for inlining in GNATprove [Ada] Prevent inconsistent state for inlining in GNATprove - - - - --- 2019-07-09 Pierre-Marie de Rodat New
« 1 2 ... 585 586 587 … 1267 1268 »