Show patches with: Submitter = Pierre-Marie de Rodat       |    State = Action Required       |    Archived = No       |   1252 patches
« 1 2 ... 6 7 812 13 »
Patch Series S/W/F Date Submitter Delegate State
[Ada] Avoid to close irrelevant file descriptors [Ada] Avoid to close irrelevant file descriptors 0 0 0 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 0 0 0 2019-09-17 Pierre-Marie de Rodat New
[Ada] Refine change for bit-packed slices [Ada] Refine change for bit-packed slices 0 0 0 2019-09-17 Pierre-Marie de Rodat New
[Ada] Clarify documentation for Stack_Usage [Ada] Clarify documentation for Stack_Usage 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 2019-09-17 Pierre-Marie de Rodat New
[Ada] Avoid touching potentially nonexistent memory [Ada] Avoid touching potentially nonexistent memory 0 0 0 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 0 0 0 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 0 0 0 2019-09-17 Pierre-Marie de Rodat New
[Ada] Refine conditions for calling Copy_Bitfield [Ada] Refine conditions for calling Copy_Bitfield 0 0 0 2019-09-17 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 0 0 0 2019-08-21 Pierre-Marie de Rodat New
[Ada] More complete information level for -gnatR4 output [Ada] More complete information level for -gnatR4 output 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 2019-08-21 Pierre-Marie de Rodat New
[Ada] Ignore subprogram address in ownership checking [Ada] Ignore subprogram address in ownership checking 0 0 0 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 0 0 0 2019-08-21 Pierre-Marie de Rodat New
[Ada] Missing attribute update in new_copy_tree [Ada] Missing attribute update in new_copy_tree 0 0 0 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 0 0 0 2019-08-21 Pierre-Marie de Rodat New
[Ada] Inconsistent scope chain due to quantified expression [Ada] Inconsistent scope chain due to quantified expression 0 0 0 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 0 0 0 2019-08-20 Pierre-Marie de Rodat New
[Ada] Improve efficiency of aggregates with <> [Ada] Improve efficiency of aggregates with <> 0 0 0 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 0 0 0 2019-08-20 Pierre-Marie de Rodat New
[Ada] Improve speed of discriminated return types [Ada] Improve speed of discriminated return types 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 2019-08-20 Pierre-Marie de Rodat New
[Ada] Suppress Initialize_Scalars for Persistent_BSS [Ada] Suppress Initialize_Scalars for Persistent_BSS 0 0 0 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 0 0 0 2019-08-20 Pierre-Marie de Rodat New
[Ada] Improve generated code for initialization of atomics [Ada] Improve generated code for initialization of atomics 0 0 0 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 0 0 0 2019-08-20 Pierre-Marie de Rodat New
[Ada] More complete information level for -gnatR4 output [Ada] More complete information level for -gnatR4 output 0 0 0 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 0 0 0 2019-08-20 Pierre-Marie de Rodat New
[Ada] Efficiency improvement in bounded ordered containers [Ada] Efficiency improvement in bounded ordered containers 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 2019-08-20 Pierre-Marie de Rodat New
[Ada] Get rid of linear searches in Lib [Ada] Get rid of linear searches in Lib 0 0 0 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 0 0 0 2019-08-20 Pierre-Marie de Rodat New
[Ada] Suppress warnings on unreferenced parameters of dispatching ops [Ada] Suppress warnings on unreferenced parameters of dispatching ops 0 0 0 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 0 0 0 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 0 0 0 2019-08-19 Pierre-Marie de Rodat New
[Ada] Generate ada_target_properties [Ada] Generate ada_target_properties 0 0 0 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 0 0 0 2019-08-19 Pierre-Marie de Rodat New
[Ada] Incorrect code for -gnateV switch [Ada] Incorrect code for -gnateV switch 0 0 0 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 0 0 0 2019-08-19 Pierre-Marie de Rodat New
[Ada] Buffer reading overflow in dispatch table initialization [Ada] Buffer reading overflow in dispatch table initialization 0 0 0 2019-08-19 Pierre-Marie de Rodat New
[Ada] Legality of protected subp. implementing interface operations [Ada] Legality of protected subp. implementing interface operations 0 0 0 2019-08-19 Pierre-Marie de Rodat New
[Ada] Process type extensions for -gnatw.h [Ada] Process type extensions for -gnatw.h 0 0 0 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" 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 2019-08-19 Pierre-Marie de Rodat New
[Ada] Further cleanup in inlining machinery [Ada] Further cleanup in inlining machinery 0 0 0 2019-08-19 Pierre-Marie de Rodat New
[Ada] Fix thinko in Acc_Loop_to_gnu [Ada] Fix thinko in Acc_Loop_to_gnu 0 0 0 2019-08-19 Pierre-Marie de Rodat New
[Ada] Improve performance of Containers.Functional_Base [Ada] Improve performance of Containers.Functional_Base 0 0 0 2019-08-14 Pierre-Marie de Rodat New
[Ada] Spurious error in discriminated aggregate [Ada] Spurious error in discriminated aggregate 0 0 0 2019-08-14 Pierre-Marie de Rodat New
[Ada] Alignment may be specified as zero [Ada] Alignment may be specified as zero 0 0 0 2019-08-14 Pierre-Marie de Rodat New
[Ada] Incorrect error on inline protected function [Ada] Incorrect error on inline protected function 0 0 0 2019-08-14 Pierre-Marie de Rodat New
[Ada] Strengthen Locked flag [Ada] Strengthen Locked flag 0 0 0 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 0 0 0 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 0 0 0 2019-08-14 Pierre-Marie de Rodat New
[Ada] Crash on quantified expression in disabled assertion [Ada] Crash on quantified expression in disabled assertion 0 0 0 2019-08-14 Pierre-Marie de Rodat New
[Ada] Fix spurious ownership error in GNATprove [Ada] Fix spurious ownership error in GNATprove 0 0 0 2019-08-14 Pierre-Marie de Rodat New
[Ada] Fix internal error on inlined subprogram instance [Ada] Fix internal error on inlined subprogram instance 0 0 0 2019-08-14 Pierre-Marie de Rodat New
[Ada] Crash on precondition involving quantified expression [Ada] Crash on precondition involving quantified expression 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 2019-08-14 Pierre-Marie de Rodat New
[Ada] Fix failing assertions on SPARK elaboration [Ada] Fix failing assertions on SPARK elaboration 0 0 0 2019-08-14 Pierre-Marie de Rodat New
[Ada] Build full derivation for private concurrent type [Ada] Build full derivation for private concurrent type 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 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) 0 0 0 2019-08-13 Pierre-Marie de Rodat New
[Ada] Small cleanup and improvement in inlining machinery [Ada] Small cleanup and improvement in inlining machinery 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 2019-08-13 Pierre-Marie de Rodat New
[Ada] Spurious error on nested instantiation [Ada] Spurious error on nested instantiation 0 0 0 2019-08-13 Pierre-Marie de Rodat New
[Ada] Implement pragma Max_Entry_Queue_Length [Ada] Implement pragma Max_Entry_Queue_Length 0 0 0 2019-08-13 Pierre-Marie de Rodat New
[Ada] Avoid spurious errors on dimensionality checking in GNATprove [Ada] Avoid spurious errors on dimensionality checking in GNATprove 0 0 0 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 0 0 0 2019-08-13 Pierre-Marie de Rodat New
[Ada] Wrong initialization of Offset_To_Top in secondary DT [Ada] Wrong initialization of Offset_To_Top in secondary DT 0 0 0 2019-08-13 Pierre-Marie de Rodat New
[Ada] Fix spurious error on nested instantiation with inlining [Ada] Fix spurious error on nested instantiation with inlining 0 0 0 2019-08-13 Pierre-Marie de Rodat New
[Ada] Disable anonymous allocator warning for library-level objects [Ada] Disable anonymous allocator warning for library-level objects 0 0 0 2019-08-13 Pierre-Marie de Rodat New
[Ada] Add ability to list compiler switches with gnatcmd [Ada] Add ability to list compiler switches with gnatcmd 0 0 0 2019-08-13 Pierre-Marie de Rodat New
[Ada] Complete the more extended AST traversal used in GNATprove [Ada] Complete the more extended AST traversal used in GNATprove 0 0 0 2019-08-13 Pierre-Marie de Rodat New
« 1 2 ... 6 7 812 13 »