Patches

Show patches with: State = Action Required       |    Archived = No   
« 1 2 ... 282 283 284579 580 »
Patch A/R/T S/W/F Date Submitter Delegate State
[Ada] Loop parameter is a constant in an iterator over a formal container. - - - 0 0 0 2014-10-10 Arnaud Charlet New
[Ada] Lock_Free implementation for protected object - - - 0 0 0 2012-07-09 Arnaud Charlet New
[Ada] Lock-free implementation of protected objects (PR ada/54125) - - - 0 0 0 2012-08-06 Arnaud Charlet New
[Ada] Lock-free implementation of protected objects - - - 0 0 0 2012-07-23 Arnaud Charlet New
[Ada] Lock-free implementation of protected objects - - - 0 0 0 2012-07-23 Iain Sandoe New
[Ada] Lock free implementation of protected objects - - - 0 0 0 2012-05-15 Arnaud Charlet New
[Ada] Locate_Exec_On_Path should only return executable files - - - 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Locate error message on the first line of a pre/post/invariant aspect - - - 0 0 0 2011-11-23 Arnaud Charlet New
[Ada] Locate error message on the first character of an assertion - - - 0 0 0 2011-11-21 Arnaud Charlet New
[Ada] Locally enabled invariants are ignored - - - 0 0 0 2013-04-25 Arnaud Charlet New
[Ada] Locally enabled invariants are ignored - - - 0 0 0 2013-04-25 Arnaud Charlet New
[Ada] Local renaming should not be externally visible - - - 0 0 0 2014-10-23 Arnaud Charlet New
[Ada] Local name hides global item - - - 0 0 0 2015-10-26 Arnaud Charlet New
[Ada] List fixed-point small and range in -gnatR2 output - - - 0 0 0 2010-09-10 Arnaud Charlet New
[Ada] Limited with clauses in parent units - - - 0 0 0 2010-06-17 Arnaud Charlet New
[Ada] Lift unexpected alignment restriction on modular types - - - 0 0 0 2010-07-03 Eric Botcazou New
[Ada] Lift restriction on renaming with Volatile_Full_Access - - - 0 0 0 2015-05-26 Arnaud Charlet New
[Ada] Lift restriction on renaming with Volatile_Full_Access - - - 0 0 0 2015-05-26 Eric Botcazou New
[Ada] Lift restriction on renaming with Volatile_Full_Access - - - 0 0 0 2015-05-26 Eric Botcazou New
[Ada] Lift old restriction on inlining - - - 0 0 0 2011-03-26 Eric Botcazou New
[Ada] Lift obsolete limitations for pragma Inline - - - 0 0 0 2014-10-31 Arnaud Charlet New
[Ada] Lift limitation on inter-unit inlining of instantiated subprograms - - - 0 0 0 2014-10-20 Arnaud Charlet New
[Ada] Lift limitation of inter-unit inlining with generic packages - - - 0 0 0 2014-11-20 Arnaud Charlet New
[Ada] Lift inlining limitation with -gnatn (2) - - - 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Lift inlining limitation with -gnatn - - - 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Library_Level attribute now applies to an entity name - - - 0 0 0 2013-10-14 Arnaud Charlet New
[Ada] Library_Dir incorrectly reported as not declared - - - 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Library-level error on aspects - - - 0 0 0 2015-11-12 Arnaud Charlet New
[Ada] Leverage 6.2(12) to restrict parameter aliasing - - - 0 0 0 2011-12-11 Eric Botcazou New
[Ada] Legality rules for pragma Unchecked_Union - - - 0 0 0 2012-11-06 Arnaud Charlet New
[Ada] Legality rules for formal packages with box initialization - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Legality rules for aspect Depends - - - 0 0 0 2013-04-12 Arnaud Charlet New
[Ada] Legality rules for Synchronization aspect on protected operations - - - 0 0 0 2014-02-19 Arnaud Charlet New
[Ada] Legality of self-referential outputs in aspect/pragma Depends - - - 0 0 0 2013-04-23 Arnaud Charlet New
[Ada] Legality of null dependence items - - - 0 0 0 2013-10-14 Arnaud Charlet New
[Ada] Legality of aspects specified on a full view - - - 0 0 0 2012-10-04 Arnaud Charlet New
[Ada] Legality of aspect Default_Storage_Pool - - - 0 0 0 2016-04-20 Arnaud Charlet New
[Ada] Legality of aliased keyword in extended return statement - - - 0 0 0 2012-12-05 Arnaud Charlet New
[Ada] Legality checks on initialization of limited objects - - - 0 0 0 2015-10-27 Arnaud Charlet New
[Ada] Legality checks on indexing aspects - - - 0 0 0 2014-07-31 Arnaud Charlet New
[Ada] Legality checks on calls to a Generic_Dispatching_Constructor. - - - 0 0 0 2015-11-12 Arnaud Charlet New
[Ada] Legality checks on access-to-object types - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Legality checks on a formal derived type derived from previous formal. - - - 0 0 0 2015-05-12 Arnaud Charlet New
[Ada] Legality checks on 'Result in the presence of quantified expression - - - 0 0 0 2011-08-01 Arnaud Charlet New
[Ada] Legality checks involving aspect Import - - - 0 0 0 2014-08-01 Arnaud Charlet New
[Ada] Legality check of classwide Pre/Postcondition aspect - - - 0 0 0 2016-04-27 Arnaud Charlet New
[Ada] Leap second for 2012 - - - 0 0 0 2012-01-30 Arnaud Charlet New
[Ada] Leak with function returning String in exception handler - - - 0 0 0 2016-04-20 Arnaud Charlet New
[Ada] Language-defined checks and side effects in gigi - - - 0 0 0 2015-09-17 Eric Botcazou New
[Ada] Keep checks in Alfa mode for formal verification - - - 0 0 0 2012-10-29 Arnaud Charlet New
[Ada] Itype references and generics - - - 0 0 0 2011-08-03 Arnaud Charlet New
[Ada] Iterators over containers of indefinite types - - - 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Iterator subtypes - - - 0 0 0 2015-10-23 Arnaud Charlet New
[Ada] Iterations over derived containers - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Iteration over class-wide containers - - - 0 0 0 2011-11-07 Arnaud Charlet New
[Ada] Iteration over Ada container causes Program_Error - - - 0 0 0 2011-12-20 Arnaud Charlet New
[Ada] Iteration of containers given by function calls - - - 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Iterable aspect for an integer type - - - 0 0 0 2015-11-13 Arnaud Charlet New
[Ada] Issue with SPARK aspects and generics - - - 0 0 0 2014-02-20 Arnaud Charlet New
[Ada] Issue warning on suspicious contract cases when -gnatw.t is set - - - 0 0 0 2012-03-15 Arnaud Charlet New
[Ada] Issue warning for missing -gnat2012 switch on aspect X'Class - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Issue sorry message for Scalar_Storage_Order - - - 0 0 0 2013-02-03 Eric Botcazou New
[Ada] Issue missing warning for 'Size attribute - - - 0 0 0 2015-05-25 Eric Botcazou New
[Ada] Issue errors on illegal contracts unless SPARK_Mode is Off - - - 0 0 0 2014-10-10 Arnaud Charlet New
[Ada] Issue check instead of error in static division by zero - - - 0 0 0 2016-04-18 Arnaud Charlet New
[Ada] Issue a warning for -gstabs - - - 0 0 0 2015-09-14 Eric Botcazou New
[Ada] Isolate variables used to handle exceptions during finalization - - - 0 0 0 2011-08-31 Arnaud Charlet New
[Ada] Invariants must only apply to public subprograms - - - 0 0 0 2011-11-21 Arnaud Charlet New
[Ada] Invariant checks on view conversion - - - 0 0 0 2015-01-07 Arnaud Charlet New
[Ada] Invariant checks and multiple inheritance - - - 0 0 0 2012-10-01 Arnaud Charlet New
[Ada] Invariant aspect now called Type_Invariant - - - 0 0 0 2011-08-01 Arnaud Charlet New
[Ada] Introduce the notion of machine occurrence - - - 0 0 0 2012-07-16 Arnaud Charlet New
[Ada] Introduce new message kind "Check" - - - 0 0 0 2014-10-23 Arnaud Charlet New
[Ada] Introduce internal abstraction Is_Base_Type - - - 0 0 0 2010-10-26 Arnaud Charlet New
[Ada] Intrinsic operators with real operands - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Interpretation of Form parameter for Ada.Directories.Copy_File - - - 0 0 0 2010-10-04 Arnaud Charlet New
[Ada] Interplay between limited with clauses, abstract states and refinement - - - 0 0 0 2014-07-31 Arnaud Charlet New
[Ada] Interplay between exception handlers and finalization - - - 0 0 0 2012-06-12 Arnaud Charlet New
[Ada] Internal terminology change in compiler sources - - - 0 0 0 2012-10-29 Arnaud Charlet New
[Ada] Internal optimization of Get_Source_File_Index - - - 0 0 0 2013-10-10 Arnaud Charlet New
[Ada] Internal increase in size of entities - - - 0 0 0 2013-01-04 Arnaud Charlet New
[Ada] Internal fix to Insert_Actions routine in compiler - - - 0 0 0 2013-01-04 Arnaud Charlet New
[Ada] Internal error on unchecked union and representation clause - - - 0 0 0 2011-10-26 Eric Botcazou New
[Ada] Internal error on renaming of constant array with -gnatc - - - 0 0 0 2013-11-18 Eric Botcazou New
[Ada] Internal error on private type with -gnatct - - - 0 0 0 2011-11-04 Eric Botcazou New
[Ada] Internal error on multiple layers of nested generics - - - 0 0 0 2012-03-07 Arnaud Charlet New
[Ada] Internal error on elaboration variable with -gnatct - - - 0 0 0 2011-10-26 Eric Botcazou New
[Ada] Internal crash on package instantation compilation unit - - - 0 0 0 2015-05-22 Arnaud Charlet New
[Ada] Internal crash on illegal aspect Part_Of - - - 0 0 0 2015-11-13 Arnaud Charlet New
[Ada] Internal cleanups in handling of subtype bounds - - - 0 0 0 2014-07-30 Arnaud Charlet New
[Ada] Internal cleanups in Cstand - - - 0 0 0 2014-07-30 Arnaud Charlet New
[Ada] Internal cleanup of overflow defaults - - - 0 0 0 2012-10-05 Arnaud Charlet New
[Ada] Internal cleanup in Ada.Exceptions. - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Internal cleanup for Predicate_Tests_On_Arguments - - - 0 0 0 2014-07-30 Arnaud Charlet New
[Ada] Internal clean up for N_Pragma nodes - - - 0 0 0 2013-02-06 Arnaud Charlet New
[Ada] Internal clean up (use Is_Directory_Separator) - - - 0 0 0 2014-10-17 Arnaud Charlet New
[Ada] Internal bindgen.adb cleanup - - - 0 0 0 2012-10-29 Arnaud Charlet New
[Ada] Internal access to Reason for Warnings Off - - - 0 0 0 2014-02-20 Arnaud Charlet New
[Ada] Intermediate build-in-place result not finalized - - - 0 0 0 2010-09-10 Arnaud Charlet New
[Ada] Interfacing aspects in Ada 2012 - - - 0 0 0 2012-05-15 Arnaud Charlet New
« 1 2 ... 282 283 284579 580 »