Show patches with: State = Action Required       |    Archived = No       |   126536 patches
« 1 2 ... 577 578 579 … 1265 1266 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Interface operations that are renamings - - - - --- 2010-09-10 Arnaud Charlet New
[Ada] Interface operations with access formal in constrained extension - - - - --- 2010-06-17 Arnaud Charlet New
[Ada] Interface type conversions are not dynamically tagged - - - - --- 2011-09-05 Arnaud Charlet New
[Ada] Interfacing aspects in Ada 2012 - - - - --- 2012-05-15 Arnaud Charlet New
[Ada] Intermediate build-in-place result not finalized - - - - --- 2010-09-10 Arnaud Charlet New
[Ada] Internal access to Reason for Warnings Off - - - - --- 2014-02-20 Arnaud Charlet New
[Ada] Internal bindgen.adb cleanup - - - - --- 2012-10-29 Arnaud Charlet New
[Ada] Internal clean up (use Is_Directory_Separator) - - - - --- 2014-10-17 Arnaud Charlet New
[Ada] Internal clean up for N_Pragma nodes - - - - --- 2013-02-06 Arnaud Charlet New
[Ada] Internal cleanup for Predicate_Tests_On_Arguments - - - - --- 2014-07-30 Arnaud Charlet New
[Ada] Internal cleanup in Ada.Exceptions. - - - - --- 2011-08-29 Arnaud Charlet New
[Ada] Internal cleanup of overflow defaults - - - - --- 2012-10-05 Arnaud Charlet New
[Ada] Internal cleanups in Cstand - - - - --- 2014-07-30 Arnaud Charlet New
[Ada] Internal cleanups in handling of subtype bounds - - - - --- 2014-07-30 Arnaud Charlet New
[Ada] Internal crash on illegal aspect Part_Of - - - - --- 2015-11-13 Arnaud Charlet New
[Ada] Internal crash on illegal renaming [Ada] Internal crash on illegal renaming - - - - --- 2019-07-11 Pierre-Marie de Rodat New
[Ada] Internal crash on package instantation compilation unit - - - - --- 2015-05-22 Arnaud Charlet New
[Ada] Internal error compiling formal instance of generic with Initial_Condition [Ada] Internal error compiling formal instance of generic with Initial_Condition - - - - --- 2022-09-12 Marc Poulhiès New
[Ada] Internal error on elaboration variable with -gnatct - - - - --- 2011-10-26 Eric Botcazou New
[Ada] Internal error on expression function in ghost package [Ada] Internal error on expression function in ghost package - - - - --- 2017-10-09 Pierre-Marie de Rodat New
[Ada] Internal error on inlined renaming of subprogram instance [Ada] Internal error on inlined renaming of subprogram instance - - - - --- 2018-10-09 Pierre-Marie de Rodat New
[Ada] Internal error on iterator for limited private discriminated type [Ada] Internal error on iterator for limited private discriminated type - - - - --- 2019-07-22 Pierre-Marie de Rodat New
[Ada] Internal error on multiple layers of nested generics - - - - --- 2012-03-07 Arnaud Charlet New
[Ada] Internal error on private type with -gnatct - - - - --- 2011-11-04 Eric Botcazou New
[Ada] Internal error on renaming of constant array with -gnatc - - - - --- 2013-11-18 Eric Botcazou New
[Ada] Internal error on unchecked union and representation clause - - - - --- 2011-10-26 Eric Botcazou New
[Ada] Internal error on volatile array with VFA component [Ada] Internal error on volatile array with VFA component - - - - --- 2017-09-09 Eric Botcazou New
[Ada] Internal fix to Insert_Actions routine in compiler - - - - --- 2013-01-04 Arnaud Charlet New
[Ada] Internal increase in size of entities - - - - --- 2013-01-04 Arnaud Charlet New
[Ada] Internal optimization of Get_Source_File_Index - - - - --- 2013-10-10 Arnaud Charlet New
[Ada] Internal terminology change in compiler sources - - - - --- 2012-10-29 Arnaud Charlet New
[Ada] Interplay between exception handlers and finalization - - - - --- 2012-06-12 Arnaud Charlet New
[Ada] Interplay between limited with clauses, abstract states and refinement - - - - --- 2014-07-31 Arnaud Charlet New
[Ada] Interpretation of Form parameter for Ada.Directories.Copy_File - - - - --- 2010-10-04 Arnaud Charlet New
[Ada] Intrinsic operators with real operands - - - - --- 2011-08-04 Arnaud Charlet New
[Ada] Introduce -gnatd_A to set Opt.Disable_ALI_File [Ada] Introduce -gnatd_A to set Opt.Disable_ALI_File - - - - --- 2018-09-26 Pierre-Marie de Rodat New
[Ada] Introduce Opt.CCG_Mode [Ada] Introduce Opt.CCG_Mode - - - - --- 2022-05-30 Pierre-Marie de Rodat New
[Ada] Introduce expression functions for contract of Scan_Exponent [Ada] Introduce expression functions for contract of Scan_Exponent - - - - --- 2022-01-05 Pierre-Marie de Rodat New
[Ada] Introduce hardbool Machine_Attribute for Ada [Ada] Introduce hardbool Machine_Attribute for Ada - - - - --- 2022-05-12 Pierre-Marie de Rodat New
[Ada] Introduce internal abstraction Is_Base_Type - - - - --- 2010-10-26 Arnaud Charlet New
[Ada] Introduce new message kind "Check" - - - - --- 2014-10-23 Arnaud Charlet New
[Ada] Introduce the notion of machine occurrence - - - - --- 2012-07-16 Arnaud Charlet New
[Ada] Invalid GPR_PROJECT_PATH_FILE confuses gnatls [Ada] Invalid GPR_PROJECT_PATH_FILE confuses gnatls - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Invalid memory access on finalization of class-wide type [Ada] Invalid memory access on finalization of class-wide type - - - - --- 2021-12-02 Pierre-Marie de Rodat New
[Ada] Invariant aspect now called Type_Invariant - - - - --- 2011-08-01 Arnaud Charlet New
[Ada] Invariant checks and multiple inheritance - - - - --- 2012-10-01 Arnaud Charlet New
[Ada] Invariant checks on view conversion - - - - --- 2015-01-07 Arnaud Charlet New
[Ada] Invariants must only apply to public subprograms - - - - --- 2011-11-21 Arnaud Charlet New
[Ada] Isolate variables used to handle exceptions during finalization - - - - --- 2011-08-31 Arnaud Charlet New
[Ada] Issue a warning for -gstabs - - - - --- 2015-09-14 Eric Botcazou New
[Ada] Issue a warning on entity hidden in use_clause with -gnatwh [Ada] Issue a warning on entity hidden in use_clause with -gnatwh - - - - --- 2022-06-01 Pierre-Marie de Rodat New
[Ada] Issue advice for error regarding Old/Loop_Entry on unevaluated expr. [Ada] Issue advice for error regarding Old/Loop_Entry on unevaluated expr. - - - - --- 2020-11-26 Pierre-Marie de Rodat New
[Ada] Issue better error message for out-of-order keywords in record def [Ada] Issue better error message for out-of-order keywords in record def - - - - --- 2022-06-01 Pierre-Marie de Rodat New
[Ada] Issue check instead of error in static division by zero - - - - --- 2016-04-18 Arnaud Charlet New
[Ada] Issue error message on invalid representation clause for extension [Ada] Issue error message on invalid representation clause for extension - - - - --- 2017-09-06 Arnaud Charlet New
[Ada] Issue error on SPARK ownership rule violation [Ada] Issue error on SPARK ownership rule violation - - - - --- 2019-07-23 Pierre-Marie de Rodat New
[Ada] Issue error on illegal ownership in SPARK [Ada] Issue error on illegal ownership in SPARK - - - - --- 2019-07-09 Pierre-Marie de Rodat New
[Ada] Issue error on invalid use of Ghost inside pragma Predicate [Ada] Issue error on invalid use of Ghost inside pragma Predicate - - - - --- 2021-10-25 Pierre-Marie de Rodat New
[Ada] Issue errors on illegal contracts unless SPARK_Mode is Off - - - - --- 2014-10-10 Arnaud Charlet New
[Ada] Issue errors on wrong context for ghost entities [Ada] Issue errors on wrong context for ghost entities - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Issue info message on inlined subprograms in GNATprove mode [Ada] Issue info message on inlined subprograms in GNATprove mode - - - - --- 2018-09-26 Pierre-Marie de Rodat New
[Ada] Issue missing warning for 'Size attribute - - - - --- 2015-05-25 Eric Botcazou New
[Ada] Issue sorry message for Scalar_Storage_Order - - - - --- 2013-02-03 Eric Botcazou New
[Ada] Issue warning for missing -gnat2012 switch on aspect X'Class - - - - --- 2011-08-04 Arnaud Charlet New
[Ada] Issue warning on suspicious contract cases when -gnatw.t is set - - - - --- 2012-03-15 Arnaud Charlet New
[Ada] Issue warning on unused quantified expression [Ada] Issue warning on unused quantified expression - - - - --- 2021-10-20 Pierre-Marie de Rodat New
[Ada] Issue warning or error message on ignored typing constraint [Ada] Issue warning or error message on ignored typing constraint - - - - --- 2019-07-22 Pierre-Marie de Rodat New
[Ada] Issue with SPARK aspects and generics - - - - --- 2014-02-20 Arnaud Charlet New
[Ada] Issue with gnatbind -V switch and Ada 2012 [Ada] Issue with gnatbind -V switch and Ada 2012 - - - - --- 2020-10-20 Pierre-Marie de Rodat New
[Ada] Issue with unnesting of 'First/Last and renaming [Ada] Issue with unnesting of 'First/Last and renaming - - - - --- 2020-06-08 Pierre-Marie de Rodat New
[Ada] Iterable aspect for an integer type - - - - --- 2015-11-13 Arnaud Charlet New
[Ada] Iterable aspect of derived types [Ada] Iterable aspect of derived types - - - - --- 2017-09-18 Pierre-Marie de Rodat New
[Ada] Iterate with procedural version of Next routine where possible [Ada] Iterate with procedural version of Next routine where possible - - - - --- 2020-06-11 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] Iteration of containers given by function calls - - - - --- 2011-08-02 Arnaud Charlet New
[Ada] Iteration over Ada container causes Program_Error - - - - --- 2011-12-20 Arnaud Charlet New
[Ada] Iteration over class-wide containers - - - - --- 2011-11-07 Arnaud Charlet New
[Ada] Iterations over derived containers - - - - --- 2011-08-29 Arnaud Charlet New
[Ada] Iterative patch for accessibility cleanup [Ada] Iterative patch for accessibility cleanup - - - - --- 2020-10-23 Pierre-Marie de Rodat New
[Ada] Iterator subtypes - - - - --- 2015-10-23 Arnaud Charlet New
[Ada] Iterators are view-specific [Ada] Iterators are view-specific - - - - --- 2019-07-23 Pierre-Marie de Rodat New
[Ada] Iterators over containers of indefinite types - - - - --- 2011-08-02 Arnaud Charlet New
[Ada] Itype references and generics - - - - --- 2011-08-03 Arnaud Charlet New
[Ada] Justify false alarm from CodePeer analysis of GNAT [Ada] Justify false alarm from CodePeer analysis of GNAT - - - - --- 2022-09-12 Marc Poulhiès New
[Ada] Justify false positive message from CodePeer analysis of GNAT [Ada] Justify false positive message from CodePeer analysis of GNAT - - - - --- 2022-01-06 Pierre-Marie de Rodat New
[Ada] Keep assertions in internal units enabled for GNATprove [Ada] Keep assertions in internal units enabled for GNATprove - - - - --- 2019-07-04 Pierre-Marie de Rodat New
[Ada] Keep checks in Alfa mode for formal verification - - - - --- 2012-10-29 Arnaud Charlet New
[Ada] Keepalive control on Windows [Ada] Keepalive control on Windows - - - - --- 2021-07-07 Pierre-Marie de Rodat New
[Ada] Language-defined checks and side effects in gigi - - - - --- 2015-09-17 Eric Botcazou New
[Ada] Latent bug in Uintp.Most_Sig_2_Digits - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Leak with function returning String in exception handler - - - - --- 2016-04-20 Arnaud Charlet New
[Ada] Leap second for 2012 - - - - --- 2012-01-30 Arnaud Charlet New
[Ada] Legacy elaboration model and relaxed elaboration mode [Ada] Legacy elaboration model and relaxed elaboration mode - - - - --- 2017-12-05 Pierre-Marie de Rodat New
[Ada] Legal actual type with inherited discriminants rejected in instantiation [Ada] Legal actual type with inherited discriminants rejected in instantiation - - - - --- 2020-10-16 Pierre-Marie de Rodat New
[Ada] Legality and removal of ignored Ghost context clauses - - - - --- 2017-01-20 Arnaud Charlet New
[Ada] Legality check of classwide Pre/Postcondition aspect - - - - --- 2016-04-27 Arnaud Charlet New
[Ada] Legality checks involving aspect Import - - - - --- 2014-08-01 Arnaud Charlet New
[Ada] Legality checks on 'Result in the presence of quantified expression - - - - --- 2011-08-01 Arnaud Charlet New
[Ada] Legality checks on a formal derived type derived from previous formal. - - - - --- 2015-05-12 Arnaud Charlet New
[Ada] Legality checks on access-to-object types - - - - --- 2011-08-29 Arnaud Charlet New
« 1 2 ... 577 578 579 … 1265 1266 »