Patches

Show patches with: State = Action Required       |    Archived = No   
« 1 2 ... 283 284 285595 596 »
Patch A/R/T S/W/F Date Submitter Delegate State
[Ada] Spurious errors on aggregates in instances - - - 0 0 0 2011-08-31 Arnaud Charlet New
[Ada] Spurious error with predicate on type derived from unconstrained array - - - 0 0 0 2016-06-22 Arnaud Charlet New
[Ada] Spurious error with overloaded operation and exponention operand - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Spurious error on withed Ghost unit - - - 0 0 0 2016-07-06 Arnaud Charlet New
[Ada] Spurious error on variable in private child package body - - - 0 0 0 2016-04-27 Arnaud Charlet New
[Ada] Spurious error on local instantiation of pure generic unit - - - 0 0 0 2014-10-10 Arnaud Charlet New
[Ada] Spurious error on legal use of abstract state constituent - - - 0 0 0 2015-10-27 Arnaud Charlet New
[Ada] Spurious error on derived type with unknown discriminants and predicate - - - 0 0 0 2016-06-22 Arnaud Charlet New
[Ada] Spurious error on container instantiation with predicated array type - - - 0 0 0 2016-07-06 Arnaud Charlet New
[Ada] Spurious error on container "of" loop - - - 0 0 0 2016-05-02 Arnaud Charlet New
[Ada] Spurious error on component clause in generic unit - - - 0 0 0 2014-10-31 Arnaud Charlet New
[Ada] Spurious error on binary operator in instance - - - 0 0 0 2016-04-20 Arnaud Charlet New
[Ada] Spurious error on SPARK_Mode in generic package instantiation - - - 0 0 0 2015-10-16 Arnaud Charlet New
[Ada] Spurious error in instantiation of formal package with attribute - - - 0 0 0 2015-10-20 Arnaud Charlet New
[Ada] Spurious error in if_expression with universal then_expression - - - 0 0 0 2016-04-20 Arnaud Charlet New
[Ada] Spurious error in case expression of static predicate subtype - - - 0 0 0 2013-04-11 Arnaud Charlet New
[Ada] Spurious elaboration warning on added postcondition call - - - 0 0 0 2014-08-04 Arnaud Charlet New
[Ada] Spurious duplicate Default_Iterator error - - - 0 0 0 2015-10-26 Arnaud Charlet New
[Ada] Spurious discriminant error on aggregate for derived type - - - 0 0 0 2016-04-20 Arnaud Charlet New
[Ada] Spurious discriminant check on type with unknown discriminants - - - 0 0 0 2016-04-20 Arnaud Charlet New
[Ada] Spurious dimensionality errors on multitidimensional aggregates. - - - 0 0 0 2016-04-27 Arnaud Charlet New
[Ada] Spurious conformance error with instance and child unit - - - 0 0 0 2014-10-23 Arnaud Charlet New
[Ada] Spurious ambiguity in instances - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Spurious End_Error with Get_Line on strings without line terminators - - - 0 0 0 2016-04-27 Arnaud Charlet New
[Ada] Split PRE/POST expressions into AND THEN sections - - - 0 0 0 2010-10-12 Arnaud Charlet New
[Ada] Speed up parser for handling of aspect specifications - - - 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Speed up memory management - - - 0 0 0 2016-05-02 Arnaud Charlet New
[Ada] Speed up build of gnatools - - - 0 0 0 2011-09-06 Arnaud Charlet New
[Ada] Speed up 'Count attribute on Windows - - - 0 0 0 2011-12-12 Arnaud Charlet New
[Ada] Specify priority of protected type Queue - - - 0 0 0 2011-10-15 Arnaud Charlet New
[Ada] Special expansion in ALFA for pragma check/precondition/postcondition - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Special error message for 'Range used as integer type definition - - - 0 0 0 2012-02-22 Arnaud Charlet New
[Ada] Special cross references in ALFA mode for constants and formals - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Special case for case expression alternative moved in caller - - - 0 0 0 2012-10-29 Arnaud Charlet New
[Ada] Special case dup2() on Windows - - - 0 0 0 2011-11-21 Arnaud Charlet New
[Ada] Spawning processes with no PATH - - - 0 0 0 2015-10-26 Arnaud Charlet New
[Ada] Source location of generated nodes for To_Any calls - - - 0 0 0 2012-10-29 Arnaud Charlet New
[Ada] Source in multi-unit source has unique object file name - - - 0 0 0 2014-11-20 Arnaud Charlet New
[Ada] Some is reserved in Ada 2012 - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Small tweak to type derivation machinery - - - 0 0 0 2012-05-26 Eric Botcazou New
[Ada] Small tweak to signal handling code - - - 0 0 0 2012-02-22 Arnaud Charlet New
[Ada] Small tweak to recent change - - - 0 0 0 2011-09-27 Arnaud Charlet New
[Ada] Small tweak to help GDB to display labels - - - 0 0 0 2012-01-27 Eric Botcazou New
[Ada] Small tweak to help GDB to display aliased dynamic array - - - 0 0 0 2012-01-27 Eric Botcazou New
[Ada] Small tweak to help GDB to display aliased dynamic array - - - 0 0 0 2012-02-27 Eric Botcazou New
[Ada] Small tweak to gigi - - - 0 0 0 2011-12-11 Eric Botcazou New
[Ada] Small tweak to 'for' loop translation - - - 0 0 0 2010-12-13 Eric Botcazou New
[Ada] Small tweak in LTO mode - - - 0 0 0 2016-07-11 Eric Botcazou New
[Ada] Small gigi tweaks - - - 0 0 0 2011-03-23 Eric Botcazou New
[Ada] Small fixes to Eliminated overflow mode - - - 0 0 0 2012-10-02 Arnaud Charlet New
[Ada] Small enhancement to unchecked conversion warning in -gnatf mode - - - 0 0 0 2015-05-22 Arnaud Charlet New
[Ada] Small cleanup in gigi - - - 0 0 0 2016-04-27 Eric Botcazou New
[Ada] Small cleanup in array aggregate handling code - - - 0 0 0 2014-07-29 Arnaud Charlet New
[Ada] Small cleanup in Safe_Prefixed_Reference - - - 0 0 0 2011-09-27 Arnaud Charlet New
[Ada] Small adjustments in handling of subprograms - - - 0 0 0 2016-06-06 Eric Botcazou New
[Ada] Small adjustment to return construct - - - 0 0 0 2014-11-24 Eric Botcazou New
[Ada] Small adjustment in gigi - - - 0 0 0 2010-09-19 Eric Botcazou New
[Ada] Small adjustment for platforms using SEH - - - 0 0 0 2013-01-22 Eric Botcazou New
[Ada] Slices of parameterless calls - - - 0 0 0 2014-10-20 Arnaud Charlet New
[Ada] Skip unneeded expansion for Alfa mode - - - 0 0 0 2012-08-06 Arnaud Charlet New
[Ada] Skip special expansion in Alfa mode - - - 0 0 0 2012-08-06 Arnaud Charlet New
[Ada] Skip frontend when option -gnatd.H is present - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Skip derived types treatment for subprogram types - - - 0 0 0 2015-02-08 Eric Botcazou New
[Ada] Size should be zero for null range discrete subtype - - - 0 0 0 2015-05-22 Arnaud Charlet New
[Ada] Single protected declaration transformation guarantee - - - 0 0 0 2015-10-26 Arnaud Charlet New
[Ada] Simultaneous compilations and -gnateG - - - 0 0 0 2010-10-04 Arnaud Charlet New
[Ada] Simultaneous compilations and -gnateG - - - 0 0 0 2010-10-04 Arnaud Charlet New
[Ada] Simplify expansion of conditional expressions - - - 0 0 0 2010-06-18 Arnaud Charlet New
[Ada] Simplify binder code - - - 0 0 0 2012-05-15 Arnaud Charlet New
[Ada] Simplify Propagate_Exception - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Simplify Get_Target_Prefix in mlib-tgt-specific-xi.adb - - - 0 0 0 2011-12-12 Arnaud Charlet New
[Ada] Shorter display for shared library building - - - 0 0 0 2010-06-22 Arnaud Charlet New
[Ada] Short_Integer should be considered implementation defined - - - 0 0 0 2014-10-17 Arnaud Charlet New
[Ada] Shared libraries not linked with Rpath when -R is used - - - 0 0 0 2013-10-10 Arnaud Charlet New
[Ada] Shadow entity of class-wide types - - - 0 0 0 2015-05-12 Arnaud Charlet New
[Ada] Set_Command_Line: improve handling of grouped switches with parameters - - - 0 0 0 2011-08-03 Arnaud Charlet New
[Ada] Set up alternative signal stack for PowerPC Linux - - - 0 0 0 2010-06-14 Arnaud Charlet New
[Ada] Set the flag In_Assertion_Expr during analysis of assertion expressions - - - 0 0 0 2012-10-01 Arnaud Charlet New
[Ada] Set task name under Linux - - - 0 0 0 2012-03-07 Arnaud Charlet New
[Ada] Set special options for ALFA mode (formal verification) - - - 0 0 0 2011-08-05 Arnaud Charlet New
[Ada] Set pthread names on OpenVMS - - - 0 0 0 2012-03-07 Arnaud Charlet New
[Ada] Set proper context for encapsulated aggregate libraries - - - 0 0 0 2012-02-08 Arnaud Charlet New
[Ada] Set overflow check mode to STRICT in Alfa mode, unless set already - - - 0 0 0 2012-12-05 Arnaud Charlet New
[Ada] Set function_start_locus in gigi - - - 0 0 0 2014-05-18 Eric Botcazou New
[Ada] Set TYPE_CANONICAL in copy_type - - - 0 0 0 2015-06-03 Eric Botcazou New
[Ada] Set Entity for a created Identifier Node - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Serial port flow control support - - - 0 0 0 2012-08-06 Arnaud Charlet New
[Ada] Send gnatls/gnatcmd verbose diagnostics to stderr - - - 0 0 0 2011-12-21 Arnaud Charlet New
[Ada] Semantics of equality renaming in Ada2012 - - - 0 0 0 2010-09-09 Arnaud Charlet New
[Ada] Semantics of attribute 'Old in aspect/pragma Contract_Cases - - - 0 0 0 2014-02-19 Arnaud Charlet New
[Ada] Semantically analyze source aspect in ASIS mode - - - 0 0 0 2011-11-04 Arnaud Charlet New
[Ada] Semantic checks on iterator specifications. - - - 0 0 0 2014-01-24 Arnaud Charlet New
[Ada] Selectively inline subprograms in GNATprove mode - - - 0 0 0 2014-07-29 Arnaud Charlet New
[Ada] Secondary stack usage and operators that rename functions - - - 0 0 0 2010-06-23 Arnaud Charlet New
[Ada] Secondary stack leak for call returning limited discriminated object - - - 0 0 0 2014-07-17 Arnaud Charlet New
[Ada] Scalar_Storage_Order consistency for nested composites - - - 0 0 0 2013-10-17 Arnaud Charlet New
[Ada] Save/restore value of pragma Normalize_Scalars - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Save/restore value of pragma Normalize_Scalars - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Save occurrence on the stack before calling last chance handler - - - 0 0 0 2012-05-15 Arnaud Charlet New
[Ada] Satisfy representation invariants in operation Move - - - 0 0 0 2011-11-20 Arnaud Charlet New
« 1 2 ... 283 284 285595 596 »