Show patches with: State = Action Required       |    Archived = No       |   127104 patches
« 1 2 ... 693 694 695 … 1271 1272 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Internal clean up for N_Pragma nodes - - - - --- 2013-02-06 Arnaud Charlet New
[Ada] Internal clean up (use Is_Directory_Separator) - - - - --- 2014-10-17 Arnaud Charlet New
[Ada] Internal bindgen.adb cleanup - - - - --- 2012-10-29 Arnaud Charlet New
[Ada] Internal access to Reason for Warnings Off - - - - --- 2014-02-20 Arnaud Charlet New
[Ada] Intermediate build-in-place result not finalized - - - - --- 2010-09-10 Arnaud Charlet New
[Ada] Interfacing aspects in Ada 2012 - - - - --- 2012-05-15 Arnaud Charlet New
[Ada] Interface type conversions are not dynamically tagged - - - - --- 2011-09-05 Arnaud Charlet New
[Ada] Interface operations with access formal in constrained extension - - - - --- 2010-06-17 Arnaud Charlet New
[Ada] Interface operations that are renamings - - - - --- 2010-09-10 Arnaud Charlet New
[Ada] Interface conversions and limited_with clauses. - - - - --- 2014-07-29 Arnaud Charlet New
[Ada] Interface behaves differently from abstract tagged null [Ada] Interface behaves differently from abstract tagged null - - - - --- 2021-09-21 Pierre-Marie de Rodat New
[Ada] Interaction between packed arrays and post conditions - - - - --- 2012-04-02 Arnaud Charlet New
[Ada] Interaction between 'Loop_Entry, 'Old, 'Update and Extensions_Visible - - - - --- 2014-11-20 Arnaud Charlet New
[Ada] Inter-unit inlining of expression functions with -gnatn1 - - - - --- 2014-11-20 Arnaud Charlet New
[Ada] Integer overflow in SS_Allocate [Ada] Integer overflow in SS_Allocate - - - - --- 2018-01-11 Pierre-Marie de Rodat New
[Ada] Instruct gnatmake to pass -Oxxx switches to the linker - - - - --- 2010-10-04 Arnaud Charlet New
[Ada] Instantiations and subprogram declarations do not break statement SCO seq - - - - --- 2011-08-29 Arnaud Charlet New
[Ada] Instantiation of a renaming of an implicit child unit - - - - --- 2010-10-19 Arnaud Charlet New
[Ada] Instances of Ada.Unchecked_Conversion as volatile functions - - - - --- 2015-10-23 Arnaud Charlet New
[Ada] Install_Restricted_Handlers: define Prio parameter as Interrupt_Priority [Ada] Install_Restricted_Handlers: define Prio parameter as Interrupt_Priority - - - - --- 2021-04-28 Pierre-Marie de Rodat New
[Ada] Insertion of generated constructs in N_Expression_With_Actions nodes - - - - --- 2013-01-29 Arnaud Charlet New
[Ada] Insertion of child into multiway tree yields bad cursor - - - - --- 2014-10-30 Arnaud Charlet New
[Ada] Insert subtypes for array index/component in formal verification mode - - - - --- 2011-08-29 Arnaud Charlet New
[Ada] Insert must check for zero-length buckets array - - - - --- 2011-08-31 Arnaud Charlet New
[Ada] Insert explicit dereferences when building actual subtype [Ada] Insert explicit dereferences when building actual subtype - - - - --- 2020-06-10 Pierre-Marie de Rodat New
[Ada] Insert explicit dereference in GNATprove mode for pointer analysis [Ada] Insert explicit dereference in GNATprove mode for pointer analysis - - - - --- 2017-09-25 Pierre-Marie de Rodat New
[Ada] Inlining of renamed subprogram instances in package body [Ada] Inlining of renamed subprogram instances in package body - - - - --- 2018-09-26 Pierre-Marie de Rodat New
[Ada] Inlining of expression function returning controlled object - - - - --- 2017-01-13 Arnaud Charlet New
[Ada] Inlining of calls to subprogram renamings - - - - --- 2014-10-31 Arnaud Charlet New
[Ada] Inlining nonstatic calls to static expression functions [Ada] Inlining nonstatic calls to static expression functions - - - - --- 2020-10-20 Pierre-Marie de Rodat New
[Ada] Inlining calls with by-reference parameters - - - - --- 2011-09-01 Arnaud Charlet New
[Ada] Inlining calls that return unconstrained arrays - - - - --- 2011-09-06 Arnaud Charlet New
[Ada] Inline_Always applied to a subprogram body without previous spec - - - - --- 2010-06-14 Arnaud Charlet New
[Ada] Inline expression functions whenever possible - - - - --- 2011-08-02 Arnaud Charlet New
[Ada] Inline all calls in Ada.Task_Identification [Ada] Inline all calls in Ada.Task_Identification - - - - --- 2021-12-02 Pierre-Marie de Rodat New
[Ada] Initialize_Scalars should not clobber variable with address clause - - - - --- 2010-06-14 Arnaud Charlet New
[Ada] Initialize_Scalars optimization causes spurious runtime check failure [Ada] Initialize_Scalars optimization causes spurious runtime check failure - - - - --- 2018-05-23 Pierre-Marie de Rodat New
[Ada] Initialize variable to Empty [Ada] Initialize variable to Empty - - - - --- 2021-10-25 Pierre-Marie de Rodat New
[Ada] Initialize pointer components of red-black tree node - - - - --- 2011-08-31 Arnaud Charlet New
[Ada] Initialize local variables related to static expression functions [Ada] Initialize local variables related to static expression functions - - - - --- 2021-07-09 Pierre-Marie de Rodat New
[Ada] Initialize hidden discriminants in extension aggregates - - - - --- 2011-08-03 Arnaud Charlet New
[Ada] Initialize choice exception parameter in gigi - - - - --- 2013-10-14 Arnaud Charlet New
[Ada] Initialize Current_Source_Unit [Ada] Initialize Current_Source_Unit - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Initialize Current_Error_Node [Ada] Initialize Current_Error_Node - - - - --- 2021-07-06 Pierre-Marie de Rodat New
[Ada] Initialize Compiler_State to avoid Constraint_Error [Ada] Initialize Compiler_State to avoid Constraint_Error - - - - --- 2022-05-17 Pierre-Marie de Rodat New
[Ada] Initialization of class-wide interface objects in VM targets - - - - --- 2011-08-03 Arnaud Charlet New
[Ada] Initialization calls with access discriminants - - - - --- 2011-09-06 Arnaud Charlet New
[Ada] Initial steps for convention Ada_Pass_By_Copy/Reference - - - - --- 2011-08-03 Arnaud Charlet New
[Ada] Initial infrastructure for adding a tree checker [Ada] Initial infrastructure for adding a tree checker - - - - --- 2020-06-03 Pierre-Marie de Rodat New
[Ada] Initial implementation of safe pointer analysis in SPARK [Ada] Initial implementation of safe pointer analysis in SPARK - - - - --- 2017-09-12 Arnaud Charlet New
[Ada] Initial implementation of aspect Ghost - - - - --- 2013-04-12 Arnaud Charlet New
[Ada] Initial framework for Valid_Scalars attribute - - - - --- 2012-03-19 Arnaud Charlet New
[Ada] Initial checkin for unnesting of subprograms - - - - --- 2015-03-02 Arnaud Charlet New
[Ada] Inhibit exception push/pop when not needed - - - - --- 2011-11-04 Arnaud Charlet New
[Ada] Inheriting non-conformant homographs - - - - --- 2011-08-29 Arnaud Charlet New
[Ada] Inherited subprograms may be both abstract and need overriding - - - - --- 2011-08-05 Arnaud Charlet New
[Ada] Inherited interface operations hidden by local declaration - - - - --- 2010-06-22 Arnaud Charlet New
[Ada] Inherited discriminants, extension aggregates, and allocators - - - - --- 2010-06-17 Arnaud Charlet New
[Ada] Inherited aspects that may be delayed in a parent type [Ada] Inherited aspects that may be delayed in a parent type - - - - --- 2017-09-06 Arnaud Charlet New
[Ada] Inherited aspects of subtypes - - - - --- 2011-12-21 Arnaud Charlet New
[Ada] Inheritance of variables in extending projects - - - - --- 2014-07-30 Arnaud Charlet New
[Ada] Inheritance of representation aspects at freezing point - - - - --- 2012-08-06 Arnaud Charlet New
[Ada] Inheritance of private null interface primitive - - - - --- 2010-10-05 Arnaud Charlet New
[Ada] Inheritance of predicates in derived scalar types. - - - - --- 2017-01-12 Arnaud Charlet New
[Ada] Inheritance of Default_Iterator from interfaces [Ada] Inheritance of Default_Iterator from interfaces - - - - --- 2017-09-08 Arnaud Charlet New
[Ada] Informational messages that are not warnings - - - - --- 2016-04-27 Arnaud Charlet New
[Ada] Info. gathering in preparation for more efficiency improvements [Ada] Info. gathering in preparation for more efficiency improvements - - - - --- 2021-10-01 Pierre-Marie de Rodat New
[Ada] Info messages treated as errors with -gnatwe - - - - --- 2017-04-28 Arnaud Charlet New
[Ada] Infinite loop with concatenation and aspect [Ada] Infinite loop with concatenation and aspect - - - - --- 2019-09-19 Pierre-Marie de Rodat New
[Ada] Infinite loop while analysing aspect Global - - - - --- 2013-09-10 Arnaud Charlet New
[Ada] Infinite loop on nested instantiations with dynamic elaboration checks - - - - --- 2014-10-23 Arnaud Charlet New
[Ada] Infinite loop on illegal declaration [Ada] Infinite loop on illegal declaration - - - - --- 2019-07-11 Pierre-Marie de Rodat New
[Ada] Infinite loop on call to nested subprogram with -gnatE in SPARK [Ada] Infinite loop on call to nested subprogram with -gnatE in SPARK - - - - --- 2017-09-08 Arnaud Charlet New
[Ada] Infinite loop on an interface conversion involving private extensions. [Ada] Infinite loop on an interface conversion involving private extensions. - - - - --- 2017-09-08 Arnaud Charlet New
[Ada] Infinite loop in the compiler when warning on redundant constructs [Ada] Infinite loop in the compiler when warning on redundant constructs - - - - --- 2018-05-24 Pierre-Marie de Rodat New
[Ada] Ineffective use warning is suppressed when performing verification [Ada] Ineffective use warning is suppressed when performing verification - - - - --- 2018-05-24 Pierre-Marie de Rodat New
[Ada] Ineffective use type clause warnings cause compile time crash [Ada] Ineffective use type clause warnings cause compile time crash - - - - --- 2022-05-13 Pierre-Marie de Rodat New
[Ada] Ineffective pragma Suppress (Alignment_Check) on warning [Ada] Ineffective pragma Suppress (Alignment_Check) on warning - - - - --- 2017-09-13 Pierre-Marie de Rodat New
[Ada] Indirect calls in static elaboration model - - - - --- 2012-03-15 Arnaud Charlet New
[Ada] Indirect calls are always external - - - - --- 2015-02-20 Arnaud Charlet New
[Ada] Indicator Part_Of - - - - --- 2014-01-29 Arnaud Charlet New
[Ada] Indexing error when calling GNAT.Regpat.Match [Ada] Indexing error when calling GNAT.Regpat.Match - - - - --- 2022-07-06 Pierre-Marie de Rodat New
[Ada] Indexing aspects and indexable containers - - - - --- 2012-10-02 Arnaud Charlet New
[Ada] Independent tasks and the Fall_Back_Handler - - - - --- 2016-06-22 Arnaud Charlet New
[Ada] Incremental patch for restriction No_Dynamic_Accessibility_Checks [Ada] Incremental patch for restriction No_Dynamic_Accessibility_Checks - - - - --- 2021-07-09 Pierre-Marie de Rodat New
[Ada] Increase maximum number of instantiations - - - - --- 2012-03-07 Arnaud Charlet New
[Ada] Increase efficiency of bounded strings - - - - --- 2012-03-07 Arnaud Charlet New
[Ada] Increase alternate stack size on hpux - - - - --- 2012-07-12 Arnaud Charlet New
[Ada] Incorrect values in conversion from fixed-point subtype with 'Small [Ada] Incorrect values in conversion from fixed-point subtype with 'Small - - - - --- 2019-07-22 Pierre-Marie de Rodat New
[Ada] Incorrect use of iterator when selector was intended - - - - --- 2011-08-01 Arnaud Charlet New
[Ada] Incorrect unreferenced warnings on null subprograms and formals with aspects [Ada] Incorrect unreferenced warnings on null subprograms and formals with aspects - - - - --- 2022-05-30 Pierre-Marie de Rodat New
[Ada] Incorrect static accessibility error in return aggregate [Ada] Incorrect static accessibility error in return aggregate - - - - --- 2020-07-16 Pierre-Marie de Rodat New
[Ada] Incorrect sign extensions on IOCTL system constants - - - - --- 2012-10-29 Arnaud Charlet New
[Ada] Incorrect runtime accessibility check on access discriminant [Ada] Incorrect runtime accessibility check on access discriminant - - - - --- 2020-11-26 Pierre-Marie de Rodat New
[Ada] Incorrect result of equality on multidimensional packed arrays - - - - --- 2016-04-21 Arnaud Charlet New
[Ada] Incorrect parameter mechanism due to convention C_Pass_By_Copy - - - - --- 2012-08-06 Arnaud Charlet New
[Ada] Incorrect iteration over hashed containers after multiple Inserts [Ada] Incorrect iteration over hashed containers after multiple Inserts - - - - --- 2021-07-08 Pierre-Marie de Rodat New
[Ada] Incorrect ineffective use type clause warning [Ada] Incorrect ineffective use type clause warning - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Incorrect handling of type conversion with endianness change - - - - --- 2013-04-11 Arnaud Charlet New
[Ada] Incorrect finalization of build-in-place function result - - - - --- 2012-03-30 Arnaud Charlet New
« 1 2 ... 693 694 695 … 1271 1272 »