Patches

Show patches with: State = Action Required       |    Archived = No   
« 1 2 ... 314 315 316617 618 »
Patch A/R/T S/W/F Date Submitter Delegate State
[Ada] Handle WHEN used in place of WITH nicely - - - 0 0 0 2015-02-05 Arnaud Charlet New
[Ada] Handle alignment for controlled objects - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Handle compilation unit specific restrictions for subunits - - - 0 0 0 2012-01-23 Arnaud Charlet New
[Ada] Handle constraint error in vector when large index type - - - 0 0 0 2013-10-17 Arnaud Charlet New
[Ada] Handle delay of Pre/Post and inherited Pre'Class - - - 0 0 0 2010-10-18 Arnaud Charlet New
[Ada] Handle inherited postconditions (AI05-0145) - - - 0 0 0 2010-10-12 Arnaud Charlet New
[Ada] Handle initialization of array aggregate with <> component - - - 0 0 0 2013-10-14 Arnaud Charlet New
[Ada] Handle limited line length for enumeration put (AI2012-R036) - - - 0 0 0 2011-10-24 Arnaud Charlet New
[Ada] Handle new inequality errors in Ada 2012 more completely - - - 0 0 0 2014-01-22 Arnaud Charlet New
[Ada] Handle non-default C++ constructor call of non-tagged type - - - 0 0 0 2011-09-01 Arnaud Charlet New
[Ada] Handle others better for string aggregates - - - 0 0 0 2013-04-11 Arnaud Charlet New
[Ada] Handle range check for float Pre/Succ attributes - - - 0 0 0 2014-06-13 Arnaud Charlet New
[Ada] Handle some warning situations with Address aspect - - - 0 0 0 2013-10-10 Arnaud Charlet New
[Ada] Handling of (illegal) null record unchecked union - - - 0 0 0 2012-06-12 Arnaud Charlet New
[Ada] Handling of -vPx with incorrect x - - - 0 0 0 2012-10-01 Arnaud Charlet New
[Ada] Handling of Default_Storage_Pool in generics and instantiations. - - - 0 0 0 2014-10-31 Arnaud Charlet New
[Ada] Handling of Invariant aspect on type completions - - - 0 0 0 2012-10-05 Arnaud Charlet New
[Ada] Handling of SPARK aspects/pragmas on subprogram body stubs - - - 0 0 0 2014-02-25 Arnaud Charlet New
[Ada] Handling of all-digits host names - - - 0 0 0 2016-06-20 Arnaud Charlet New
[Ada] Handling of attribute definition clauses for ASIS with GNSA - - - 0 0 0 2016-05-02 Arnaud Charlet New
[Ada] Handling of child instances within a sibling - - - 0 0 0 2010-09-09 Arnaud Charlet New
[Ada] Handling of deferred references with nested prefixed calls - - - 0 0 0 2014-05-21 Arnaud Charlet New
[Ada] Handling of function calls to predefined operators in ASIS - - - 0 0 0 2014-11-20 Arnaud Charlet New
[Ada] Handling of generalized indexing in ASIS - - - 0 0 0 2014-02-24 Arnaud Charlet New
[Ada] Handling of implicit dereference in instantiations - - - 0 0 0 2014-10-31 Arnaud Charlet New
[Ada] Handling of implicit dereferences in generic units. - - - 0 0 0 2010-06-14 Arnaud Charlet New
[Ada] Handling of library unit renamings in with_clauses - - - 0 0 0 2012-02-22 Arnaud Charlet New
[Ada] Handling of null refinements in aspect/pragma Refined_Global - - - 0 0 0 2013-10-14 Arnaud Charlet New
[Ada] Handling of object declarations with aggregates and specified alignment. - - - 0 0 0 2015-05-12 Arnaud Charlet New
[Ada] Handling of overloaded indexing functions - - - 0 0 0 2015-11-13 Arnaud Charlet New
[Ada] Handling of pragma Preelaborable_Initialization for generic types - - - 0 0 0 2010-10-22 Arnaud Charlet New
[Ada] Handling of predicate type errors in generics - - - 0 0 0 2010-10-22 Arnaud Charlet New
[Ada] Heap objects constrained by their initial value - - - 0 0 0 2010-06-14 Arnaud Charlet New
[Ada] Help the backend to identify safe-to-reevaluate variables - - - 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Hidden state detection - - - 0 0 0 2013-04-25 Arnaud Charlet New
[Ada] Housekeeping work in gigi - - - 0 0 0 2016-01-18 Eric Botcazou New
[Ada] Housekeeping work in gigi - - - 0 0 0 2015-09-14 Eric Botcazou New
[Ada] Housekeeping work in gigi - - - 0 0 0 2015-06-26 Eric Botcazou New
[Ada] Housekeeping work in gigi (29/n) - - - 0 0 0 2010-09-19 Eric Botcazou New
[Ada] Housekeeping work in gigi (30/n) - - - 0 0 0 2010-10-09 Eric Botcazou New
[Ada] Housekeeping work in gigi (31/n) - - - 0 0 0 2011-07-24 Eric Botcazou New
[Ada] Housekeeping work in gigi (32/n) - - - 0 0 0 2011-08-30 Eric Botcazou New
[Ada] Housekeeping work in gigi (33/n) - - - 0 0 0 2011-09-11 Eric Botcazou New
[Ada] Housekeeping work in gigi (34/n) - - - 0 0 0 2011-09-11 Eric Botcazou New
[Ada] Housekeeping work in gigi (35/n) - - - 0 0 0 2011-09-11 Eric Botcazou New
[Ada] Housekeeping work in gigi (36/n) - - - 0 0 0 2011-09-25 Eric Botcazou New
[Ada] Housekeeping work in gigi (37/n) - - - 0 0 0 2011-09-26 Eric Botcazou New
[Ada] Housekeeping work in gigi (38/n) - - - 0 0 0 2011-09-26 Eric Botcazou New
[Ada] Housekeeping work in gigi (39/n) - - - 0 0 0 2011-10-12 Eric Botcazou New
[Ada] Housekeeping work in gigi (40/n) - - - 0 0 0 2011-10-20 Eric Botcazou New
[Ada] Housekeeping work in gigi (41/n) - - - 0 0 0 2011-11-20 Eric Botcazou New
[Ada] Housekeeping work in gigi (bis) - - - 0 0 0 2016-01-18 Eric Botcazou New
[Ada] If-expressions and the capture of local values - - - 0 0 0 2013-04-11 Arnaud Charlet New
[Ada] Ignore Optimize_Alignment (Space) for packed variable length record - - - 0 0 0 2012-10-29 Arnaud Charlet New
[Ada] Ignore Optimize_Alignment (Space) for packed variable length record - - - 0 0 0 2012-10-29 Arnaud Charlet New
[Ada] Ignore pragmas Inline/Inline_Always in GNATprove mode - - - 0 0 0 2014-10-23 Arnaud Charlet New
[Ada] Ignore pragmas when looking for unreachable code - - - 0 0 0 2012-04-26 Arnaud Charlet New
[Ada] Ignore references to renamed Standard constants in Alfa mode - - - 0 0 0 2011-09-19 Arnaud Charlet New
[Ada] Illegal call on abstract operator - - - 0 0 0 2011-12-12 Arnaud Charlet New
[Ada] Illegal calls in entry call alternatives - - - 0 0 0 2012-11-06 Arnaud Charlet New
[Ada] Illegal component clause for inherited component in extension - - - 0 0 0 2013-01-03 Arnaud Charlet New
[Ada] Illegal constituent in state refinement - - - 0 0 0 2013-10-17 Arnaud Charlet New
[Ada] Illegal declarations of deferred constants - - - 0 0 0 2014-10-23 Arnaud Charlet New
[Ada] Illegal external aspects not detected - - - 0 0 0 2014-07-30 Arnaud Charlet New
[Ada] Illegal forward reference in pragma Postcondition - - - 0 0 0 2013-01-02 Arnaud Charlet New
[Ada] Illegal iterators over arrays - - - 0 0 0 2011-09-05 Arnaud Charlet New
[Ada] Illegal overriding indicators not flagged for procedure named Initialize - - - 0 0 0 2016-10-12 Arnaud Charlet New
[Ada] Illegal prefix in array attributes - - - 0 0 0 2013-01-02 Arnaud Charlet New
[Ada] Illegal program not detected, self renames, PR15846 - - - 0 0 0 2012-01-24 Arnaud Charlet New
[Ada] Illegal program not detected, self renames, PR15846 - - - 0 0 0 2012-01-11 coopht@gmail.com New
[Ada] Illegal program not detected, self renames, PR15846 - - - 0 0 0 2012-01-11 coopht@gmail.com New
[Ada] Illegal selected components of types derived from private types - - - 0 0 0 2013-04-25 Arnaud Charlet New
[Ada] Illegal tagged completion of private type with discriminant and default - - - 0 0 0 2010-10-21 Arnaud Charlet New
[Ada] Illegal use of SPARK volatile object not detected - - - 0 0 0 2014-02-25 Arnaud Charlet New
[Ada] Illegal use of current instance in attribute reference - - - 0 0 0 2016-04-20 Arnaud Charlet New
[Ada] Illegal use of type name in a context where it is not a current instance. - - - 0 0 0 2016-04-19 Arnaud Charlet New
[Ada] Imaging of arbitrary precision integers - - - 0 0 0 2012-05-15 Arnaud Charlet New
[Ada] Immutably limited types - - - 0 0 0 2010-10-08 Arnaud Charlet New
[Ada] Implement -gnat-p switch (cancel previous -gnatp) - - - 0 0 0 2010-06-16 Arnaud Charlet New
[Ada] Implement -gnatd.k to suppress internal line numbers - - - 0 0 0 2015-05-26 Arnaud Charlet New
[Ada] Implement -gnatyC for one space after -- in comments - - - 0 0 0 2011-08-05 Arnaud Charlet New
[Ada] Implement AI05-0086-1 (consider null exclusion for static matching) - - - 0 0 0 2010-10-19 Arnaud Charlet New
[Ada] Implement AI05-0151 (incomplete types in profiles) in gigi - - - 0 0 0 2016-04-27 Eric Botcazou New
[Ada] Implement AI05-117 (memory barriers and volatile objects) - - - 0 0 0 2011-11-10 Eric Botcazou New
[Ada] Implement AI12-0022 (raise expression) - - - 0 0 0 2013-04-11 Arnaud Charlet New
[Ada] Implement Ada 2012 AI-0177 Parametrized Expressions - - - 0 0 0 2010-10-07 Arnaud Charlet New
[Ada] Implement Ada 2012 Assertion_Policy pragma - - - 0 0 0 2013-04-12 Arnaud Charlet New
[Ada] Implement Ada 2012 attributes First_Valid and Last_Valid - - - 0 0 0 2012-03-15 Arnaud Charlet New
[Ada] Implement Ada.Strings.UTF_Encoding - - - 0 0 0 2010-06-23 Arnaud Charlet New
[Ada] Implement Atomic_Synchronization pragmas - - - 0 0 0 2011-10-24 Arnaud Charlet New
[Ada] Implement Disable policy for Check/Debug_Policy - - - 0 0 0 2011-08-05 Arnaud Charlet New
[Ada] Implement Ekind_In in compiler - - - 0 0 0 2010-06-17 Arnaud Charlet New
[Ada] Implement Ghost entities - - - 0 0 0 2015-05-26 Arnaud Charlet New
[Ada] Implement Ghost entities - - - 0 0 0 2014-10-31 Arnaud Charlet New
[Ada] Implement In Out and Out parameters for functions - - - 0 0 0 2010-10-25 Eric Botcazou New
[Ada] Implement Input/Output/Read/Write aspects - - - 0 0 0 2010-10-18 Arnaud Charlet New
[Ada] Implement Invariant aspect and pragma - - - 0 0 0 2010-10-19 Arnaud Charlet New
[Ada] Implement NRV optimization in gigi - - - 0 0 0 2011-10-07 Eric Botcazou New
[Ada] Implement No_Default_Stream_Attributes restriction (AI05-0161-1/02) - - - 0 0 0 2010-10-18 Arnaud Charlet New
[Ada] Implement No_Implementation_Identifiers/Extensions - - - 0 0 0 2011-09-06 Arnaud Charlet New
« 1 2 ... 314 315 316617 618 »