Patches

Show patches with: State = Action Required       |    Archived = No   
« 1 2 ... 292 293 294564 565 »
Patch A/R/T S/W/F Date Submitter Delegate State
[Ada] Pass in Out param with Default_Value aspect - - - 0 0 0 2014-01-25 Eric Botcazou New
[Ada] Passing Stream_Element_Offset/Storage_Offset in heterogeneous DSA apps - - - 0 0 0 2011-08-31 Arnaud Charlet New
[Ada] Passing an object path file to the compiler - - - 0 0 0 2012-04-02 Arnaud Charlet New
[Ada] Patchlet for N_Expression_With_Actions - - - 0 0 0 2013-01-22 Eric Botcazou New
[Ada] Path names of preprocessing data files with spaces - - - 0 0 0 2013-10-14 Arnaud Charlet New
[Ada] Perfect_Hash_Generators cleanup - - - 0 0 0 2010-06-18 Arnaud Charlet New
[Ada] Perform required checks on discriminants read from streams using 'Input - - - 0 0 0 2011-09-02 Arnaud Charlet New
[Ada] Performance of UTC_Time_Offset on Windows - - - 0 0 0 2012-01-23 Arnaud Charlet New
[Ada] Placement and analysis of aspect Contract_Cases - - - 0 0 0 2013-04-24 Arnaud Charlet New
[Ada] Placement of aspect/pragma SPARK_Mode - - - 0 0 0 2013-09-10 Arnaud Charlet New
[Ada] Plug hole with constants used by reference - - - 0 0 0 2012-06-11 Eric Botcazou New
[Ada] Plug small hole in handling of volatile components - - - 0 0 0 2012-10-22 Eric Botcazou New
[Ada] Poor error message on pragma SPARK_Mode - - - 0 0 0 2015-02-05 Arnaud Charlet New
[Ada] Portability improvement for constants related to serial ports - - - 0 0 0 2012-08-06 Arnaud Charlet New
[Ada] Possibly bit aligned objects in assignments - - - 0 0 0 2011-09-02 Arnaud Charlet New
[Ada] Pragma Ada_2012 now allows an argument - - - 0 0 0 2010-10-07 Arnaud Charlet New
[Ada] Pragma Constant_After_Elaboration - - - 0 0 0 2015-10-20 Arnaud Charlet New
[Ada] Pragma Constant_After_Elaboration - - - 0 0 0 2015-10-16 Arnaud Charlet New
[Ada] Pragma Eliminated applied to internal protected subprograms - - - 0 0 0 2010-06-17 Arnaud Charlet New
[Ada] Pragma Independent and Independent_Components - - - 0 0 0 2010-10-08 Arnaud Charlet New
[Ada] Pragma SPARK_Mode and expression functions - - - 0 0 0 2015-10-27 Arnaud Charlet New
[Ada] Pragma Volatile_Function has no effect on subprogram body - - - 0 0 0 2015-10-26 Arnaud Charlet New
[Ada] Pre/Postconditions on generic subprograms - - - 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Preconditions and postconditions on subprogram bodies - - - 0 0 0 2013-01-02 Arnaud Charlet New
[Ada] Predicate checks when Assertion policy is Ignore - - - 0 0 0 2016-05-02 Arnaud Charlet New
[Ada] Predicates on partial views - - - 0 0 0 2014-02-06 Arnaud Charlet New
[Ada] Preelaborable initialization for derived types - - - 0 0 0 2010-10-26 Arnaud Charlet New
[Ada] Preelaboration dependences for Remote_Types and RCI units - - - 0 0 0 2012-07-09 Arnaud Charlet New
[Ada] Prefix of 'Address attribute - - - 0 0 0 2010-10-05 Arnaud Charlet New
[Ada] Prefixed calls as generic actuals - - - 0 0 0 2011-08-30 Arnaud Charlet New
[Ada] Preliminary work for Default_[Component_]Value (AI 228) - - - 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Preliminary work for aspect Unimplemented - - - 0 0 0 2015-03-13 Arnaud Charlet New
[Ada] Preliminary work for enlarging nodes - - - 0 0 0 2012-03-19 Arnaud Charlet New
[Ada] Preliminary work for new restriction No_Use_Of_Entity - - - 0 0 0 2015-01-06 Arnaud Charlet New
[Ada] Preliminary work to coordinate Pragma Warnings and middle-end warnings - - - 0 0 0 2013-02-06 Arnaud Charlet New
[Ada] Preliminary work to implement pragma Loop_Optimize - - - 0 0 0 2013-02-06 Arnaud Charlet New
[Ada] Preliminary work to support ARM unwinder - - - 0 0 0 2014-01-20 Arnaud Charlet New
[Ada] Preliminary work to support SEH on Windows 64 - - - 0 0 0 2012-06-12 Arnaud Charlet New
[Ada] Premature finalization leads to wrong short circuit result - - - 0 0 0 2015-10-16 Arnaud Charlet New
[Ada] Premature finalization when iterating over containers - - - 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Premature finalization when iterating over containers - - - 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Premature freezing when building dispatch tables - - - 0 0 0 2011-08-03 Arnaud Charlet New
[Ada] Preparatory work for solving exponentiation problem - - - 0 0 0 2015-05-26 Arnaud Charlet New
[Ada] Prepare for implementation of Predicate aspect - - - 0 0 0 2010-10-21 Arnaud Charlet New
[Ada] Preserve Taft Amendment types in debug info - - - 0 0 0 2011-04-02 Eric Botcazou New
[Ada] Preserve unconstrained array types in debug info - - - 0 0 0 2011-04-02 Eric Botcazou New
[Ada] Prevent expansion of array aggregates in formal verification mode - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Prevent generation of gotos during inlining for GNATprove - - - 0 0 0 2014-10-30 Arnaud Charlet New
[Ada] Prevent mispelling error messages - - - 0 0 0 2012-07-09 Arnaud Charlet New
[Ada] Prevent use of attribute definitions for renamings - - - 0 0 0 2011-12-20 Arnaud Charlet New
[Ada] Primitive equality for composite types - - - 0 0 0 2010-10-07 Arnaud Charlet New
[Ada] Primitive operations of formals when actual is class-wide - - - 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Primitive operations of incomplete types - - - 0 0 0 2014-07-18 Arnaud Charlet New
[Ada] Private type as actual in generic RCI - - - 0 0 0 2010-09-10 Arnaud Charlet New
[Ada] Private with-clauses in the context of generic package declarations - - - 0 0 0 2012-05-15 Arnaud Charlet New
[Ada] Problems with type invariant aspects - - - 0 0 0 2014-10-17 Arnaud Charlet New
[Ada] Process entry, protected and task bodies in ASIS mode. - - - 0 0 0 2015-11-24 Eric Botcazou New
[Ada] Program_Unit pragmas in generic units are inherited by instances - - - 0 0 0 2011-09-02 Arnaud Charlet New
[Ada] Project in limited withed chain reported as duplicate - - - 0 0 0 2012-10-02 Arnaud Charlet New
[Ada] Project manager should accept Ada 05 reserved words as identifiers - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Project_Dir should not modify the case of its path name - - - 0 0 0 2012-10-04 Arnaud Charlet New
[Ada] Propagate TREE_THIS_NOTRAP flag - - - 0 0 0 2011-06-06 Eric Botcazou New
[Ada] Proper aspect placement for package declaratios/instantiations - - - 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Proper detection of errors in variant choices - - - 0 0 0 2013-10-10 Arnaud Charlet New
[Ada] Proper handling of Has_Element in user-defined iterators - - - 0 0 0 2011-12-21 Arnaud Charlet New
[Ada] Proper handling of Raise_Expression nodes in Ada 2012 - - - 0 0 0 2014-02-20 Arnaud Charlet New
[Ada] Proper handling of aspects on a compilation unit package instance - - - 0 0 0 2013-09-10 Arnaud Charlet New
[Ada] Proper handling of meaningless size clauses - - - 0 0 0 2012-07-09 Arnaud Charlet New
[Ada] Proper handling of packed array of small record with reverse SSO - - - 0 0 0 2014-05-21 Arnaud Charlet New
[Ada] Proper implementation of interfacing aspects. - - - 0 0 0 2012-06-12 Arnaud Charlet New
[Ada] Proper placement and analysis of aspects/pragmas Depends and Global - - - 0 0 0 2013-04-23 Arnaud Charlet New
[Ada] Properly check violations of machine scalar rules - - - 0 0 0 2010-10-26 Arnaud Charlet New
[Ada] Properly delay Address aspect - - - 0 0 0 2010-10-11 Arnaud Charlet New
[Ada] Properly detect passing volatile A.B to non-volatile formal - - - 0 0 0 2011-11-21 Arnaud Charlet New
[Ada] Properly initialize aggregated projects to compute dependencies - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Properly initialize value of global variable Unit_Casing before use - - - 0 0 0 2013-04-24 Arnaud Charlet New
[Ada] Properly recognize NEL as end of line in UTF-8 encoding mode - - - 0 0 0 2011-11-21 Arnaud Charlet New
[Ada] Protect against potentially uninitialized source information - - - 0 0 0 2014-01-24 Arnaud Charlet New
[Ada] Protect generation of Alfa sections in ALI files against empty node - - - 0 0 0 2012-03-30 Arnaud Charlet New
[Ada] Protected and task units in SPARK - - - 0 0 0 2015-10-26 Arnaud Charlet New
[Ada] Protected extension as full type for limited private rejected - - - 0 0 0 2011-09-06 Arnaud Charlet New
[Ada] Protected objects with interrupt handlers are legal in nested scopes - - - 0 0 0 2012-08-06 Arnaud Charlet New
[Ada] Put imported spec in ALI file when body is not found - - - 0 0 0 2011-08-03 Arnaud Charlet New
[Ada] Qualified expressions and Code statements in Ada 2012 - - - 0 0 0 2011-10-13 Arnaud Charlet New
[Ada] Quantified expressions and functions with side effects - - - 0 0 0 2012-03-30 Arnaud Charlet New
[Ada] Quantified expressions in pre/postconditions and other contexts - - - 0 0 0 2010-10-26 Arnaud Charlet New
[Ada] RFA: Add some "missing" integer_one_node conversions - - - 0 0 0 2014-05-10 Richard Sandiford New
[Ada] Race condition in Make_Independent - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Race condition in allocator with finalization - - - 0 0 0 2016-05-02 Arnaud Charlet New
[Ada] Raise Program_Error on default initialization of references - - - 0 0 0 2015-05-22 Arnaud Charlet New
[Ada] Raise_Expression in membership test causes test to fail - - - 0 0 0 2013-04-11 Arnaud Charlet New
[Ada] Re-enable -feliminate-unused-debug-types by default - - - 0 0 0 2011-04-02 Gerald Pfeifer New
[Ada] Re-enable -feliminate-unused-debug-types by default - - - 0 0 0 2011-04-02 Eric Botcazou New
[Ada] Read references in ali files for out-mode parameters - - - 0 0 0 2013-02-06 Arnaud Charlet New
[Ada] Recognize HIDE directive in SPARK as special comment - - - 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Recompile if ALI file newer than object file - - - 0 0 0 2010-10-04 Arnaud Charlet New
[Ada] Recompile when a dependency has been replaced with another file name - - - 0 0 0 2010-10-07 Arnaud Charlet New
[Ada] Record fatal errors in tree even in -gnatq/Q mode - - - 0 0 0 2015-02-05 Arnaud Charlet New
[Ada] Record original expression associated with actual subtypes - - - 0 0 0 2010-06-22 Arnaud Charlet New
[Ada] Redefine FD_SETSIZE before including system headers - - - 0 0 0 2011-12-12 Arnaud Charlet New
« 1 2 ... 292 293 294564 565 »