Patchwork GNU Compiler Collection

login
register
mail settings

Incoming patches

« Previous 1 2 ... 220 221 222 223 224 225 226 227 228 ... 435 436 Next »
Filters: State = Action Required remove filter    |    Archived = No remove filter
Patch A/R/T Date Submitter Delegate State
[Ada] Do not call Callback function when switch is dealt with automatically 0 0 0 2011-09-02 Arnaud Charlet New
[Ada] Do not build useless allocators 0 0 0 2010-08-06 Eric Botcazou New
[Ada] Do not assume that a volatile variable is valid 0 0 0 2014-01-22 Arnaud Charlet New
[Ada] Do not apply float conversion checks if expansion not enabled 0 0 0 2013-04-24 Arnaud Charlet New
[Ada] Division/Rem/Mod work with extended overflow checks 0 0 0 2012-10-01 Arnaud Charlet New
[Ada] Display executable load address before traceback 0 0 0 2013-10-14 Arnaud Charlet New
[Ada] Display correctly directory path names 0 0 0 2014-07-30 Arnaud Charlet New
[Ada] Discriminant references in aggregates 0 0 0 2010-06-22 Arnaud Charlet New
[Ada] Discriminant checks on view conversions 0 0 0 2014-01-24 Arnaud Charlet New
[Ada] Disallow Interrupt_Handler and Attach_Handler in generics 0 0 0 2010-10-08 Arnaud Charlet New
[Ada] Disabled invariants and preconditions and _Postconditions 0 0 0 2013-04-24 Arnaud Charlet New
[Ada] Disable wrapper for SPARK in the case of External Axiomatization 0 0 0 2015-01-07 Arnaud Charlet New
[Ada] Disable symbolic back-annotation of discriminated types 0 0 0 2014-04-14 Eric Botcazou New
[Ada] Disable assertion in ASIS mode 0 0 0 2013-05-26 Eric Botcazou New
[Ada] Disable aggregate expansion in assignments in VM targets 0 0 0 2011-08-03 Arnaud Charlet New
[Ada] Directories are no longer created for abstract projects 0 0 0 2014-10-17 Arnaud Charlet New
[Ada] Directly emit binary representation of Vax float 0 0 0 2012-11-06 Arnaud Charlet New
[Ada] Dimensionnality Checking 0 0 0 2011-12-15 Arnaud Charlet New
[Ada] Diagnose unsupported bit packed arrays 0 0 0 2013-04-23 Arnaud Charlet New
[Ada] Detect useless assignments to parts of objects 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Detect suspicious Contract_Cases instead of Contract_Case 0 0 0 2013-04-12 Arnaud Charlet New
[Ada] Detect more cases of possible infinite loops 0 0 0 2012-10-01 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 misplaced 'Result when compiling spec file 0 0 0 2011-08-04 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 illegal component of dereference of access-to-constant 0 0 0 2014-05-21 Arnaud Charlet New
[Ada] Detect generics as violation of the SPARK restriction 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Detect array types which belong to ALFA subset 0 0 0 2011-08-03 Arnaud Charlet New
[Ada] Detect all derived types as violation of the SPARK restriction 0 0 0 2011-08-31 Arnaud Charlet New
[Ada] Detailed exception messages for aliased parameters 0 0 0 2013-07-05 Arnaud Charlet New
[Ada] Deriving from formal limited types 0 0 0 2010-10-08 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] Derivation of untagged private types with discriminants 0 0 0 2010-09-10 Arnaud Charlet New
[Ada] Dereferences and inferable discriminants 0 0 0 2012-06-12 Arnaud Charlet New
[Ada] Dereference correct hash table for a given node array index 0 0 0 2011-08-31 Arnaud Charlet New
[Ada] Dependency between System.Finalization_Root and Ada.Streams 0 0 0 2012-04-26 Arnaud Charlet New
[Ada] Dependencies of virtual extending projects 0 0 0 2011-11-23 Arnaud Charlet New
[Ada] Dependence clause with multiple parenthesis produces misleading errors 0 0 0 2014-02-06 Arnaud Charlet New
[Ada] Delete symbolic link silently. 0 0 0 2012-06-12 Arnaud Charlet New
[Ada] Delete SCIL files in CodePeer mode 0 0 0 2011-08-31 Arnaud Charlet New
[Ada] Delete Exp_Dbug.No_Dollar_In_Label 0 0 0 2012-07-09 Arnaud Charlet New
[Ada] Delay of aspect specification evaluation 0 0 0 2012-06-12 Arnaud Charlet New
[Ada] Delay of aspect specification evaluation 0 0 0 2012-06-14 Arnaud Charlet New
[Ada] Delay all aspects 0 0 0 2011-08-01 Arnaud Charlet New
[Ada] Define unique entity for parameter (used in Alfa mode) 0 0 0 2011-11-07 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 a light expansion mode for formal verification (2) 0 0 0 2011-08-30 Arnaud Charlet New
[Ada] Define a light expansion mode for formal verification 0 0 0 2011-08-30 Arnaud Charlet New
[Ada] Deferred constants are not always compile time known values in Alfa mode 0 0 0 2012-05-15 Arnaud Charlet New
[Ada] Defaults that raise constraint_error 0 0 0 2010-10-08 Arnaud Charlet New
[Ada] Default_Initial_Condition not inherited properly 0 0 0 2014-10-17 Arnaud Charlet New
[Ada] Default_Initial_Condition aspect for formal containers 0 0 0 2014-10-10 Arnaud Charlet New
[Ada] Default-initialize Nodes component 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Default-initialize Nodes component 0 0 0 2011-08-31 Arnaud Charlet New
[Ada] Default to -gnatw.L 0 0 0 2011-12-20 Arnaud Charlet New
[Ada] Default implementation of GNAT.Traceback.Symbolic 0 0 0 2011-10-06 Arnaud Charlet New
[Ada] Default 'Input for array of limited object 0 0 0 2011-08-03 Arnaud Charlet New
[Ada] Decoration of limited-with clauses 0 0 0 2012-12-05 Arnaud Charlet New
[Ada] Debugging information for inlined predefined units 0 0 0 2014-11-20 Arnaud Charlet New
[Ada] Debug information for code generated for pragma Check 0 0 0 2013-01-02 Arnaud Charlet New
[Ada] Deallocation of a single allocated object (PR ada/47880) 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Deallocation of a class-wide object with unknown discriminants 0 0 0 2011-11-23 Arnaud Charlet New
[Ada] Deal with references for Alfa mode through multiple renamings 0 0 0 2011-09-19 Arnaud Charlet New
[Ada] Deal with empty input in __gnat_decode 0 0 0 2012-01-23 Arnaud Charlet New
[Ada] DSA helpers for tagged types 0 0 0 2010-10-05 Arnaud Charlet New
[Ada] DSA code generation reorganization 0 0 0 2011-09-19 Arnaud Charlet New
[Ada] Cross-reference information for expression functions that are completions 0 0 0 2012-02-22 Arnaud Charlet New
[Ada] Cross-Reference information for build-in-place objects 0 0 0 2010-09-10 Arnaud Charlet New
[Ada] Create the Find_Name_In_Path helper 0 0 0 2011-11-04 Arnaud Charlet New
[Ada] Crash with big strings in System.OS_Lib.Normalize_Pathname 0 0 0 2014-01-29 Arnaud Charlet New
[Ada] Crash while processing illegal state refinement 0 0 0 2014-07-17 Arnaud Charlet New
[Ada] Crash when processing attribute Loop_Entry 0 0 0 2013-02-06 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 processing nested aggregate in constant declaration 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 on use of 'Old 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Crash on unconstrained unchecked union declaration 0 0 0 2014-10-20 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 quantified expressions containing 'Old in postconditions 0 0 0 2011-08-31 Arnaud Charlet New
[Ada] Crash on processing external property 0 0 0 2014-02-06 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 illegal discrete range 0 0 0 2014-07-31 Arnaud Charlet New
[Ada] Crash on generic instance with class-wide actual 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 entry call with preconditions and access parameters 0 0 0 2014-08-01 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 derivation of tagged private type with discriminants 0 0 0 2010-06-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 constant declaration with variable size with generics 0 0 0 2014-01-22 Arnaud Charlet New
[Ada] Crash on complex conditional involving a packed array indexing 0 0 0 2014-07-31 Arnaud Charlet New
[Ada] Crash on aggregate with discriminant expanded name in default expression 0 0 0 2010-06-22 Arnaud Charlet New
[Ada] Coverage analysis of select statements 0 0 0 2012-07-16 Arnaud Charlet New
[Ada] Cover all cases of constant objects for ALFA section in ALI files 0 0 0 2011-09-05 Arnaud Charlet New
[Ada] Couple of small adjustments to cross-unit inlining 0 0 0 2012-05-15 Arnaud Charlet New
[Ada] Couple of minor tweaks 0 0 0 2012-10-02 Eric Botcazou New
[Ada] Correction to aggregates in instance bodies 0 0 0 2011-09-01 Arnaud Charlet New
[Ada] Correct wrong generation of ALFA cross-references 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Correct various bad choices in Alfa mode 0 0 0 2011-08-31 Arnaud Charlet New
[Ada] Correct usage of Default_Aspect_Value in scalar types 0 0 0 2013-10-10 Arnaud Charlet New
[Ada] Correct unique name of entities for formal verification 0 0 0 2011-08-05 Arnaud Charlet New