Patches

Show patches with: State = Action Required       |    Archived = No   
« 1 2 ... 283 284 285572 573 »
Patch A/R/T S/W/F Date Submitter Delegate State
[Ada] Delete SCIL files in CodePeer mode - - - 0 0 0 2011-08-31 Arnaud Charlet New
[Ada] Delete response file even when link failed - - - 0 0 0 2015-10-27 Arnaud Charlet New
[Ada] Delete symbolic link silently. - - - 0 0 0 2012-06-12 Arnaud Charlet New
[Ada] Dependence clause with multiple parenthesis produces misleading errors - - - 0 0 0 2014-02-06 Arnaud Charlet New
[Ada] Dependencies of virtual extending projects - - - 0 0 0 2011-11-23 Arnaud Charlet New
[Ada] Dependency between System.Finalization_Root and Ada.Streams - - - 0 0 0 2012-04-26 Arnaud Charlet New
[Ada] Dereference correct hash table for a given node array index - - - 0 0 0 2011-08-31 Arnaud Charlet New
[Ada] Dereferences and inferable discriminants - - - 0 0 0 2012-06-12 Arnaud Charlet New
[Ada] Derivation of Ghost types - - - 0 0 0 2016-04-18 Arnaud Charlet New
[Ada] Derivation of untagged private types with discriminants - - - 0 0 0 2010-09-10 Arnaud Charlet New
[Ada] Derived type whose parent has a full view with access discriminants - - - 0 0 0 2014-10-31 Arnaud Charlet New
[Ada] Deriving from formal limited types - - - 0 0 0 2010-10-08 Arnaud Charlet New
[Ada] Detailed exception messages for aliased parameters - - - 0 0 0 2013-07-05 Arnaud Charlet New
[Ada] Detect all derived types as violation of the SPARK restriction - - - 0 0 0 2011-08-31 Arnaud Charlet New
[Ada] Detect array types which belong to ALFA subset - - - 0 0 0 2011-08-03 Arnaud Charlet New
[Ada] Detect generics as violation of the SPARK restriction - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Detect illegal component of dereference of access-to-constant - - - 0 0 0 2014-05-21 Arnaud Charlet New
[Ada] Detect illegal use of unconstrained string type in SPARK mode - - - 0 0 0 2011-09-05 Arnaud Charlet New
[Ada] Detect misplaced 'Result when compiling spec file - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Detect more cases of Long_Float inconsistencies at compile time - - - 0 0 0 2011-11-04 Arnaud Charlet New
[Ada] Detect more cases of possible infinite loops - - - 0 0 0 2012-10-01 Arnaud Charlet New
[Ada] Detect singular matrices in Solve primitives for vectors and matrices. - - - 0 0 0 2016-04-27 Arnaud Charlet New
[Ada] Detect suspicious Contract_Cases instead of Contract_Case - - - 0 0 0 2013-04-12 Arnaud Charlet New
[Ada] Detect useless assignments to parts of objects - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Detection of lingering ignored Ghost code - - - 0 0 0 2015-10-23 Arnaud Charlet New
[Ada] Detection of missing abstract state refinement - - - 0 0 0 2016-04-21 Arnaud Charlet New
[Ada] Diagnose unsupported bit packed arrays - - - 0 0 0 2013-04-23 Arnaud Charlet New
[Ada] Dimensionnality Checking - - - 0 0 0 2011-12-15 Arnaud Charlet New
[Ada] Directly emit binary representation of Vax float - - - 0 0 0 2012-11-06 Arnaud Charlet New
[Ada] Directories are no longer created for abstract projects - - - 0 0 0 2014-10-17 Arnaud Charlet New
[Ada] Disable aggregate expansion in assignments in VM targets - - - 0 0 0 2011-08-03 Arnaud Charlet New
[Ada] Disable assertion in ASIS mode - - - 0 0 0 2013-05-26 Eric Botcazou New
[Ada] Disable symbolic back-annotation of discriminated types - - - 0 0 0 2014-04-14 Eric Botcazou New
[Ada] Disable wrapper for SPARK in the case of External Axiomatization - - - 0 0 0 2015-01-07 Arnaud Charlet New
[Ada] Disabled invariants and preconditions and _Postconditions - - - 0 0 0 2013-04-24 Arnaud Charlet New
[Ada] Disallow Interrupt_Handler and Attach_Handler in generics - - - 0 0 0 2010-10-08 Arnaud Charlet New
[Ada] Discriminant checks on view conversions - - - 0 0 0 2014-01-24 Arnaud Charlet New
[Ada] Discriminant references in aggregates - - - 0 0 0 2010-06-22 Arnaud Charlet New
[Ada] Discriminants and protected units - - - 0 0 0 2015-10-20 Arnaud Charlet New
[Ada] Display correctly directory path names - - - 0 0 0 2014-07-30 Arnaud Charlet New
[Ada] Display executable load address before traceback - - - 0 0 0 2013-10-14 Arnaud Charlet New
[Ada] Division/Rem/Mod work with extended overflow checks - - - 0 0 0 2012-10-01 Arnaud Charlet New
[Ada] Do not apply float conversion checks if expansion not enabled - - - 0 0 0 2013-04-24 Arnaud Charlet New
[Ada] Do not assume that a volatile variable is valid - - - 0 0 0 2014-01-22 Arnaud Charlet New
[Ada] Do not build useless allocators - - - 0 0 0 2010-08-06 Eric Botcazou New
[Ada] Do not call Callback function when switch is dealt with automatically - - - 0 0 0 2011-09-02 Arnaud Charlet New
[Ada] Do not catch exception if _UA_FORCE_UNWIND flag is set. - - - 0 0 0 2011-08-30 Arnaud Charlet New
[Ada] Do not complain about restricted references within defining units - - - 0 0 0 2014-05-21 Arnaud Charlet New
[Ada] Do not create object/exec dir for projects with no sources - - - 0 0 0 2010-10-04 Arnaud Charlet New
[Ada] Do not defer aborts while raising exceptions (ZCX) - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Do not emit empty Exception_Data record in debug info - - - 0 0 0 2011-04-02 Eric Botcazou New
[Ada] Do not emit empty fat pointer types record in debug info - - - 0 0 0 2011-04-02 Eric Botcazou New
[Ada] Do not expand checks in Alfa mode - - - 0 0 0 2011-11-21 Arnaud Charlet New
[Ada] Do not expand dynamic subtypes for expressions in GNATprove_mode - - - 0 0 0 2014-02-24 Arnaud Charlet New
[Ada] Do not fail program when runtime dir cannot be found - - - 0 0 0 2014-07-31 Arnaud Charlet New
[Ada] Do not generate SCO for use clause or rep clause - - - 0 0 0 2011-08-05 Arnaud Charlet New
[Ada] Do not generate bogus lexical block in debug info - - - 0 0 0 2010-09-19 Eric Botcazou New
[Ada] Do not generate both XVS and XVE type - - - 0 0 0 2012-03-25 Eric Botcazou New
[Ada] Do not generate special PARM_DECL in LTO mode - - - 0 0 0 2012-10-22 Eric Botcazou New
[Ada] Do not generate wrong transient scopes for pragma check in ALFA mode - - - 0 0 0 2011-08-05 Arnaud Charlet New
[Ada] Do not inline No_Return procedures in GNATprove mode - - - 0 0 0 2015-10-20 Arnaud Charlet New
[Ada] Do not invoke gnatls unconditionally - - - 0 0 0 2012-12-11 Eric Botcazou New
[Ada] Do not issue warning specific to compilation in GNATprove mode - - - 0 0 0 2014-02-24 Arnaud Charlet New
[Ada] Do not make enumeration types always artificial - - - 0 0 0 2011-04-02 Eric Botcazou New
[Ada] Do not mark array objects as addressable - - - 0 0 0 2011-07-24 Eric Botcazou New
[Ada] Do not mention objects of task or protected type in Alfa section - - - 0 0 0 2011-09-05 Arnaud Charlet New
[Ada] Do not overly promote alignment of local variable - - - 0 0 0 2011-09-25 Eric Botcazou New
[Ada] Do not pass -Werror during linking - - - 0 0 0 2012-02-07 Eric Botcazou New
[Ada] Do not perform a null_exclusion check on 'out' parameters - - - 0 0 0 2010-09-10 Arnaud Charlet New
[Ada] Do not perform expansion of generics even in GNATprove mode - - - 0 0 0 2014-02-19 Arnaud Charlet New
[Ada] Do not perform tagged type expansion in Alfa mode - - - 0 0 0 2011-09-19 Arnaud Charlet New
[Ada] Do not replace Float'Range check by 'Valid - - - 0 0 0 2010-06-22 Arnaud Charlet New
[Ada] Do not require null after label in Ada 2012 mode - - - 0 0 0 2010-09-09 Arnaud Charlet New
[Ada] Do not service entries after a protected function call (with -gnatp). - - - 0 0 0 2014-01-27 Arnaud Charlet New
[Ada] Do not set TREE_THIS_NOTRAP with address clause - - - 0 0 0 2011-06-18 Eric Botcazou New
[Ada] Do not silently drop parallel types - - - 0 0 0 2011-04-22 Eric Botcazou New
[Ada] Do not skip analysis of aspect X when X'Class aspect present (and reverse) - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Do not use secondary stack in some cases - - - 0 0 0 2016-04-20 Arnaud Charlet New
[Ada] Do not use specific stream routines for strings when not available - - - 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Do not warn about unused global declarations - - - 0 0 0 2015-06-19 Eric Botcazou New
[Ada] Do style checks for main subunits - - - 0 0 0 2010-09-10 Arnaud Charlet New
[Ada] Doc clean ups - - - 0 0 0 2010-06-22 Arnaud Charlet New
[Ada] Document check flags use in semantic analysis and expander - - - 0 0 0 2014-01-24 Arnaud Charlet New
[Ada] Document obsolete pragma Propagate_Exceptions - - - 0 0 0 2013-07-05 Arnaud Charlet New
[Ada] Document recognition of : in place of # - - - 0 0 0 2015-01-06 Arnaud Charlet New
[Ada] Document vax float point representation - - - 0 0 0 2012-11-06 Arnaud Charlet New
[Ada] Documentation for GNAT dimensionality checking system - - - 0 0 0 2012-02-08 Arnaud Charlet New
[Ada] Don't allow REASON parameter for pragma Warnings in compiler unit - - - 0 0 0 2013-09-10 Arnaud Charlet New
[Ada] Don't ally Body_With_No_Spec style check to parameterized expressions - - - 0 0 0 2010-10-26 Arnaud Charlet New
[Ada] Don't delete real errors with specific warning control - - - 0 0 0 2013-09-10 Arnaud Charlet New
[Ada] Don't flag No_Obsolescent_Features violations in instances - - - 0 0 0 2012-02-17 Arnaud Charlet New
[Ada] Don't generate RTL in gigi - - - 0 0 0 2010-08-02 Eric Botcazou New
[Ada] Don't unconditionally define _LARGEFILE_SOURCE - - - 0 0 0 2014-08-01 Rainer Orth New
[Ada] Double evaluation in allocator for unconstrained packed array - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Double free in GNAT.Perfect_Hash_Generators.Finalize - - - 0 0 0 2011-08-03 Arnaud Charlet New
[Ada] Dump freeze nodes in pg output - - - 0 0 0 2010-06-17 Arnaud Charlet New
[Ada] Duplicate entries for parameters in gnatxref output - - - 0 0 0 2012-10-29 Arnaud Charlet New
[Ada] Duplicate projects due to symbolic links - - - 0 0 0 2014-02-19 Arnaud Charlet New
[Ada] Duplicate projects not detected - - - 0 0 0 2014-01-24 Arnaud Charlet New
[Ada] Duplicate symbol xxxAM due to anonymous access allocation - - - 0 0 0 2015-05-22 Arnaud Charlet New
« 1 2 ... 283 284 285572 573 »