Patches

Show patches with: State = Action Required   
« 1 2 ... 274 275 276556 557 »
Patch A/R/T S/W/F Date Submitter Delegate State
[Ada] Crash on configuration pragma Check_Policy. - - - 0 0 0 2016-04-20 Arnaud Charlet New
[Ada] Crash on constant declaration with variable size with generics - - - 0 0 0 2014-01-22 Arnaud Charlet New
[Ada] Crash on conversion to derived private type with invisible discriminants - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Crash on derivation of tagged private type with discriminants - - - 0 0 0 2010-06-22 Arnaud Charlet New
[Ada] Crash on entry call with limited view of synchronized object - - - 0 0 0 2014-08-04 Arnaud Charlet New
[Ada] Crash on entry call with preconditions and access parameters - - - 0 0 0 2014-08-01 Arnaud Charlet New
[Ada] Crash on folded operator with universal operands in functional form - - - 0 0 0 2010-06-22 Arnaud Charlet New
[Ada] Crash on function returning limited view of class-wide type - - - 0 0 0 2015-11-18 Arnaud Charlet New
[Ada] Crash on generic instance with class-wide actual - - - 0 0 0 2014-08-01 Arnaud Charlet New
[Ada] Crash on illegal discrete range - - - 0 0 0 2014-07-31 Arnaud Charlet New
[Ada] Crash on illegal program with -gnatf. - - - 0 0 0 2015-10-16 Arnaud Charlet New
[Ada] Crash on illegal selected component in synchronized body. - - - 0 0 0 2015-11-12 Arnaud Charlet New
[Ada] Crash on illegal use of limited view of classwide type - - - 0 0 0 2015-11-18 Arnaud Charlet New
[Ada] Crash on illegal use of limited view of type - - - 0 0 0 2016-04-27 Arnaud Charlet New
[Ada] Crash on inconsistent IF-expression - - - 0 0 0 2015-11-12 Arnaud Charlet New
[Ada] Crash on private enumeration type when compiling with -gnatVa - - - 0 0 0 2012-07-23 Arnaud Charlet New
[Ada] Crash on processing external property - - - 0 0 0 2014-02-06 Arnaud Charlet New
[Ada] Crash on quantified expressions containing 'Old in postconditions - - - 0 0 0 2011-08-31 Arnaud Charlet New
[Ada] Crash on transient classwide limited view on RHS of short-circuit - - - 0 0 0 2014-07-16 Arnaud Charlet New
[Ada] Crash on unconstrained unchecked union declaration - - - 0 0 0 2014-10-20 Arnaud Charlet New
[Ada] Crash on use of 'Old - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Crash overriding the equality operator - - - 0 0 0 2010-06-22 Arnaud Charlet New
[Ada] Crash processing nested aggregate in constant declaration - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Crash processing private type whose parent is an interface type - - - 0 0 0 2010-09-09 Arnaud Charlet New
[Ada] Crash when processing attribute Loop_Entry - - - 0 0 0 2013-02-06 Arnaud Charlet New
[Ada] Crash while processing illegal state refinement - - - 0 0 0 2014-07-17 Arnaud Charlet New
[Ada] Crash with big strings in System.OS_Lib.Normalize_Pathname - - - 0 0 0 2014-01-29 Arnaud Charlet New
[Ada] Create the Find_Name_In_Path helper - - - 0 0 0 2011-11-04 Arnaud Charlet New
[Ada] Cross-Reference information for build-in-place objects - - - 0 0 0 2010-09-10 Arnaud Charlet New
[Ada] Cross-reference information for expression functions that are completions - - - 0 0 0 2012-02-22 Arnaud Charlet New
[Ada] DSA code generation reorganization - - - 0 0 0 2011-09-19 Arnaud Charlet New
[Ada] DSA helpers for tagged types - - - 0 0 0 2010-10-05 Arnaud Charlet New
[Ada] Deal with empty input in __gnat_decode - - - 0 0 0 2012-01-23 Arnaud Charlet New
[Ada] Deal with references for Alfa mode through multiple renamings - - - 0 0 0 2011-09-19 Arnaud Charlet New
[Ada] Deallocation of a class-wide object with unknown discriminants - - - 0 0 0 2011-11-23 Arnaud Charlet New
[Ada] Deallocation of a single allocated object (PR ada/47880) - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Debug information for code generated for pragma Check - - - 0 0 0 2013-01-02 Arnaud Charlet New
[Ada] Debug information for limited class-wide objects - - - 0 0 0 2015-10-20 Arnaud Charlet New
[Ada] Debugging information for inlined predefined units - - - 0 0 0 2014-11-20 Arnaud Charlet New
[Ada] Decoration of limited-with clauses - - - 0 0 0 2012-12-05 Arnaud Charlet New
[Ada] Default 'Input for array of limited object - - - 0 0 0 2011-08-03 Arnaud Charlet New
[Ada] Default implementation of GNAT.Traceback.Symbolic - - - 0 0 0 2011-10-06 Arnaud Charlet New
[Ada] Default to -gnatw.L - - - 0 0 0 2011-12-20 Arnaud Charlet New
[Ada] Default-initialize Nodes component - - - 0 0 0 2011-08-31 Arnaud Charlet New
[Ada] Default-initialize Nodes component - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Default_Initial_Condition aspect for formal containers - - - 0 0 0 2014-10-10 Arnaud Charlet New
[Ada] Default_Initial_Condition attributes apply to the base type - - - 0 0 0 2015-05-22 Arnaud Charlet New
[Ada] Default_Initial_Condition not inherited properly - - - 0 0 0 2014-10-17 Arnaud Charlet New
[Ada] Defaults that raise constraint_error - - - 0 0 0 2010-10-08 Arnaud Charlet New
[Ada] Defer compilation of global variables - - - 0 0 0 2015-06-26 Eric Botcazou New
[Ada] Deferred constants are not always compile time known values in Alfa mode - - - 0 0 0 2012-05-15 Arnaud Charlet New
[Ada] Define LANG_HOOKS_ENUM_UNDERLYING_BASE_TYPE - - - 0 0 0 2016-02-16 Eric Botcazou New
[Ada] Define a light expansion mode for formal verification - - - 0 0 0 2011-08-30 Arnaud Charlet New
[Ada] Define a light expansion mode for formal verification (2) - - - 0 0 0 2011-08-30 Arnaud Charlet New
[Ada] Define full expansion "flag" to distinguish from reduced Alfa expansion - - - 0 0 0 2011-08-30 Arnaud Charlet New
[Ada] Define unique entity for parameter (used in Alfa mode) - - - 0 0 0 2011-11-07 Arnaud Charlet New
[Ada] Delay all aspects - - - 0 0 0 2011-08-01 Arnaud Charlet New
[Ada] Delay of aspect specification evaluation - - - 0 0 0 2012-06-14 Arnaud Charlet New
[Ada] Delay of aspect specification evaluation - - - 0 0 0 2012-06-12 Arnaud Charlet New
[Ada] Delete Exp_Dbug.No_Dollar_In_Label - - - 0 0 0 2012-07-09 Arnaud Charlet New
[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
« 1 2 ... 274 275 276556 557 »