Patches

Show patches with: State = Action Required   
« 1 2 ... 285 286 287558 559 »
Patch A/R/T S/W/F Date Submitter Delegate State
[Ada] Issue check instead of error in static division by zero - - - 0 0 0 2016-04-18 Arnaud Charlet New
[Ada] Issue errors on illegal contracts unless SPARK_Mode is Off - - - 0 0 0 2014-10-10 Arnaud Charlet New
[Ada] Issue missing warning for 'Size attribute - - - 0 0 0 2015-05-25 Eric Botcazou New
[Ada] Issue sorry message for Scalar_Storage_Order - - - 0 0 0 2013-02-03 Eric Botcazou New
[Ada] Issue warning for missing -gnat2012 switch on aspect X'Class - - - 0 0 0 2011-08-04 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 with SPARK aspects and generics - - - 0 0 0 2014-02-20 Arnaud Charlet New
[Ada] Iterable aspect for an integer type - - - 0 0 0 2015-11-13 Arnaud Charlet New
[Ada] Iteration of containers given by function calls - - - 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Iteration over Ada container causes Program_Error - - - 0 0 0 2011-12-20 Arnaud Charlet New
[Ada] Iteration over class-wide containers - - - 0 0 0 2011-11-07 Arnaud Charlet New
[Ada] Iterations over derived containers - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Iterator subtypes - - - 0 0 0 2015-10-23 Arnaud Charlet New
[Ada] Iterators over containers of indefinite types - - - 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Itype references and generics - - - 0 0 0 2011-08-03 Arnaud Charlet New
[Ada] Keep checks in Alfa mode for formal verification - - - 0 0 0 2012-10-29 Arnaud Charlet New
[Ada] Language-defined checks and side effects in gigi - - - 0 0 0 2015-09-17 Eric Botcazou New
[Ada] Leak with function returning String in exception handler - - - 0 0 0 2016-04-20 Arnaud Charlet New
[Ada] Leap second for 2012 - - - 0 0 0 2012-01-30 Arnaud Charlet New
[Ada] Legality check of classwide Pre/Postcondition aspect - - - 0 0 0 2016-04-27 Arnaud Charlet New
[Ada] Legality checks involving aspect Import - - - 0 0 0 2014-08-01 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 on a formal derived type derived from previous formal. - - - 0 0 0 2015-05-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 calls to a Generic_Dispatching_Constructor. - - - 0 0 0 2015-11-12 Arnaud Charlet New
[Ada] Legality checks on indexing aspects - - - 0 0 0 2014-07-31 Arnaud Charlet New
[Ada] Legality checks on initialization of limited objects - - - 0 0 0 2015-10-27 Arnaud Charlet New
[Ada] Legality of aliased keyword in extended return statement - - - 0 0 0 2012-12-05 Arnaud Charlet New
[Ada] Legality of aspect Default_Storage_Pool - - - 0 0 0 2016-04-20 Arnaud Charlet New
[Ada] Legality of aspects specified on a full view - - - 0 0 0 2012-10-04 Arnaud Charlet New
[Ada] Legality of null dependence items - - - 0 0 0 2013-10-14 Arnaud Charlet New
[Ada] Legality of self-referential outputs in aspect/pragma Depends - - - 0 0 0 2013-04-23 Arnaud Charlet New
[Ada] Legality rules for Synchronization aspect on protected operations - - - 0 0 0 2014-02-19 Arnaud Charlet New
[Ada] Legality rules for aspect Depends - - - 0 0 0 2013-04-12 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 pragma Unchecked_Union - - - 0 0 0 2012-11-06 Arnaud Charlet New
[Ada] Leverage 6.2(12) to restrict parameter aliasing - - - 0 0 0 2011-12-11 Eric Botcazou New
[Ada] Library-level error on aspects - - - 0 0 0 2015-11-12 Arnaud Charlet New
[Ada] Library_Dir incorrectly reported as not declared - - - 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] Lift inlining limitation with -gnatn - - - 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Lift inlining limitation with -gnatn (2) - - - 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Lift limitation of inter-unit inlining with generic packages - - - 0 0 0 2014-11-20 Arnaud Charlet New
[Ada] Lift limitation on inter-unit inlining of instantiated subprograms - - - 0 0 0 2014-10-20 Arnaud Charlet New
[Ada] Lift obsolete limitations for pragma Inline - - - 0 0 0 2014-10-31 Arnaud Charlet New
[Ada] Lift old restriction on inlining - - - 0 0 0 2011-03-26 Eric Botcazou 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 restriction on renaming with Volatile_Full_Access - - - 0 0 0 2015-05-26 Arnaud Charlet New
[Ada] Lift unexpected alignment restriction on modular types - - - 0 0 0 2010-07-03 Eric Botcazou New
[Ada] Limited with clauses in parent units - - - 0 0 0 2010-06-17 Arnaud Charlet New
[Ada] List fixed-point small and range in -gnatR2 output - - - 0 0 0 2010-09-10 Arnaud Charlet New
[Ada] Local name hides global item - - - 0 0 0 2015-10-26 Arnaud Charlet New
[Ada] Local renaming should not be externally visible - - - 0 0 0 2014-10-23 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] Locate error message on the first character of an assertion - - - 0 0 0 2011-11-21 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_Exec_On_Path should only return executable files - - - 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Lock free implementation of protected objects - - - 0 0 0 2012-05-15 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-07-23 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 for protected object - - - 0 0 0 2012-07-09 Arnaud Charlet New
[Ada] Loop parameter is a constant in an iterator over a formal container. - - - 0 0 0 2014-10-10 Arnaud Charlet New
[Ada] Loops over containers without variable indexing - - - 0 0 0 2014-02-04 Arnaud Charlet New
[Ada] Loops through types with static predicates - - - 0 0 0 2010-10-22 Arnaud Charlet New
[Ada] Lower severity of the program's return value in some common cases - - - 0 0 0 2014-11-07 Arnaud Charlet New
[Ada] MKS dimension system - - - 0 0 0 2011-12-20 Arnaud Charlet New
[Ada] Major cleanup of pre- and postconditions, preliminary work for aspects Refined_Depends and ... - - - 0 0 0 2013-10-10 Arnaud Charlet New
[Ada] Make GNAT.AWK API compatible with Ada 2005. - - - 0 0 0 2011-08-03 Arnaud Charlet New
[Ada] Make System.Atomic_Counters available to user applications - - - 0 0 0 2014-10-17 Arnaud Charlet New
[Ada] Make System.String_Hash available through GNAT.String_Hash - - - 0 0 0 2015-11-18 Arnaud Charlet New
[Ada] Make Task_Info pragma and package obsolescent - - - 0 0 0 2014-06-13 Arnaud Charlet New
[Ada] Make local Sqrt implementation generic - - - 0 0 0 2011-10-13 Arnaud Charlet New
[Ada] Make more robust when with-ing an instance with errors - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Make statically predicated choices in variants work - - - 0 0 0 2013-10-10 Arnaud Charlet New
[Ada] Make sure Do_Range_Check flag is set when needed on OUT parameter - - - 0 0 0 2014-08-04 Arnaud Charlet New
[Ada] Make sure Volatile_Full_Access is treated like Atomic - - - 0 0 0 2015-05-22 Arnaud Charlet New
[Ada] Make sure all rep clauses are removed from tree for -gnatI - - - 0 0 0 2014-07-18 Arnaud Charlet New
[Ada] Make sure generated files are created first - - - 0 0 0 2015-10-09 Eric Botcazou New
[Ada] Make sure hides works with SPARK and SPARK_05 - - - 0 0 0 2013-07-08 Arnaud Charlet New
[Ada] Make sure that range check flag is set on real-integer conversions - - - 0 0 0 2014-08-04 Arnaud Charlet New
[Ada] Make sure the Clock is thread safe - - - 0 0 0 2013-02-06 Arnaud Charlet New
[Ada] Make sure we check divide by zero for fixed-point divide case - - - 0 0 0 2015-01-06 Arnaud Charlet New
[Ada] Make the stack non-executable in GNAT tools - - - 0 0 0 2015-08-13 Florian Weimer New
[Ada] Make {Short,Long,Long_Long}_Complex_Elementary_Functions pure - - - 0 0 0 2013-01-02 Arnaud Charlet New
[Ada] Makes the exception type a little bit more general - - - 0 0 0 2013-10-14 Arnaud Charlet New
[Ada] Malformed argument with pragma Refined_State - - - 0 0 0 2015-11-18 Arnaud Charlet New
[Ada] Managing affinities for programs executing on multiprocessors - - - 0 0 0 2011-08-30 Arnaud Charlet New
[Ada] Mark Exceptional_Complete_Rendezvous No_Return - - - 0 0 0 2012-02-08 Arnaud Charlet New
[Ada] Mark generated subtypes and loop iteration entity as in ALFA - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Mark intrinsic subprograms as Pure - - - 0 0 0 2014-02-04 Arnaud Charlet New
[Ada] Master entities in Ada2005 - - - 0 0 0 2010-09-09 Arnaud Charlet New
[Ada] Maximum line length in project files created by gnatname - - - 0 0 0 2010-10-04 Arnaud Charlet New
[Ada] Membership operations on fixed point universal arguments - - - 0 0 0 2010-06-23 Arnaud Charlet New
[Ada] Membership tests work with extended overflow checks - - - 0 0 0 2012-10-01 Arnaud Charlet New
[Ada] Memory corruption in GNAT.Array_Split (and String_Split) - - - 0 0 0 2014-01-20 Arnaud Charlet New
[Ada] Memory leak with Ada 2012 iterator loop - - - 0 0 0 2014-02-25 Arnaud Charlet New
[Ada] Merge s-osinte-vms and s-osinte-vms-ia64 - - - 0 0 0 2012-03-07 Arnaud Charlet New
« 1 2 ... 285 286 287558 559 »