Show patches with: Archived = No       |   126792 patches
« 1 2 ... 558 559 560 … 1267 1268 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[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 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 replace Float'Range check by 'Valid - - - - --- 2010-06-22 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 require null after label in Ada 2012 mode - - - - --- 2010-09-09 Arnaud Charlet 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 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 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 service entries after a protected function call (with -gnatp). - - - - --- 2014-01-27 Arnaud Charlet 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 set TREE_THIS_NOTRAP with address clause - - - - --- 2011-06-18 Eric Botcazou 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 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 silently drop parallel types - - - - --- 2011-04-22 Eric Botcazou 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 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 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 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 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 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 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 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 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 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 secondary stack in some cases - - - - --- 2016-04-20 Arnaud Charlet New
[Ada] Do not use specific stream routines for strings when not available - - - - --- 2011-08-02 Arnaud Charlet New
[Ada] Do not warn about unused global declarations - - - - --- 2015-06-19 Eric Botcazou 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 style checks for main subunits - - - - --- 2010-09-10 Arnaud Charlet New
[Ada] Doc clean ups - - - - --- 2010-06-22 Arnaud Charlet 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] Document LLVM-specific flags [Ada] Document LLVM-specific flags - - - - --- 2022-01-11 Pierre-Marie de Rodat 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 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 check flags use in semantic analysis and expander - - - - --- 2014-01-24 Arnaud Charlet New
[Ada] Document control flow redundancy [Ada] Document control flow redundancy - - - - --- 2022-05-13 Pierre-Marie de Rodat New
[Ada] Document obsolete pragma Propagate_Exceptions - - - - --- 2013-07-05 Arnaud Charlet New
[Ada] Document recognition of : in place of # - - - - --- 2015-01-06 Arnaud Charlet 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 the current behaviour of -gnateA switch [Ada] Document the current behaviour of -gnateA switch - - - - --- 2021-10-04 Pierre-Marie de Rodat 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 vax float point representation - - - - --- 2012-11-06 Arnaud Charlet New
[Ada] Documentation for GNAT dimensionality checking system - - - - --- 2012-02-08 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] Don't allow REASON parameter for pragma Warnings in compiler unit - - - - --- 2013-09-10 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 ally Body_With_No_Spec style check to parameterized expressions - - - - --- 2010-10-26 Arnaud Charlet 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 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 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 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 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 constant-fold renamed qualified expressions [Ada] Don't constant-fold renamed qualified expressions - - - - --- 2020-11-25 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 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 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 delete real errors with specific warning control - - - - --- 2013-09-10 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 emit unit version on configurable run time target if not needed. - - - - --- 2017-04-25 Arnaud Charlet New
[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 expect enumeration literals to be renamings [Ada] Don't expect enumeration literals to be renamings - - - - --- 2021-10-25 Pierre-Marie de Rodat New
[Ada] Don't fail a front-end assertion if errors have already been detected [Ada] Don't fail a front-end assertion if errors have already been detected - - - - --- 2019-09-18 Pierre-Marie de Rodat New
[Ada] Don't flag No_Obsolescent_Features violations in instances - - - - --- 2012-02-17 Arnaud Charlet New
[Ada] Don't generate RTL in gigi - - - - --- 2010-08-02 Eric Botcazou New
[Ada] Don't split AND THEN expressions in GNATprove_Mode [Ada] Don't split AND THEN expressions in GNATprove_Mode - - - - --- 2018-06-11 Pierre-Marie de Rodat New
[Ada] Don't unconditionally define _LARGEFILE_SOURCE - - - - --- 2014-08-01 Rainer Orth New
[Ada] Double evaluation in allocator for unconstrained packed array - - - - --- 2011-08-29 Arnaud Charlet New
[Ada] Double evaluation of predicate [Ada] Double evaluation of predicate - - - - --- 2020-10-15 Pierre-Marie de Rodat New
[Ada] Double finalization of limited controlled result [Ada] Double finalization of limited controlled result - - - - --- 2018-06-11 Pierre-Marie de Rodat New
[Ada] Double free in GNAT.Perfect_Hash_Generators.Finalize - - - - --- 2011-08-03 Arnaud Charlet New
[Ada] Drop GNAT encodings for fixed-point types [Ada] Drop GNAT encodings for fixed-point types - - - - --- 2020-09-11 Eric Botcazou New
[Ada] Dump freeze nodes in pg output - - - - --- 2010-06-17 Arnaud Charlet New
[Ada] Duplicate Size/Value_Size clause [Ada] Duplicate Size/Value_Size clause - - - - --- 2021-07-12 Pierre-Marie de Rodat New
[Ada] Duplicate copy of IN OUT parameter with -gnatVa - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Duplicate entries for parameters in gnatxref output - - - - --- 2012-10-29 Arnaud Charlet New
[Ada] Duplicate projects due to symbolic links - - - - --- 2014-02-19 Arnaud Charlet New
[Ada] Duplicate projects not detected - - - - --- 2014-01-24 Arnaud Charlet New
[Ada] Duplicate symbol xxxAM due to anonymous access allocation - - - - --- 2015-05-22 Arnaud Charlet New
[Ada] Duplicated D lines in ali files [Ada] Duplicated D lines in ali files - - - - --- 2021-07-08 Pierre-Marie de Rodat New
[Ada] Duplicated SCO for decision in pragma Debug - - - - --- 2011-08-04 Arnaud Charlet New
[Ada] Duplicated index values are displayed for case statements - - - - --- 2013-10-10 Arnaud Charlet New
[Ada] Dynamically resizable, load factor-based hash table [Ada] Dynamically resizable, load factor-based hash table - - - - --- 2018-08-21 Pierre-Marie de Rodat New
[Ada] Dynamically tagged expr of expr function is illegal [Ada] Dynamically tagged expr of expr function is illegal - - - - --- 2017-09-12 Arnaud Charlet New
[Ada] Early finalization of ctrl func result clobbers array element - - - - --- 2016-07-04 Arnaud Charlet New
[Ada] Early finalization of temporary variable when using -gnatE - - - - --- 2014-01-22 Arnaud Charlet New
[Ada] Ease interface with builtins that returns void * - - - - --- 2012-07-16 Arnaud Charlet New
[Ada] Efficiency improvement in bounded ordered containers [Ada] Efficiency improvement in bounded ordered containers - - - - --- 2019-08-20 Pierre-Marie de Rodat New
[Ada] Elaborate Secondary_Stack early - - - - --- 2014-06-13 Arnaud Charlet New
[Ada] Elaboration checks for dispatching calls - - - - --- 2017-04-27 Arnaud Charlet New
[Ada] Elaboration checks in generic units - - - - --- 2010-06-14 Arnaud Charlet New
[Ada] Elaboration issues in record initialization - - - - --- 2011-10-24 Arnaud Charlet New
[Ada] Elaboration of expressions in address clauses - - - - --- 2010-08-05 Arnaud Charlet New
[Ada] Elaboration order v4.0 and generic instantiations [Ada] Elaboration order v4.0 and generic instantiations - - - - --- 2019-07-09 Pierre-Marie de Rodat New
[Ada] Elaboration order v4.0 and infinite loops [Ada] Elaboration order v4.0 and infinite loops - - - - --- 2019-07-11 Pierre-Marie de Rodat New
[Ada] Elaboration order v4.0 and linker switches [Ada] Elaboration order v4.0 and linker switches - - - - --- 2019-07-10 Pierre-Marie de Rodat New
[Ada] Elaboration order v4.0 and output of dependencies [Ada] Elaboration order v4.0 and output of dependencies - - - - --- 2019-07-11 Pierre-Marie de Rodat New
[Ada] Element allocators in indefinite containers need accessibility checks - - - - --- 2012-07-23 Arnaud Charlet New
[Ada] Eliminate early roundoff error for Long_Long_Float on x86 [Ada] Eliminate early roundoff error for Long_Long_Float on x86 - - - - --- 2021-04-28 Pierre-Marie de Rodat New
[Ada] Eliminate extra unwanted reads of volatile objects - - - - --- 2014-07-17 Arnaud Charlet New
[Ada] Eliminate false positives on "no entities ..." message - - - - --- 2014-01-22 Arnaud Charlet New
« 1 2 ... 558 559 560 … 1267 1268 »