Show patches with: State = Action Required       |   126642 patches
« 1 2 ... 337 338 339 … 1266 1267 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Avoid spurious errors on dimensionality checking in GNATprove [Ada] Avoid spurious errors on dimensionality checking in GNATprove - - - - --- 2019-08-13 Pierre-Marie de Rodat New
[Ada] Show Bit_Order and Scalar_Storage_Order in -gnatR4 output [Ada] Show Bit_Order and Scalar_Storage_Order in -gnatR4 output - - - - --- 2019-08-13 Pierre-Marie de Rodat New
[Ada] Compiler may blow up on array aggregates whose size is very large [Ada] Compiler may blow up on array aggregates whose size is very large - - - - --- 2019-08-13 Pierre-Marie de Rodat New
[Ada] Do full name qualification of local exception names for LLVM [Ada] Do full name qualification of local exception names for LLVM - - - - --- 2019-08-13 Pierre-Marie de Rodat New
[Ada] Fix incorrect binding to MapViewOfFile in s-win32.ads [Ada] Fix incorrect binding to MapViewOfFile in s-win32.ads - - - - --- 2019-08-13 Pierre-Marie de Rodat New
[Ada] Avoid crash in GNATprove_Mode on allocator inside type [Ada] Avoid crash in GNATprove_Mode on allocator inside type - - - - --- 2019-08-13 Pierre-Marie de Rodat New
[Ada] Avoid crash in GNATprove due to inlining inside type [Ada] Avoid crash in GNATprove due to inlining inside type - - - - --- 2019-08-13 Pierre-Marie de Rodat New
[Ada] Spurious error on nested instantiation [Ada] Spurious error on nested instantiation - - - - --- 2019-08-13 Pierre-Marie de Rodat New
[Ada] Legality rule on ancestors of type extensions in generic bodies [Ada] Legality rule on ancestors of type extensions in generic bodies - - - - --- 2019-08-13 Pierre-Marie de Rodat New
[Ada] Wrong dispatching call in type with aspect Implicit_Dereference [Ada] Wrong dispatching call in type with aspect Implicit_Dereference - - - - --- 2019-08-13 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] Small cleanup and improvement in inlining machinery [Ada] Small cleanup and improvement in inlining machinery - - - - --- 2019-08-13 Pierre-Marie de Rodat New
[Ada] Fix spurious instantiation error on private record type [Ada] Fix spurious instantiation error on private record type - - - - --- 2019-08-13 Pierre-Marie de Rodat New
[Ada] Add conformance check on actual subp. in instance of child unit [Ada] Add conformance check on actual subp. in instance of child unit - - - - --- 2019-08-13 Pierre-Marie de Rodat New
[Ada] Fix bogus style check failure with pragma Style_Checks (Off) [Ada] Fix bogus style check failure with pragma Style_Checks (Off) - - - - --- 2019-08-13 Pierre-Marie de Rodat New
[Ada] Build full derivation for private concurrent type [Ada] Build full derivation for private concurrent type - - - - --- 2019-08-13 Pierre-Marie de Rodat New
[Ada] Fix failing assertions on SPARK elaboration [Ada] Fix failing assertions on SPARK elaboration - - - - --- 2019-08-14 Pierre-Marie de Rodat New
[Ada] Illegal selection of first object in a task type's body not detected [Ada] Illegal selection of first object in a task type's body not detected - - - - --- 2019-08-14 Pierre-Marie de Rodat New
[Ada] Crash on quantified expression in disabled assertion [Ada] Crash on quantified expression in disabled assertion - - - - --- 2019-08-14 Pierre-Marie de Rodat New
[Ada] Crash on precondition involving quantified expression [Ada] Crash on precondition involving quantified expression - - - - --- 2019-08-14 Pierre-Marie de Rodat New
[Ada] Fix internal error on inlined subprogram instance [Ada] Fix internal error on inlined subprogram instance - - - - --- 2019-08-14 Pierre-Marie de Rodat New
[Ada] Fix spurious ownership error in GNATprove [Ada] Fix spurious ownership error in GNATprove - - - - --- 2019-08-14 Pierre-Marie de Rodat New
[Ada] Expose part of ownership checking for use in GNATprove [Ada] Expose part of ownership checking for use in GNATprove - - - - --- 2019-08-14 Pierre-Marie de Rodat New
[Ada] Fix discrepancy in mechanism tracking private and full views [Ada] Fix discrepancy in mechanism tracking private and full views - - - - --- 2019-08-14 Pierre-Marie de Rodat New
[Ada] Check SPARK restriction on Old/Loop_Entry with pointers [Ada] Check SPARK restriction on Old/Loop_Entry with pointers - - - - --- 2019-08-14 Pierre-Marie de Rodat New
[Ada] Incorrect error on inline protected function [Ada] Incorrect error on inline protected function - - - - --- 2019-08-14 Pierre-Marie de Rodat New
[Ada] Alignment may be specified as zero [Ada] Alignment may be specified as zero - - - - --- 2019-08-14 Pierre-Marie de Rodat New
[Ada] Spurious error in discriminated aggregate [Ada] Spurious error in discriminated aggregate - - - - --- 2019-08-14 Pierre-Marie de Rodat New
[Ada] Equality for nonabstract type derived from interface treated as abstract [Ada] Equality for nonabstract type derived from interface treated as abstract - - - - --- 2019-08-14 Pierre-Marie de Rodat New
[Ada] Strengthen Locked flag [Ada] Strengthen Locked flag - - - - --- 2019-08-14 Pierre-Marie de Rodat New
[Ada] Improve performance of Containers.Functional_Base [Ada] Improve performance of Containers.Functional_Base - - - - --- 2019-08-14 Pierre-Marie de Rodat New
[Ada] Fix thinko in Acc_Loop_to_gnu [Ada] Fix thinko in Acc_Loop_to_gnu - - - - --- 2019-08-19 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] Representation clause for derived enumeration type is mishandled [Ada] Representation clause for derived enumeration type is mishandled - - - - --- 2019-08-19 Pierre-Marie de Rodat New
[Ada] Add formal function parameter equality to SPARK containers [Ada] Add formal function parameter equality to SPARK containers - - - - --- 2019-08-19 Pierre-Marie de Rodat New
[Ada] Further cleanup in inlining machinery [Ada] Further cleanup in inlining machinery - - - - --- 2019-08-19 Pierre-Marie de Rodat New
[Ada] Fix internal error on subprogram instantiation with -gnatzc [Ada] Fix internal error on subprogram instantiation with -gnatzc - - - - --- 2019-08-19 Pierre-Marie de Rodat New
[Ada] Fix incorrect stub generation for types in instances [Ada] Fix incorrect stub generation for types in instances - - - - --- 2019-08-19 Pierre-Marie de Rodat New
[Ada] Factor out the "size for& too small..." error message [Ada] Factor out the "size for& too small..." error message - - - - --- 2019-08-19 Pierre-Marie de Rodat New
[Ada] Improve placement of warning on formals of generic subprograms [Ada] Improve placement of warning on formals of generic subprograms - - - - --- 2019-08-19 Pierre-Marie de Rodat New
[Ada] Enable use of GNAT.Sockets for VxWorks RTP [Ada] Enable use of GNAT.Sockets for VxWorks RTP - - - - --- 2019-08-19 Pierre-Marie de Rodat New
[Ada] Improve warnings about "too few elements" and "too many elements" [Ada] Improve warnings about "too few elements" and "too many elements" - - - - --- 2019-08-19 Pierre-Marie de Rodat New
[Ada] Legality of protected subp. implementing interface operations [Ada] Legality of protected subp. implementing interface operations - - - - --- 2019-08-19 Pierre-Marie de Rodat New
[Ada] Buffer reading overflow in dispatch table initialization [Ada] Buffer reading overflow in dispatch table initialization - - - - --- 2019-08-19 Pierre-Marie de Rodat New
[Ada] Process type extensions for -gnatw.h [Ada] Process type extensions for -gnatw.h - - - - --- 2019-08-19 Pierre-Marie de Rodat New
[Ada] Lift restriction on instantiations that are compilation units [Ada] Lift restriction on instantiations that are compilation units - - - - --- 2019-08-19 Pierre-Marie de Rodat New
[Ada] Incorrect code for -gnateV switch [Ada] Incorrect code for -gnateV switch - - - - --- 2019-08-19 Pierre-Marie de Rodat New
[Ada] Conversion routines between GNAT.OS_Lib.OS_Time and long integer [Ada] Conversion routines between GNAT.OS_Lib.OS_Time and long integer - - - - --- 2019-08-19 Pierre-Marie de Rodat New
[Ada] Generate ada_target_properties [Ada] Generate ada_target_properties - - - - --- 2019-08-19 Pierre-Marie de Rodat New
[Ada] Suppress warnings on unreferenced parameters of dispatching ops [Ada] Suppress warnings on unreferenced parameters of dispatching ops - - - - --- 2019-08-19 Pierre-Marie de Rodat New
[Ada] Fix bogus compilation error with Elaborate_Body and -gnatN [Ada] Fix bogus compilation error with Elaborate_Body and -gnatN - - - - --- 2019-08-19 Pierre-Marie de Rodat New
[Ada] Crash on object initialization that is call to expression function [Ada] Crash on object initialization that is call to expression function - - - - --- 2019-08-19 Pierre-Marie de Rodat New
[Ada] Get rid of linear searches in Lib [Ada] Get rid of linear searches in Lib - - - - --- 2019-08-20 Pierre-Marie de Rodat New
[Ada] Revert change for gnatprove that is no longer needed [Ada] Revert change for gnatprove that is no longer needed - - - - --- 2019-08-20 Pierre-Marie de Rodat New
[Ada] Pragma Warning_As_Error works for style warnings [Ada] Pragma Warning_As_Error works for style warnings - - - - --- 2019-08-20 Pierre-Marie de Rodat New
[Ada] Warning for out-of-order record representation clauses [Ada] Warning for out-of-order record representation clauses - - - - --- 2019-08-20 Pierre-Marie de Rodat New
[Ada] Object_Size clause specifying 0 bits is illegal [Ada] Object_Size clause specifying 0 bits is illegal - - - - --- 2019-08-20 Pierre-Marie de Rodat New
[Ada] Warn on Unchecked_Conversion to zero-sized array [Ada] Warn on Unchecked_Conversion to zero-sized array - - - - --- 2019-08-20 Pierre-Marie de Rodat New
[Ada] Efficiency improvement in bounded ordered containers [Ada] Efficiency improvement in bounded ordered containers - - - - --- 2019-08-20 Pierre-Marie de Rodat New
[Ada] More complete information level for -gnatR4 output [Ada] More complete information level for -gnatR4 output - - - - --- 2019-08-20 Pierre-Marie de Rodat New
[Ada] Improve generated code for initialization of atomics [Ada] Improve generated code for initialization of atomics - - - - --- 2019-08-20 Pierre-Marie de Rodat New
[Ada] Enable delta_aggregate only in Ada 2020 mode [Ada] Enable delta_aggregate only in Ada 2020 mode - - - - --- 2019-08-20 Pierre-Marie de Rodat New
[Ada] Illegal limited function call accepted in a type conversion [Ada] Illegal limited function call accepted in a type conversion - - - - --- 2019-08-20 Pierre-Marie de Rodat New
[Ada] Spurious error in dispatching call with class-wide precondition [Ada] Spurious error in dispatching call with class-wide precondition - - - - --- 2019-08-20 Pierre-Marie de Rodat New
[Ada] Suppress Initialize_Scalars for Persistent_BSS [Ada] Suppress Initialize_Scalars for Persistent_BSS - - - - --- 2019-08-20 Pierre-Marie de Rodat New
[Ada] Crash on Loop_Entry for while_loop involving substrings [Ada] Crash on Loop_Entry for while_loop involving substrings - - - - --- 2019-08-20 Pierre-Marie de Rodat New
[Ada] Improve speed of discriminated return types [Ada] Improve speed of discriminated return types - - - - --- 2019-08-20 Pierre-Marie de Rodat New
[Ada] Set GNAT.OS_Lib.GM_Split's granularity back to 1 second [Ada] Set GNAT.OS_Lib.GM_Split's granularity back to 1 second - - - - --- 2019-08-20 Pierre-Marie de Rodat New
[Ada] Adapt GNATprove expansion for slices with access prefix [Ada] Adapt GNATprove expansion for slices with access prefix - - - - --- 2019-08-20 Pierre-Marie de Rodat New
[Ada] Improve efficiency of aggregates with <> [Ada] Improve efficiency of aggregates with <> - - - - --- 2019-08-20 Pierre-Marie de Rodat New
[Ada] Crash on a Storage_Size aspect depending on attr. of another type [Ada] Crash on a Storage_Size aspect depending on attr. of another type - - - - --- 2019-08-20 Pierre-Marie de Rodat New
[Ada] Inconsistent scope chain due to quantified expression [Ada] Inconsistent scope chain due to quantified expression - - - - --- 2019-08-20 Pierre-Marie de Rodat New
[Ada] Missing attribute update in new_copy_tree [Ada] Missing attribute update in new_copy_tree - - - - --- 2019-08-21 Pierre-Marie de Rodat New
[Ada] Max_Entry_Queue_Length aspect for protected entries [Ada] Max_Entry_Queue_Length aspect for protected entries - - - - --- 2019-08-21 Pierre-Marie de Rodat New
[Ada] Avoid spurious error in GNATprove mode on non-null access types [Ada] Avoid spurious error in GNATprove mode on non-null access types - - - - --- 2019-08-21 Pierre-Marie de Rodat New
[Ada] Fix assertion failure on derived private protected type [Ada] Fix assertion failure on derived private protected type - - - - --- 2019-08-21 Pierre-Marie de Rodat New
[Ada] Fix type mismatch in extended return statement expansion [Ada] Fix type mismatch in extended return statement expansion - - - - --- 2019-08-21 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] Ignore subprogram address in ownership checking [Ada] Ignore subprogram address in ownership checking - - - - --- 2019-08-21 Pierre-Marie de Rodat New
[Ada] Undefined master in task with limited class-wide aliased entry formal [Ada] Undefined master in task with limited class-wide aliased entry formal - - - - --- 2019-08-21 Pierre-Marie de Rodat New
[Ada] Improve detection of end of the process by GNAT.Expect [Ada] Improve detection of end of the process by GNAT.Expect - - - - --- 2019-08-21 Pierre-Marie de Rodat New
[Ada] More precise propagation of Size attribute in generic instances [Ada] More precise propagation of Size attribute in generic instances - - - - --- 2019-08-21 Pierre-Marie de Rodat New
[Ada] More complete information level for -gnatR4 output [Ada] More complete information level for -gnatR4 output - - - - --- 2019-08-21 Pierre-Marie de Rodat New
[Ada] Refine conditions for calling Copy_Bitfield [Ada] Refine conditions for calling Copy_Bitfield - - - - --- 2019-09-17 Pierre-Marie de Rodat New
[Ada] Fix wrong value of 'Size for slices of bit-packed arrays [Ada] Fix wrong value of 'Size for slices of bit-packed arrays - - - - --- 2019-09-17 Pierre-Marie de Rodat New
[Ada] Support for local unix sockets in GNAT.Sockets API [Ada] Support for local unix sockets in GNAT.Sockets API - - - - --- 2019-09-17 Pierre-Marie de Rodat New
[Ada] Avoid touching potentially nonexistent memory [Ada] Avoid touching potentially nonexistent memory - - - - --- 2019-09-17 Pierre-Marie de Rodat New
[Ada] A new utility routine for detecting attribute 'Old [Ada] A new utility routine for detecting attribute 'Old - - - - --- 2019-09-17 Pierre-Marie de Rodat New
[Ada] Adding assertions on extra formals for BIP function calls [Ada] Adding assertions on extra formals for BIP function calls - - - - --- 2019-09-17 Pierre-Marie de Rodat New
[Ada] In a generic use Presanalyze_Spec_Expression on Predicates [Ada] In a generic use Presanalyze_Spec_Expression on Predicates - - - - --- 2019-09-17 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] GNATprove: avoid crash on illegal borrow during package elaboration [Ada] GNATprove: avoid crash on illegal borrow during package elaboration - - - - --- 2019-09-17 Pierre-Marie de Rodat New
[Ada] Missing tagged type decoration in corresponding record subtypes [Ada] Missing tagged type decoration in corresponding record subtypes - - - - --- 2019-09-17 Pierre-Marie de Rodat 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] Ignore missing ALI files in GNATprove mode [Ada] Ignore missing ALI files in GNATprove mode - - - - --- 2019-09-17 Pierre-Marie de Rodat New
[Ada] Clarify documentation for Stack_Usage [Ada] Clarify documentation for Stack_Usage - - - - --- 2019-09-17 Pierre-Marie de Rodat New
[Ada] GNAT.Expect (Expect_Internal): Try to call 'poll' few times [Ada] GNAT.Expect (Expect_Internal): Try to call 'poll' few times - - - - --- 2019-09-17 Pierre-Marie de Rodat New
[Ada] PR ada/91268 Do not redefine macros [Ada] PR ada/91268 Do not redefine macros - - - - --- 2019-09-17 Pierre-Marie de Rodat New
[Ada] Ada 2020: Raise expressions in limited contexts (AI12-0172) [Ada] Ada 2020: Raise expressions in limited contexts (AI12-0172) - - - - --- 2019-09-17 Pierre-Marie de Rodat New
[Ada] Avoid to close irrelevant file descriptors [Ada] Avoid to close irrelevant file descriptors - - - - --- 2019-09-17 Pierre-Marie de Rodat New
« 1 2 ... 337 338 339 … 1266 1267 »