Patches

Show patches with: State = Action Required       |    Archived = No   
« 1 2 ... 292 293 294572 573 »
Patch A/R/T S/W/F Date Submitter Delegate State
[Ada] In an element iterator, the element is constant if the container is. - - - 0 0 0 2015-10-26 Arnaud Charlet New
[Ada] Include constant objects in SPARK cross references - - - 0 0 0 2014-01-27 Arnaud Charlet New
[Ada] Include scalar storage order information in -gnatR3 output - - - 0 0 0 2013-04-12 Arnaud Charlet New
[Ada] Incomplete detection of external tag clash - - - 0 0 0 2014-07-17 Arnaud Charlet New
[Ada] Incomplete types and null procedures. - - - 0 0 0 2015-05-12 Arnaud Charlet New
[Ada] Incomplete view of ancestor type - - - 0 0 0 2013-04-11 Arnaud Charlet New
[Ada] Incomplete xref information in ALI file - - - 0 0 0 2016-04-27 Arnaud Charlet New
[Ada] Incorrect RM references on invalid uses of 'Access attribute. - - - 0 0 0 2014-10-31 Arnaud Charlet New
[Ada] Incorrect SCOs for loops in separates - - - 0 0 0 2013-07-05 Arnaud Charlet New
[Ada] Incorrect assignment when deleting node - - - 0 0 0 2011-08-01 Arnaud Charlet New
[Ada] Incorrect attachment point for address clause alignment check - - - 0 0 0 2013-01-03 Arnaud Charlet New
[Ada] Incorrect bounds retrieval in range checks - - - 0 0 0 2010-06-21 Arnaud Charlet New
[Ada] Incorrect error on valid global refinement - - - 0 0 0 2014-02-19 Arnaud Charlet New
[Ada] Incorrect finalization of build-in-place function result - - - 0 0 0 2012-03-30 Arnaud Charlet New
[Ada] Incorrect finalization of build-in-place function result - - - 0 0 0 2012-03-30 Arnaud Charlet New
[Ada] Incorrect handling of type conversion with endianness change - - - 0 0 0 2013-04-11 Arnaud Charlet New
[Ada] Incorrect parameter mechanism due to convention C_Pass_By_Copy - - - 0 0 0 2012-08-06 Arnaud Charlet New
[Ada] Incorrect result of equality on multidimensional packed arrays - - - 0 0 0 2016-04-21 Arnaud Charlet New
[Ada] Incorrect sign extensions on IOCTL system constants - - - 0 0 0 2012-10-29 Arnaud Charlet New
[Ada] Incorrect use of iterator when selector was intended - - - 0 0 0 2011-08-01 Arnaud Charlet New
[Ada] Increase alternate stack size on hpux - - - 0 0 0 2012-07-12 Arnaud Charlet New
[Ada] Increase efficiency of bounded strings - - - 0 0 0 2012-03-07 Arnaud Charlet New
[Ada] Increase maximum number of instantiations - - - 0 0 0 2012-03-07 Arnaud Charlet New
[Ada] Independent tasks and the Fall_Back_Handler - - - 0 0 0 2016-06-22 Arnaud Charlet New
[Ada] Indexing aspects and indexable containers - - - 0 0 0 2012-10-02 Arnaud Charlet New
[Ada] Indicator Part_Of - - - 0 0 0 2014-01-29 Arnaud Charlet New
[Ada] Indirect calls are always external - - - 0 0 0 2015-02-20 Arnaud Charlet New
[Ada] Indirect calls in static elaboration model - - - 0 0 0 2012-03-15 Arnaud Charlet New
[Ada] Infinite loop on nested instantiations with dynamic elaboration checks - - - 0 0 0 2014-10-23 Arnaud Charlet New
[Ada] Infinite loop while analysing aspect Global - - - 0 0 0 2013-09-10 Arnaud Charlet New
[Ada] Informational messages that are not warnings - - - 0 0 0 2016-04-27 Arnaud Charlet New
[Ada] Inheritance of private null interface primitive - - - 0 0 0 2010-10-05 Arnaud Charlet New
[Ada] Inheritance of representation aspects at freezing point - - - 0 0 0 2012-08-06 Arnaud Charlet New
[Ada] Inheritance of variables in extending projects - - - 0 0 0 2014-07-30 Arnaud Charlet New
[Ada] Inherited aspects of subtypes - - - 0 0 0 2011-12-21 Arnaud Charlet New
[Ada] Inherited discriminants, extension aggregates, and allocators - - - 0 0 0 2010-06-17 Arnaud Charlet New
[Ada] Inherited interface operations hidden by local declaration - - - 0 0 0 2010-06-22 Arnaud Charlet New
[Ada] Inherited subprograms may be both abstract and need overriding - - - 0 0 0 2011-08-05 Arnaud Charlet New
[Ada] Inheriting non-conformant homographs - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Inhibit exception push/pop when not needed - - - 0 0 0 2011-11-04 Arnaud Charlet New
[Ada] Initial checkin for unnesting of subprograms - - - 0 0 0 2015-03-02 Arnaud Charlet New
[Ada] Initial framework for Valid_Scalars attribute - - - 0 0 0 2012-03-19 Arnaud Charlet New
[Ada] Initial implementation of aspect Ghost - - - 0 0 0 2013-04-12 Arnaud Charlet New
[Ada] Initial steps for convention Ada_Pass_By_Copy/Reference - - - 0 0 0 2011-08-03 Arnaud Charlet New
[Ada] Initialization calls with access discriminants - - - 0 0 0 2011-09-06 Arnaud Charlet New
[Ada] Initialization of class-wide interface objects in VM targets - - - 0 0 0 2011-08-03 Arnaud Charlet New
[Ada] Initialize choice exception parameter in gigi - - - 0 0 0 2013-10-14 Arnaud Charlet New
[Ada] Initialize hidden discriminants in extension aggregates - - - 0 0 0 2011-08-03 Arnaud Charlet New
[Ada] Initialize pointer components of red-black tree node - - - 0 0 0 2011-08-31 Arnaud Charlet New
[Ada] Initialize_Scalars should not clobber variable with address clause - - - 0 0 0 2010-06-14 Arnaud Charlet New
[Ada] Inline expression functions whenever possible - - - 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Inline_Always applied to a subprogram body without previous spec - - - 0 0 0 2010-06-14 Arnaud Charlet New
[Ada] Inlining calls that return unconstrained arrays - - - 0 0 0 2011-09-06 Arnaud Charlet New
[Ada] Inlining calls with by-reference parameters - - - 0 0 0 2011-09-01 Arnaud Charlet New
[Ada] Inlining of calls to subprogram renamings - - - 0 0 0 2014-10-31 Arnaud Charlet New
[Ada] Insert must check for zero-length buckets array - - - 0 0 0 2011-08-31 Arnaud Charlet New
[Ada] Insert subtypes for array index/component in formal verification mode - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Insertion of child into multiway tree yields bad cursor - - - 0 0 0 2014-10-30 Arnaud Charlet New
[Ada] Insertion of generated constructs in N_Expression_With_Actions nodes - - - 0 0 0 2013-01-29 Arnaud Charlet New
[Ada] Instances of Ada.Unchecked_Conversion as volatile functions - - - 0 0 0 2015-10-23 Arnaud Charlet New
[Ada] Instantiation of a renaming of an implicit child unit - - - 0 0 0 2010-10-19 Arnaud Charlet New
[Ada] Instantiations and subprogram declarations do not break statement SCO seq - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Instruct gnatmake to pass -Oxxx switches to the linker - - - 0 0 0 2010-10-04 Arnaud Charlet New
[Ada] Inter-unit inlining of expression functions with -gnatn1 - - - 0 0 0 2014-11-20 Arnaud Charlet New
[Ada] Interaction between 'Loop_Entry, 'Old, 'Update and Extensions_Visible - - - 0 0 0 2014-11-20 Arnaud Charlet New
[Ada] Interaction between packed arrays and post conditions - - - 0 0 0 2012-04-02 Arnaud Charlet New
[Ada] Interface conversions and limited_with clauses. - - - 0 0 0 2014-07-29 Arnaud Charlet New
[Ada] Interface operations that are renamings - - - 0 0 0 2010-09-10 Arnaud Charlet New
[Ada] Interface operations with access formal in constrained extension - - - 0 0 0 2010-06-17 Arnaud Charlet New
[Ada] Interface type conversions are not dynamically tagged - - - 0 0 0 2011-09-05 Arnaud Charlet New
[Ada] Interfacing aspects in Ada 2012 - - - 0 0 0 2012-05-15 Arnaud Charlet New
[Ada] Intermediate build-in-place result not finalized - - - 0 0 0 2010-09-10 Arnaud Charlet New
[Ada] Internal access to Reason for Warnings Off - - - 0 0 0 2014-02-20 Arnaud Charlet New
[Ada] Internal bindgen.adb cleanup - - - 0 0 0 2012-10-29 Arnaud Charlet New
[Ada] Internal clean up (use Is_Directory_Separator) - - - 0 0 0 2014-10-17 Arnaud Charlet New
[Ada] Internal clean up for N_Pragma nodes - - - 0 0 0 2013-02-06 Arnaud Charlet New
[Ada] Internal cleanup for Predicate_Tests_On_Arguments - - - 0 0 0 2014-07-30 Arnaud Charlet New
[Ada] Internal cleanup in Ada.Exceptions. - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Internal cleanup of overflow defaults - - - 0 0 0 2012-10-05 Arnaud Charlet New
[Ada] Internal cleanups in Cstand - - - 0 0 0 2014-07-30 Arnaud Charlet New
[Ada] Internal cleanups in handling of subtype bounds - - - 0 0 0 2014-07-30 Arnaud Charlet New
[Ada] Internal crash on illegal aspect Part_Of - - - 0 0 0 2015-11-13 Arnaud Charlet New
[Ada] Internal crash on package instantation compilation unit - - - 0 0 0 2015-05-22 Arnaud Charlet New
[Ada] Internal error on elaboration variable with -gnatct - - - 0 0 0 2011-10-26 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 private type with -gnatct - - - 0 0 0 2011-11-04 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 unchecked union and representation clause - - - 0 0 0 2011-10-26 Eric Botcazou New
[Ada] Internal fix to Insert_Actions routine in compiler - - - 0 0 0 2013-01-04 Arnaud Charlet New
[Ada] Internal increase in size of entities - - - 0 0 0 2013-01-04 Arnaud Charlet New
[Ada] Internal optimization of Get_Source_File_Index - - - 0 0 0 2013-10-10 Arnaud Charlet New
[Ada] Internal terminology change in compiler sources - - - 0 0 0 2012-10-29 Arnaud Charlet New
[Ada] Interplay between exception handlers and finalization - - - 0 0 0 2012-06-12 Arnaud Charlet New
[Ada] Interplay between limited with clauses, abstract states and refinement - - - 0 0 0 2014-07-31 Arnaud Charlet New
[Ada] Interpretation of Form parameter for Ada.Directories.Copy_File - - - 0 0 0 2010-10-04 Arnaud Charlet New
[Ada] Intrinsic operators with real operands - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Introduce internal abstraction Is_Base_Type - - - 0 0 0 2010-10-26 Arnaud Charlet New
[Ada] Introduce new message kind "Check" - - - 0 0 0 2014-10-23 Arnaud Charlet New
[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
« 1 2 ... 292 293 294572 573 »