Patchwork GNU Compiler Collection

login
register
mail settings

Incoming patches

« Previous 1 2 ... 205 206 207 208 209 210 211 212 213 ... 410 411 Next »
Filters: State = Action Required remove filter    |    Archived = No remove filter
Patch A/R/T Date Submitter Delegate State
[Ada] Introduce the notion of machine occurrence 0 0 0 2012-07-16 Arnaud Charlet New
[Ada] Invariant aspect now called Type_Invariant 0 0 0 2011-08-01 Arnaud Charlet New
[Ada] Invariant checks and multiple inheritance 0 0 0 2012-10-01 Arnaud Charlet New
[Ada] Invariants must only apply to public subprograms 0 0 0 2011-11-21 Arnaud Charlet New
[Ada] Isolate variables used to handle exceptions during finalization 0 0 0 2011-08-31 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 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] 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] 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] Leap second for 2012 0 0 0 2012-01-30 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 access-to-object types 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Legality checks on indexing aspects 0 0 0 2014-07-31 Arnaud Charlet New
[Ada] Legality of aliased keyword in extended return statement 0 0 0 2012-12-05 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_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 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 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 Refined_Global 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 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 all rep clauses are removed from tree for -gnatI 0 0 0 2014-07-18 Arnaud Charlet 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 {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] 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
[Ada] Message on rewriting loops is now an info message 0 0 0 2011-11-04 Arnaud Charlet New
[Ada] Minor adjustments to -gnatg warnings 0 0 0 2011-10-24 Arnaud Charlet New
[Ada] Minor change to version string support 0 0 0 2010-09-10 Arnaud Charlet New
[Ada] Minor changes for GNAT dimensionality checking system 0 0 0 2012-02-22 Arnaud Charlet New
[Ada] Minor changes for GNAT dimensionality checking system 0 0 0 2012-01-30 Arnaud Charlet New
[Ada] Minor cleanup 0 0 0 2014-05-18 Eric Botcazou New
[Ada] Minor cleanup 0 0 0 2013-08-13 Eric Botcazou New
[Ada] Minor cleanup #2 0 0 0 2014-05-18 Eric Botcazou New
[Ada] Minor coce reorganization 0 0 0 2010-09-09 Arnaud Charlet New
[Ada] Minor code cleanup 0 0 0 2013-10-19 Eric Botcazou New
[Ada] Minor code cleanup, introduce Aggregate_Kind 0 0 0 2010-09-09 Arnaud Charlet New
[Ada] Minor code reorganization 0 0 0 2014-01-20 Eric Botcazou New
[Ada] Minor code reorganization 0 0 0 2011-12-02 Arnaud Charlet New
[Ada] Minor code reorganization, move Is_Generic_Formal 0 0 0 2010-10-22 Arnaud Charlet New
[Ada] Minor edit to -gnatW message 0 0 0 2013-04-11 Arnaud Charlet New
[Ada] Minor gigi tweaks 0 0 0 2014-10-27 Eric Botcazou New
[Ada] Minor improvement to traces, to support indented output 0 0 0 2011-08-03 Arnaud Charlet New