Show patches with: State = Action Required       |    Archived = No       |   126656 patches
« 1 2 ... 555 556 557 … 1266 1267 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Default to -gnatw.L - - - - --- 2011-12-20 Arnaud Charlet New
[Ada] Default to no source locations in non-GCC backend bug boxes [Ada] Default to no source locations in non-GCC backend bug boxes - - - - --- 2017-09-25 Pierre-Marie de Rodat New
[Ada] Default-initialize Nodes component - - - - --- 2011-08-31 Arnaud Charlet New
[Ada] Default-initialize Nodes component - - - - --- 2011-08-04 Arnaud Charlet New
[Ada] Default_Initial_Condition aspect for formal containers - - - - --- 2014-10-10 Arnaud Charlet New
[Ada] Default_Initial_Condition assertion policy is now RM defined [Ada] Default_Initial_Condition assertion policy is now RM defined - - - - --- 2020-11-27 Pierre-Marie de Rodat New
[Ada] Default_Initial_Condition attributes apply to the base type - - - - --- 2015-05-22 Arnaud Charlet New
[Ada] Default_Initial_Condition not inherited properly - - - - --- 2014-10-17 Arnaud Charlet New
[Ada] Defaults that raise constraint_error - - - - --- 2010-10-08 Arnaud Charlet New
[Ada] Defer compilation of global variables - - - - --- 2015-06-26 Eric Botcazou New
[Ada] Deferred constant considered as not preelaborable [Ada] Deferred constant considered as not preelaborable - - - - --- 2022-07-06 Pierre-Marie de Rodat New
[Ada] Deferred constants are not always compile time known values in Alfa mode - - - - --- 2012-05-15 Arnaud Charlet New
[Ada] Define LANG_HOOKS_ENUM_UNDERLYING_BASE_TYPE - - - - --- 2016-02-16 Eric Botcazou New
[Ada] Define a light expansion mode for formal verification - - - - --- 2011-08-30 Arnaud Charlet New
[Ada] Define a light expansion mode for formal verification (2) - - - - --- 2011-08-30 Arnaud Charlet New
[Ada] Define full expansion "flag" to distinguish from reduced Alfa expansion - - - - --- 2011-08-30 Arnaud Charlet New
[Ada] Define unique entity for parameter (used in Alfa mode) - - - - --- 2011-11-07 Arnaud Charlet New
[Ada] Define versions of dimension system for Float and Long_Float [Ada] Define versions of dimension system for Float and Long_Float - - - - --- 2018-08-21 Pierre-Marie de Rodat New
[Ada] Delay all aspects - - - - --- 2011-08-01 Arnaud Charlet New
[Ada] Delay of aspect specification evaluation - - - - --- 2012-06-14 Arnaud Charlet New
[Ada] Delay of aspect specification evaluation - - - - --- 2012-06-12 Arnaud Charlet New
[Ada] Delete Exp_Dbug.No_Dollar_In_Label - - - - --- 2012-07-09 Arnaud Charlet New
[Ada] Delete SCIL files in CodePeer mode - - - - --- 2011-08-31 Arnaud Charlet New
[Ada] Delete no-longer-used Convert_To_Return_False flag [Ada] Delete no-longer-used Convert_To_Return_False flag - - - - --- 2022-05-30 Pierre-Marie de Rodat New
[Ada] Delete response file even when link failed - - - - --- 2015-10-27 Arnaud Charlet New
[Ada] Delete symbolic link silently. - - - - --- 2012-06-12 Arnaud Charlet New
[Ada] Dependence clause with multiple parenthesis produces misleading errors - - - - --- 2014-02-06 Arnaud Charlet New
[Ada] Dependencies of virtual extending projects - - - - --- 2011-11-23 Arnaud Charlet New
[Ada] Dependency between System.Finalization_Root and Ada.Streams - - - - --- 2012-04-26 Arnaud Charlet New
[Ada] Dereference correct hash table for a given node array index - - - - --- 2011-08-31 Arnaud Charlet New
[Ada] Dereferences and inferable discriminants - - - - --- 2012-06-12 Arnaud Charlet New
[Ada] Derivation of Ghost types - - - - --- 2016-04-18 Arnaud Charlet New
[Ada] Derivation of untagged private types with discriminants - - - - --- 2010-09-10 Arnaud Charlet New
[Ada] Derived iterable types with noniterable parent [Ada] Derived iterable types with noniterable parent - - - - --- 2017-09-06 Arnaud Charlet New
[Ada] Derived type whose parent has a full view with access discriminants - - - - --- 2014-10-31 Arnaud Charlet New
[Ada] Deriving from formal limited types - - - - --- 2010-10-08 Arnaud Charlet New
[Ada] Detailed exception messages for aliased parameters - - - - --- 2013-07-05 Arnaud Charlet New
[Ada] Detect all derived types as violation of the SPARK restriction - - - - --- 2011-08-31 Arnaud Charlet New
[Ada] Detect array types which belong to ALFA subset - - - - --- 2011-08-03 Arnaud Charlet New
[Ada] Detect expansion of iterated component associations into loops [Ada] Detect expansion of iterated component associations into loops - - - - --- 2022-09-05 Marc Poulhiès New
[Ada] Detect generics as violation of the SPARK restriction - - - - --- 2011-08-04 Arnaud Charlet New
[Ada] Detect illegal component of dereference of access-to-constant - - - - --- 2014-05-21 Arnaud Charlet New
[Ada] Detect illegal implicit type conversions [Ada] Detect illegal implicit type conversions - - - - --- 2019-12-13 Pierre-Marie de Rodat New
[Ada] Detect illegal use of unconstrained string type in SPARK mode - - - - --- 2011-09-05 Arnaud Charlet New
[Ada] Detect infinite loops with operators in exit conditions [Ada] Detect infinite loops with operators in exit conditions - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Detect misplaced 'Result when compiling spec file - - - - --- 2011-08-04 Arnaud Charlet New
[Ada] Detect misplaced assertions between loop invariants [Ada] Detect misplaced assertions between loop invariants - - - - --- 2018-05-25 Pierre-Marie de Rodat New
[Ada] Detect more cases of Long_Float inconsistencies at compile time - - - - --- 2011-11-04 Arnaud Charlet New
[Ada] Detect more cases of possible infinite loops - - - - --- 2012-10-01 Arnaud Charlet New
[Ada] Detect overlapping actuals in entry calls [Ada] Detect overlapping actuals in entry calls - - - - --- 2020-06-12 Pierre-Marie de Rodat New
[Ada] Detect protected types as program units [Ada] Detect protected types as program units - - - - --- 2017-10-09 Pierre-Marie de Rodat New
[Ada] Detect qualified type names for AI12-0027 [Ada] Detect qualified type names for AI12-0027 - - - - --- 2020-10-16 Pierre-Marie de Rodat New
[Ada] Detect returning procedures annotated with No_Return [Ada] Detect returning procedures annotated with No_Return - - - - --- 2018-05-31 Pierre-Marie de Rodat New
[Ada] Detect singular matrices in Solve primitives for vectors and matrices. - - - - --- 2016-04-27 Arnaud Charlet New
[Ada] Detect suspicious Contract_Cases instead of Contract_Case - - - - --- 2013-04-12 Arnaud Charlet New
[Ada] Detect unchecked union components with fully qualified names [Ada] Detect unchecked union components with fully qualified names - - - - --- 2021-05-05 Pierre-Marie de Rodat New
[Ada] Detect unchecked union subcomponents in nested variant parts [Ada] Detect unchecked union subcomponents in nested variant parts - - - - --- 2021-05-05 Pierre-Marie de Rodat New
[Ada] Detect useless assignments to parts of objects - - - - --- 2011-08-04 Arnaud Charlet New
[Ada] Detection of illegal constituent assignments [Ada] Detection of illegal constituent assignments - - - - --- 2018-01-11 Pierre-Marie de Rodat New
[Ada] Detection of lingering ignored Ghost code - - - - --- 2015-10-23 Arnaud Charlet New
[Ada] Detection of missing abstract state refinement - - - - --- 2016-04-21 Arnaud Charlet New
[Ada] Diagnose illegal overriding indicators in protected bodies [Ada] Diagnose illegal overriding indicators in protected bodies - - - - --- 2020-06-12 Pierre-Marie de Rodat New
[Ada] Diagnose properly illegal uses of Target_Name [Ada] Diagnose properly illegal uses of Target_Name - - - - --- 2021-07-08 Pierre-Marie de Rodat New
[Ada] Diagnose unsupported bit packed arrays - - - - --- 2013-04-23 Arnaud Charlet New
[Ada] Diagnostics for Elaboration order v4.0 [Ada] Diagnostics for Elaboration order v4.0 - - - - --- 2019-07-08 Pierre-Marie de Rodat New
[Ada] Different runtime behavior of Predicate_Failure [Ada] Different runtime behavior of Predicate_Failure - - - - --- 2018-01-11 Pierre-Marie de Rodat New
[Ada] Dimensional checking and generic subprograms [Ada] Dimensional checking and generic subprograms - - - - --- 2017-09-06 Arnaud Charlet New
[Ada] Dimensionnality Checking - - - - --- 2011-12-15 Arnaud Charlet New
[Ada] Directly emit binary representation of Vax float - - - - --- 2012-11-06 Arnaud Charlet New
[Ada] Directories are no longer created for abstract projects - - - - --- 2014-10-17 Arnaud Charlet New
[Ada] Disable -flto when building the shared libgnat [Ada] Disable -flto when building the shared libgnat - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Disable DECL_BIT_FIELD_REPRESENTATIVE machinery in some cases [Ada] Disable DECL_BIT_FIELD_REPRESENTATIVE machinery in some cases - - - - --- 2018-11-08 Eric Botcazou New
[Ada] Disable Initialize_Scalars on runtime files [Ada] Disable Initialize_Scalars on runtime files - - - - --- 2020-07-16 Pierre-Marie de Rodat New
[Ada] Disable Pre/Post in formal containers [Ada] Disable Pre/Post in formal containers - - - - --- 2021-06-30 Pierre-Marie de Rodat New
[Ada] Disable Support_Atomic_Primitives on QNX and VxWorks targets [Ada] Disable Support_Atomic_Primitives on QNX and VxWorks targets - - - - --- 2022-09-12 Marc Poulhiès New
[Ada] Disable Support_Atomic_Primitives on x86_64 VxWorks [Ada] Disable Support_Atomic_Primitives on x86_64 VxWorks - - - - --- 2022-09-12 Marc Poulhiès New
[Ada] Disable Vet calls when container checks are disabled [Ada] Disable Vet calls when container checks are disabled - - - - --- 2022-05-18 Pierre-Marie de Rodat New
[Ada] Disable aggregate expansion in assignments in VM targets - - - - --- 2011-08-03 Arnaud Charlet New
[Ada] Disable anonymous allocator warning for library-level objects [Ada] Disable anonymous allocator warning for library-level objects - - - - --- 2019-08-13 Pierre-Marie de Rodat New
[Ada] Disable assertion in ASIS mode - - - - --- 2013-05-26 Eric Botcazou New
[Ada] Disable assertion regarding Body_Before_Spec_Edge [Ada] Disable assertion regarding Body_Before_Spec_Edge - - - - --- 2020-06-09 Pierre-Marie de Rodat New
[Ada] Disable certain checks in predefined units [Ada] Disable certain checks in predefined units - - - - --- 2021-06-15 Pierre-Marie de Rodat New
[Ada] Disable contract cases on formal containers [Ada] Disable contract cases on formal containers - - - - --- 2021-10-05 Pierre-Marie de Rodat New
[Ada] Disable expansion of pragma Loop_Variant in CodePeer mode [Ada] Disable expansion of pragma Loop_Variant in CodePeer mode - - - - --- 2022-01-10 Pierre-Marie de Rodat New
[Ada] Disable inlining of traversal function in GNATprove [Ada] Disable inlining of traversal function in GNATprove - - - - --- 2019-09-19 Pierre-Marie de Rodat New
[Ada] Disable lock free protected implementation if target lacks support [Ada] Disable lock free protected implementation if target lacks support - - - - --- 2022-09-06 Marc Poulhiès New
[Ada] Disable name generation for External_Tag and Expanded_Name [Ada] Disable name generation for External_Tag and Expanded_Name - - - - --- 2018-05-22 Pierre-Marie de Rodat New
[Ada] Disable selected optimizations done in gigi at -Og [Ada] Disable selected optimizations done in gigi at -Og - - - - --- 2019-09-23 Eric Botcazou New
[Ada] Disable symbolic back-annotation of discriminated types - - - - --- 2014-04-14 Eric Botcazou New
[Ada] Disable the creation of the main task secondary stack by the binder [Ada] Disable the creation of the main task secondary stack by the binder - - - - --- 2018-05-25 Pierre-Marie de Rodat New
[Ada] Disable unwanted warnings in Assertion_Policy(Ignore) mode [Ada] Disable unwanted warnings in Assertion_Policy(Ignore) mode - - - - --- 2020-06-10 Pierre-Marie de Rodat New
[Ada] Disable warning about unsafe use of __builtin_frame_address [Ada] Disable warning about unsafe use of __builtin_frame_address - - - - --- 2020-07-08 Pierre-Marie de Rodat New
[Ada] Disable warnings on entities when building finalizers [Ada] Disable warnings on entities when building finalizers - - - - --- 2020-10-21 Pierre-Marie de Rodat New
[Ada] Disable wrapper for SPARK in the case of External Axiomatization - - - - --- 2015-01-07 Arnaud Charlet New
[Ada] Disable wrong computation of offsets within multidimensional arrays [Ada] Disable wrong computation of offsets within multidimensional arrays - - - - --- 2021-06-21 Pierre-Marie de Rodat New
[Ada] Disabled invariants and preconditions and _Postconditions - - - - --- 2013-04-24 Arnaud Charlet New
[Ada] Disallow Interrupt_Handler and Attach_Handler in generics - - - - --- 2010-10-08 Arnaud Charlet New
[Ada] Disallow Predicate_Failure without predicate [Ada] Disallow Predicate_Failure without predicate - - - - --- 2020-07-08 Pierre-Marie de Rodat New
[Ada] Disallow renamings declaring tagged primitives [Ada] Disallow renamings declaring tagged primitives - - - - --- 2017-11-16 Pierre-Marie de Rodat New
[Ada] Disallow renamings declaring tagged primitives [Ada] Disallow renamings declaring tagged primitives - - - - --- 2017-11-16 Pierre-Marie de Rodat New
« 1 2 ... 555 556 557 … 1266 1267 »