Show patches with: State = Action Required       |    Archived = No       |   126655 patches
« 1 2 ... 709 710 711 … 1266 1267 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Don't examine all discriminants when looking for the first one [Ada] Don't examine all discriminants when looking for the first one - - - - --- 2021-09-20 Pierre-Marie de Rodat New
[Ada] Don't emit unit version on configurable run time target if not needed. - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Don't emit style errors when parens are required [Ada] Don't emit style errors when parens are required - - - - --- 2021-05-05 Pierre-Marie de Rodat New
[Ada] Don't delete real errors with specific warning control - - - - --- 2013-09-10 Arnaud Charlet New
[Ada] Don't create calls to Abort_Undefer when not Abort_Allowed [Ada] Don't create calls to Abort_Undefer when not Abort_Allowed - - - - --- 2022-05-17 Pierre-Marie de Rodat New
[Ada] Don't crash on ghost packages when emitting CUDA symbols in ALI files [Ada] Don't crash on ghost packages when emitting CUDA symbols in ALI files - - - - --- 2022-05-16 Pierre-Marie de Rodat New
[Ada] Don't correct socket timeout on Windows Server 2019 [Ada] Don't correct socket timeout on Windows Server 2019 - - - - --- 2020-06-12 Pierre-Marie de Rodat New
[Ada] Don't constant-fold renamed qualified expressions [Ada] Don't constant-fold renamed qualified expressions - - - - --- 2020-11-25 Pierre-Marie de Rodat New
[Ada] Don't collect inessential data about SPARK cross-references [Ada] Don't collect inessential data about SPARK cross-references - - - - --- 2017-11-08 Pierre-Marie de Rodat New
[Ada] Don't check for misspelling of Not_A_Restriction_Id [Ada] Don't check for misspelling of Not_A_Restriction_Id - - - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Don't check No_Wide_Characters restriction for illegal types [Ada] Don't check No_Wide_Characters restriction for illegal types - - - - --- 2021-06-17 Pierre-Marie de Rodat New
[Ada] Don't carry action bodies for expansion of array equality [Ada] Don't carry action bodies for expansion of array equality - - - - --- 2021-11-10 Pierre-Marie de Rodat New
[Ada] Don't build equivalent record aggregate if type has predicates [Ada] Don't build equivalent record aggregate if type has predicates - - - - --- 2020-06-10 Pierre-Marie de Rodat New
[Ada] Don't ally Body_With_No_Spec style check to parameterized expressions - - - - --- 2010-10-26 Arnaud Charlet New
[Ada] Don't allow entry in implicit with chain to be ghost [Ada] Don't allow entry in implicit with chain to be ghost - - - - --- 2021-12-02 Pierre-Marie de Rodat New
[Ada] Don't allow REASON parameter for pragma Warnings in compiler unit - - - - --- 2013-09-10 Arnaud Charlet New
[Ada] Don't accept illegal (e.g., Integer'(null)) generic actuals [Ada] Don't accept illegal (e.g., Integer'(null)) generic actuals - - - - --- 2019-09-17 Pierre-Marie de Rodat New
[Ada] Documentation for GNAT dimensionality checking system - - - - --- 2012-02-08 Arnaud Charlet New
[Ada] Document vax float point representation - - - - --- 2012-11-06 Arnaud Charlet New
[Ada] Document the introduction of the Object_Size attribute in Ada 2020 [Ada] Document the introduction of the Object_Size attribute in Ada 2020 - - - - --- 2019-12-18 Pierre-Marie de Rodat New
[Ada] Document the current behaviour of -gnateA switch [Ada] Document the current behaviour of -gnateA switch - - - - --- 2021-10-04 Pierre-Marie de Rodat New
[Ada] Document rounding mode assumed for dynamic floating-point computations [Ada] Document rounding mode assumed for dynamic floating-point computations - - - - --- 2021-10-01 Pierre-Marie de Rodat New
[Ada] Document recognition of : in place of # - - - - --- 2015-01-06 Arnaud Charlet New
[Ada] Document obsolete pragma Propagate_Exceptions - - - - --- 2013-07-05 Arnaud Charlet New
[Ada] Document control flow redundancy [Ada] Document control flow redundancy - - - - --- 2022-05-13 Pierre-Marie de Rodat New
[Ada] Document check flags use in semantic analysis and expander - - - - --- 2014-01-24 Arnaud Charlet New
[Ada] Document change to legality checks for Inox case statements [Ada] Document change to legality checks for Inox case statements - - - - --- 2022-09-06 Marc Poulhiès New
[Ada] Document System.Atomic_Counters as supported on ARM and AARCH64 [Ada] Document System.Atomic_Counters as supported on ARM and AARCH64 - - - - --- 2021-12-01 Pierre-Marie de Rodat New
[Ada] Document LLVM-specific flags [Ada] Document LLVM-specific flags - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Document Aggregate_Individually_Assign as a configuration pragma [Ada] Document Aggregate_Individually_Assign as a configuration pragma - - - - --- 2022-05-12 Pierre-Marie de Rodat New
[Ada] Doc clean ups - - - - --- 2010-06-22 Arnaud Charlet New
[Ada] Do style checks for main subunits - - - - --- 2010-09-10 Arnaud Charlet New
[Ada] Do not warn on partial access to atomic object with address clause [Ada] Do not warn on partial access to atomic object with address clause - - - - --- 2020-06-08 Pierre-Marie de Rodat New
[Ada] Do not warn about unused global declarations - - - - --- 2015-06-19 Eric Botcazou New
[Ada] Do not use specific stream routines for strings when not available - - - - --- 2011-08-02 Arnaud Charlet New
[Ada] Do not use secondary stack in some cases - - - - --- 2016-04-20 Arnaud Charlet New
[Ada] Do not use maximal values from System in runtime units [Ada] Do not use maximal values from System in runtime units - - - - --- 2020-10-15 Pierre-Marie de Rodat New
[Ada] Do not use hash function for enumeration Value with trampolines [Ada] Do not use hash function for enumeration Value with trampolines - - - - --- 2021-05-05 Pierre-Marie de Rodat New
[Ada] Do not use front-end build-in-place mechanism for nonlimited types [Ada] Do not use front-end build-in-place mechanism for nonlimited types - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Do not use Long_Long_Long_Integer'Image with pragma Discard_Names [Ada] Do not use Long_Long_Long_Integer'Image with pragma Discard_Names - - - - --- 2020-10-23 Pierre-Marie de Rodat New
[Ada] Do not use 128-bit division for 64-bit fixed-point types [Ada] Do not use 128-bit division for 64-bit fixed-point types - - - - --- 2020-11-27 Pierre-Marie de Rodat New
[Ada] Do not unconditionally inline expression functions with -gnatd.8 [Ada] Do not unconditionally inline expression functions with -gnatd.8 - - - - --- 2021-10-05 Pierre-Marie de Rodat New
[Ada] Do not systematically suppress checks on atree.adb [Ada] Do not systematically suppress checks on atree.adb - - - - --- 2021-06-17 Pierre-Marie de Rodat New
[Ada] Do not suppress checks in instances of internal generics [Ada] Do not suppress checks in instances of internal generics - - - - --- 2019-08-12 Pierre-Marie de Rodat New
[Ada] Do not skip non-aliasing checking when inlining in GNATprove [Ada] Do not skip non-aliasing checking when inlining in GNATprove - - - - --- 2019-08-19 Pierre-Marie de Rodat New
[Ada] Do not skip analysis of aspect X when X'Class aspect present (and reverse) - - - - --- 2011-08-04 Arnaud Charlet New
[Ada] Do not silently drop parallel types - - - - --- 2011-04-22 Eric Botcazou New
[Ada] Do not set the bounds of integer types to be universal [Ada] Do not set the bounds of integer types to be universal - - - - --- 2020-06-02 Pierre-Marie de Rodat New
[Ada] Do not set a bogus Esize on subtype built for Component_Size clause [Ada] Do not set a bogus Esize on subtype built for Component_Size clause - - - - --- 2019-12-16 Pierre-Marie de Rodat New
[Ada] Do not set TREE_THIS_NOTRAP with address clause - - - - --- 2011-06-18 Eric Botcazou New
[Ada] Do not set Current_Error_Node to a node without location [Ada] Do not set Current_Error_Node to a node without location - - - - --- 2022-05-19 Pierre-Marie de Rodat New
[Ada] Do not service entries after a protected function call (with -gnatp). - - - - --- 2014-01-27 Arnaud Charlet New
[Ada] Do not second-guess the hardware for underflow handling of Scaling [Ada] Do not second-guess the hardware for underflow handling of Scaling - - - - --- 2021-05-06 Pierre-Marie de Rodat New
[Ada] Do not rewrite argument of pragma Entry_Queue_Length in analysis [Ada] Do not rewrite argument of pragma Entry_Queue_Length in analysis - - - - --- 2019-08-21 Pierre-Marie de Rodat New
[Ada] Do not return freeze nodes for start of early call regions [Ada] Do not return freeze nodes for start of early call regions - - - - --- 2021-12-01 Pierre-Marie de Rodat New
[Ada] Do not require null after label in Ada 2012 mode - - - - --- 2010-09-09 Arnaud Charlet New
[Ada] Do not replace bounds for packed arrays that depend on discriminants [Ada] Do not replace bounds for packed arrays that depend on discriminants - - - - --- 2020-10-19 Pierre-Marie de Rodat New
[Ada] Do not replace Float'Range check by 'Valid - - - - --- 2010-06-22 Arnaud Charlet New
[Ada] Do not remove side-effects in an others_clause with function calls [Ada] Do not remove side-effects in an others_clause with function calls - - - - --- 2019-08-13 Pierre-Marie de Rodat New
[Ada] Do not remove side effects from any object declarations in SPARK [Ada] Do not remove side effects from any object declarations in SPARK - - - - --- 2020-10-15 Pierre-Marie de Rodat New
[Ada] Do not query the representation information in CodePeer/GNATprove [Ada] Do not query the representation information in CodePeer/GNATprove - - - - --- 2018-06-11 Pierre-Marie de Rodat New
[Ada] Do not propagate Object_Size onto Size for composite types [Ada] Do not propagate Object_Size onto Size for composite types - - - - --- 2019-12-18 Pierre-Marie de Rodat New
[Ada] Do not perform useless work in Check_No_Parts_Violations [Ada] Do not perform useless work in Check_No_Parts_Violations - - - - --- 2021-06-16 Pierre-Marie de Rodat New
[Ada] Do not perform tagged type expansion in Alfa mode - - - - --- 2011-09-19 Arnaud Charlet New
[Ada] Do not perform null exclusion static checks on generated entities [Ada] Do not perform null exclusion static checks on generated entities - - - - --- 2020-07-16 Pierre-Marie de Rodat New
[Ada] Do not perform expansion of generics even in GNATprove mode - - - - --- 2014-02-19 Arnaud Charlet New
[Ada] Do not perform a null_exclusion check on 'out' parameters - - - - --- 2010-09-10 Arnaud Charlet New
[Ada] Do not pass -Werror during linking - - - - --- 2012-02-07 Eric Botcazou New
[Ada] Do not overwrite limited view of result type [Ada] Do not overwrite limited view of result type - - - - --- 2022-05-13 Pierre-Marie de Rodat New
[Ada] Do not overly promote alignment of local variable - - - - --- 2011-09-25 Eric Botcazou New
[Ada] Do not mention objects of task or protected type in Alfa section - - - - --- 2011-09-05 Arnaud Charlet New
[Ada] Do not mention an error on continuation message of info message - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Do not mark user parameters of protected subprograms as artificial [Ada] Do not mark user parameters of protected subprograms as artificial - - - - --- 2022-09-12 Marc Poulhiès New
[Ada] Do not mark array objects as addressable - - - - --- 2011-07-24 Eric Botcazou New
[Ada] Do not make procedure call with only tag-indeternminate actuals dispatching [Ada] Do not make procedure call with only tag-indeternminate actuals dispatching - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Do not make enumeration types always artificial - - - - --- 2011-04-02 Eric Botcazou New
[Ada] Do not make a local copy of large aggregate [Ada] Do not make a local copy of large aggregate - - - - --- 2020-05-09 Eric Botcazou New
[Ada] Do not issue warning specific to compilation in GNATprove mode - - - - --- 2014-02-24 Arnaud Charlet New
[Ada] Do not issue restriction violations on ignored ghost code [Ada] Do not issue restriction violations on ignored ghost code - - - - --- 2019-12-16 Pierre-Marie de Rodat New
[Ada] Do not issue by default info messages for inlining in GNATprove [Ada] Do not issue by default info messages for inlining in GNATprove - - - - --- 2018-09-26 Pierre-Marie de Rodat New
[Ada] Do not issue a warning on a postcondition of True or False [Ada] Do not issue a warning on a postcondition of True or False - - - - --- 2022-05-12 Pierre-Marie de Rodat New
[Ada] Do not invoke gnatls unconditionally - - - - --- 2012-12-11 Eric Botcazou New
[Ada] Do not insert calls to invariant procedure in GNATprove mode [Ada] Do not insert calls to invariant procedure in GNATprove mode - - - - --- 2017-09-25 Pierre-Marie de Rodat New
[Ada] Do not inline subprograms with deep parameter/result in GNATprove [Ada] Do not inline subprograms with deep parameter/result in GNATprove - - - - --- 2019-10-10 Pierre-Marie de Rodat New
[Ada] Do not inline dispatching operations in GNATprove mode [Ada] Do not inline dispatching operations in GNATprove mode - - - - --- 2019-09-17 Pierre-Marie de Rodat New
[Ada] Do not inline No_Return procedures in GNATprove mode - - - - --- 2015-10-20 Arnaud Charlet New
[Ada] Do not indicate a pending abort if the task is already aborting [Ada] Do not indicate a pending abort if the task is already aborting - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Do not gratuitously use XVA encoding in debug info [Ada] Do not gratuitously use XVA encoding in debug info - - - - --- 2019-12-03 Eric Botcazou New
[Ada] Do not give warnings for compiler-generated entities by default [Ada] Do not give warnings for compiler-generated entities by default - - - - --- 2022-05-19 Pierre-Marie de Rodat New
[Ada] Do not give "bad indentation" error inside a declare_expression [Ada] Do not give "bad indentation" error inside a declare_expression - - - - --- 2020-06-17 Pierre-Marie de Rodat New
[Ada] Do not generate wrong transient scopes for pragma check in ALFA mode - - - - --- 2011-08-05 Arnaud Charlet New
[Ada] Do not generate useless temporary for allocator [Ada] Do not generate useless temporary for allocator - - - - --- 2017-09-05 Eric Botcazou New
[Ada] Do not generate useless length check for array initialization [Ada] Do not generate useless length check for array initialization - - - - --- 2020-06-17 Pierre-Marie de Rodat New
[Ada] Do not generate special PARM_DECL in LTO mode - - - - --- 2012-10-22 Eric Botcazou New
[Ada] Do not generate extra copies inside initialization procedures [Ada] Do not generate extra copies inside initialization procedures - - - - --- 2020-07-15 Pierre-Marie de Rodat New
[Ada] Do not generate encodings for fixed-point types by default [Ada] Do not generate encodings for fixed-point types by default - - - - --- 2020-12-17 Pierre-Marie de Rodat New
[Ada] Do not generate elaboration code for alignment aspect [Ada] Do not generate elaboration code for alignment aspect - - - - --- 2020-07-15 Pierre-Marie de Rodat New
[Ada] Do not generate debug info for actual subtypes [Ada] Do not generate debug info for actual subtypes - - - - --- 2018-07-07 Eric Botcazou New
[Ada] Do not generate dangling references to bounds [Ada] Do not generate dangling references to bounds - - - - --- 2019-05-27 Eric Botcazou New
[Ada] Do not generate both XVS and XVE type - - - - --- 2012-03-25 Eric Botcazou New
« 1 2 ... 709 710 711 … 1266 1267 »