Patches

Show patches with: State = Action Required       |    Archived = No   
« 1 2 ... 292 293 294595 596 »
Patch A/R/T S/W/F Date Submitter Delegate State
[Ada] Assertion expressions and policy Ignore - - - 0 0 0 2015-05-26 Arnaud Charlet New
[Ada] Assertion policy and postconditions - - - 0 0 0 2014-06-13 Arnaud Charlet New
[Ada] Assertion to detect conflicting alignments in renaming - - - 0 0 0 2011-12-11 Eric Botcazou New
[Ada] Assertions_Policy must be captured at time of aspect specification - - - 0 0 0 2013-04-23 Arnaud Charlet New
[Ada] Assign and Copy do not work for ordered and hashed maps - - - 0 0 0 2014-01-27 Arnaud Charlet New
[Ada] Assignment to a packed component with a change of representation - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Atomic protected types - - - 0 0 0 2012-04-25 Arnaud Charlet New
[Ada] Atomic_Synchronization applies to types as well as variables - - - 0 0 0 2011-11-04 Arnaud Charlet New
[Ada] Attribute 'Max_Size_In_Storage_Elements and controlled types - - - 0 0 0 2011-11-21 Arnaud Charlet New
[Ada] Attribute 'Old should only be used in postconditions - - - 0 0 0 2012-06-26 Arnaud Charlet New
[Ada] Attribute 'Width and pragma Discard_Names - - - 0 0 0 2011-12-20 Arnaud Charlet New
[Ada] Attribute Loop_Entry - - - 0 0 0 2012-11-06 Arnaud Charlet New
[Ada] Attribute Loop_Entry and index check generation - - - 0 0 0 2013-01-04 Arnaud Charlet New
[Ada] Attribute Update - - - 0 0 0 2012-12-05 Arnaud Charlet New
[Ada] Attribute and pragma for lock-free implementation - - - 0 0 0 2012-06-14 Arnaud Charlet New
[Ada] Attributes 'Old and 'Update must preserve the tag of their prefix - - - 0 0 0 2014-11-20 Arnaud Charlet New
[Ada] Attributes of arrays with an index type derived from a formal type - - - 0 0 0 2010-06-23 Arnaud Charlet New
[Ada] Attributes on predicated subtypes - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Automatic deallocation of task upon termination - - - 0 0 0 2011-09-06 Arnaud Charlet New
[Ada] Avoid FE crash processing wrong sources - - - 0 0 0 2011-08-01 Arnaud Charlet New
[Ada] Avoid anonymous array object for aggregates with qualified expressions - - - 0 0 0 2016-06-16 Arnaud Charlet New
[Ada] Avoid dependency of package Atree on package Scil_ll - - - 0 0 0 2010-06-23 Arnaud Charlet New
[Ada] Avoid duplexing of fields in entity nodes (internal change) - - - 0 0 0 2013-01-29 Arnaud Charlet New
[Ada] Avoid duplicating branches in loop conditions - - - 0 0 0 2011-03-21 Eric Botcazou New
[Ada] Avoid duplicating branches in loop conditions - - - 0 0 0 2011-03-21 Eric Botcazou New
[Ada] Avoid generating duplicate debug info for enumerators - - - 0 0 0 2010-09-19 Eric Botcazou New
[Ada] Avoid incorrect detection of duplicate sources that are excluded - - - 0 0 0 2012-05-15 Arnaud Charlet New
[Ada] Avoid incorrect warning on limited with that item is unreferenced - - - 0 0 0 2015-01-07 Arnaud Charlet New
[Ada] Avoid making library-level subprograms public unnecessarily - - - 0 0 0 2010-10-04 Arnaud Charlet New
[Ada] Avoid memory exhaustion when using gnatmake -m - - - 0 0 0 2012-06-12 Arnaud Charlet New
[Ada] Avoid overflow in Table reallocation - - - 0 0 0 2013-01-03 Arnaud Charlet New
[Ada] Avoid overflow in Write_Int - - - 0 0 0 2015-10-20 Arnaud Charlet New
[Ada] Avoid raising an exception in Connect_Socket with timeout - - - 0 0 0 2013-04-11 Arnaud Charlet New
[Ada] Avoid random warnings treated as errors - - - 0 0 0 2014-07-31 Arnaud Charlet New
[Ada] Avoid reading past end of file when checking for BOM - - - 0 0 0 2013-09-10 Arnaud Charlet New
[Ada] Avoid reporting redundant message on inherited subprogram - - - 0 0 0 2011-09-02 Arnaud Charlet New
[Ada] Avoid silly long compilation for Wide_Wide_Character'Width - - - 0 0 0 2010-10-08 Arnaud Charlet New
[Ada] Avoid spurious error reported by the compiler - - - 0 0 0 2013-07-08 Arnaud Charlet New
[Ada] Avoid storage leak in gnatchop - - - 0 0 0 2012-12-05 Arnaud Charlet New
[Ada] Avoid the use of floating point in the front end - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Avoid too large read generated for complex packed array type - - - 0 0 0 2011-03-17 Eric Botcazou New
[Ada] Avoid unchecked conversion of nodes referencing interface tags - - - 0 0 0 2010-10-04 Arnaud Charlet New
[Ada] Avoid uninitialized variable in Pop_End_Context - - - 0 0 0 2013-04-12 Arnaud Charlet New
[Ada] Avoid unnecessarily overaligned access types - - - 0 0 0 2012-08-19 Eric Botcazou New
[Ada] Avoid unnecessary use of Bignums for ELIMINATED mode - - - 0 0 0 2012-10-02 Arnaud Charlet New
[Ada] Avoid unnecessary warnings about address clause alignment - - - 0 0 0 2014-06-13 Arnaud Charlet New
[Ada] Avoid unwanted overflow checks on unconstraint float operations - - - 0 0 0 2014-07-31 Arnaud Charlet New
[Ada] Bad bounds checks on slice of explicit dereference - - - 0 0 0 2010-06-22 Arnaud Charlet New
[Ada] Bad initialization of dynamic tables in gnatname ... --and ... - - - 0 0 0 2010-06-18 Arnaud Charlet New
[Ada] Better control of help message in GNAT.Command_Line - - - 0 0 0 2012-05-15 Arnaud Charlet New
[Ada] Better enforcement of No_Dynamic_Attachment/No_Abort_Statements - - - 0 0 0 2014-02-25 Arnaud Charlet New
[Ada] Better error message for Excluded_Source_List_File - - - 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Better error message for a ** b ** c - - - 0 0 0 2012-03-19 Arnaud Charlet New
[Ada] Better error message for aspect specification without Ada 2012 mode - - - 0 0 0 2013-01-04 Arnaud Charlet New
[Ada] Better error message for illegal Invariant'class aspect - - - 0 0 0 2015-02-20 Arnaud Charlet New
[Ada] Better error message for illegal aspect - - - 0 0 0 2016-04-20 Arnaud Charlet New
[Ada] Better error message for illegal iterator expression - - - 0 0 0 2014-10-17 Arnaud Charlet New
[Ada] Better error message for incorrect instantiations - - - 0 0 0 2013-10-10 Arnaud Charlet New
[Ada] Better error message for misused preprocessor directive - - - 0 0 0 2012-03-19 Arnaud Charlet New
[Ada] Better error recovery for statement used in place of declaration - - - 0 0 0 2015-02-20 Arnaud Charlet New
[Ada] Better error recovery for unparenthesized expression functions - - - 0 0 0 2011-09-05 Arnaud Charlet New
[Ada] Better expansion of short-circuit, conditional expressions - - - 0 0 0 2010-06-18 Arnaud Charlet New
[Ada] Better handling of controlled objects in conditional expressions - - - 0 0 0 2013-10-14 Arnaud Charlet New
[Ada] Better handling of exponentiation range check - - - 0 0 0 2014-01-20 Arnaud Charlet New
[Ada] Better handling of illegal iterators - - - 0 0 0 2012-05-15 Arnaud Charlet New
[Ada] Better handling of invalid switches in GNAT.Command_Line - - - 0 0 0 2015-11-18 Arnaud Charlet New
[Ada] Better handling of variant records with No_Implicit_Conditionals - - - 0 0 0 2014-06-11 Arnaud Charlet New
[Ada] Better implementation for the read/write lock support - - - 0 0 0 2011-09-27 Arnaud Charlet New
[Ada] Better messages for missing entities in configurable runtime - - - 0 0 0 2014-10-17 Arnaud Charlet New
[Ada] Better recovery for misplaced keyword in discriminant specification - - - 0 0 0 2015-10-20 Arnaud Charlet New
[Ada] Better reference information for in out params - - - 0 0 0 2011-08-01 Arnaud Charlet New
[Ada] Better warning for failure to override an abstract operation in an instance - - - 0 0 0 2012-02-17 Arnaud Charlet New
[Ada] Better warnings on Ada95/Ada05 incompatibility with limited types - - - 0 0 0 2010-10-11 Arnaud Charlet New
[Ada] Blank lines in SCO information - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Bogus elaboration warnings on internally-generated finalizers - - - 0 0 0 2012-02-22 Arnaud Charlet New
[Ada] Bounded string slice fails when passed superflat bounds - - - 0 0 0 2015-03-04 Arnaud Charlet New
[Ada] Box associations for components without defaults in aggregates - - - 0 0 0 2011-10-13 Arnaud Charlet New
[Ada] Box associations in record aggregates - - - 0 0 0 2011-10-13 Arnaud Charlet New
[Ada] Box-initialized components of aggregates in allocators - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Bug box on object of derived array type with repped enumeration index - - - 0 0 0 2010-06-17 Arnaud Charlet New
[Ada] Bug with interfaces and limited views - - - 0 0 0 2014-10-23 Arnaud Charlet New
[Ada] Build-in place calls with inherited operations of untagged types - - - 0 0 0 2010-06-17 Arnaud Charlet New
[Ada] Bump copyright year - - - 0 0 0 2015-01-06 Arnaud Charlet New
[Ada] Bump library version number - - - 0 0 0 2011-04-30 Eric Botcazou New
[Ada] C++ types are limited - - - 0 0 0 2011-08-03 Arnaud Charlet New
[Ada] Cache value returned by Is_Compilable - - - 0 0 0 2010-10-18 Arnaud Charlet New
[Ada] Calls to protected operations in pre/postcondition - - - 0 0 0 2014-10-31 Arnaud Charlet New
[Ada] Cannot rename component of Volatile_Full_Access object - - - 0 0 0 2015-05-22 Arnaud Charlet New
[Ada] Case statements over predicated subtypes - - - 0 0 0 2012-05-15 Arnaud Charlet New
[Ada] Case variable from another project in an extended project - - - 0 0 0 2014-10-30 Arnaud Charlet New
[Ada] Catch more redundant conversions with -gnatwr - - - 0 0 0 2010-09-09 Arnaud Charlet New
[Ada] Catch newly illegal case of Unrestricted_Access - - - 0 0 0 2014-07-16 Arnaud Charlet New
[Ada] Change SIGADAABRT to SIGABRT on Darwin - - - 0 0 0 2011-09-19 Arnaud Charlet New
[Ada] Change SPARK_Mode into GNATprove_Mode, and avoid expansion - - - 0 0 0 2014-01-20 Arnaud Charlet New
[Ada] Change approach for control of intermediate overflow checking - - - 0 0 0 2012-11-06 Arnaud Charlet New
[Ada] Change backtrace mechanism for x86/Linux - - - 0 0 0 2010-08-18 Eric Botcazou New
[Ada] Change error message in Ada 2012 mode for misplaced "if" and "case" - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Change error messages on duplicated Contract_Cases - - - 0 0 0 2012-12-05 Arnaud Charlet New
[Ada] Change name Conditional_Expression to If_Expression - - - 0 0 0 2012-10-02 Arnaud Charlet New
[Ada] Change of error message in gnatbind - - - 0 0 0 2010-10-05 Arnaud Charlet New
« 1 2 ... 292 293 294595 596 »