Show patches with: Submitter = Pierre-Marie de Rodat       |    State = Action Required       |    Archived = No       |   794 patches
« 1 2 3 47 8 »
Patch Series S/W/F Date Submitter Delegate State
[Ada] Suppress GNAT FE up-level reference transformation for GNAT-LLVM [Ada] Suppress GNAT FE up-level reference transformation for GNAT-LLVM 0 0 0 2019-09-19 Pierre-Marie de Rodat New
[Ada] Implement AI12-0086's rules for discriminants in aggregates [Ada] Implement AI12-0086's rules for discriminants in aggregates 0 0 0 2019-09-18 Pierre-Marie de Rodat New
[Ada] Code cleanup of alignment representation clauses in dispatch tables [Ada] Code cleanup of alignment representation clauses in dispatch tables 0 0 0 2019-09-18 Pierre-Marie de Rodat New
[Ada] Fix portability issues in access to subprograms [Ada] Fix portability issues in access to subprograms 0 0 0 2019-09-18 Pierre-Marie de Rodat New
[Ada] Use static discriminant value for discriminated task record [Ada] Use static discriminant value for discriminated task record 0 0 0 2019-09-18 Pierre-Marie de Rodat New
[Ada] Refine type of Get_Homonym_Number result [Ada] Refine type of Get_Homonym_Number result 0 0 0 2019-09-18 Pierre-Marie de Rodat New
[Ada] Fix spurious alignment warning on simple address clause [Ada] Fix spurious alignment warning on simple address clause 0 0 0 2019-09-18 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 0 0 0 2019-09-18 Pierre-Marie de Rodat New
[Ada] Crash on universal case expression in fixed-point division [Ada] Crash on universal case expression in fixed-point division 0 0 0 2019-09-18 Pierre-Marie de Rodat New
[Ada] Fix sharing of expression in array aggregate with others choice [Ada] Fix sharing of expression in array aggregate with others choice 0 0 0 2019-09-18 Pierre-Marie de Rodat New
[Ada] Improve efficiency of copying bit-packed slices [Ada] Improve efficiency of copying bit-packed slices 0 0 0 2019-09-18 Pierre-Marie de Rodat New
[Ada] Missing accessibility check on discrim assignment [Ada] Missing accessibility check on discrim assignment 0 0 0 2019-09-18 Pierre-Marie de Rodat New
[Ada] Crash on aggregate with dscriminant in if-expression as default [Ada] Crash on aggregate with dscriminant in if-expression as default 0 0 0 2019-09-18 Pierre-Marie de Rodat New
[Ada] Avoid gnatbind regression caused by Copy_Bitfield [Ada] Avoid gnatbind regression caused by Copy_Bitfield 0 0 0 2019-09-18 Pierre-Marie de Rodat New
[Ada] Spurious ineffective use_clause warning [Ada] Spurious ineffective use_clause warning 0 0 0 2019-09-18 Pierre-Marie de Rodat New
[Ada] Skip entity name qualification in GNATprove mode [Ada] Skip entity name qualification in GNATprove mode 0 0 0 2019-09-18 Pierre-Marie de Rodat New
[Ada] Avoid uninitialized variable in bounded containers [Ada] Avoid uninitialized variable in bounded containers 0 0 0 2019-09-18 Pierre-Marie de Rodat New
[Ada] Fix errno for rename for the VxWorks 6 target [Ada] Fix errno for rename for the VxWorks 6 target 0 0 0 2019-09-18 Pierre-Marie de Rodat New
[Ada] Fix style issues in functional maps [Ada] Fix style issues in functional maps 0 0 0 2019-09-18 Pierre-Marie de Rodat New
[Ada] Factor out code for deciding statically known Constrained attributes [Ada] Factor out code for deciding statically known Constrained attributes 0 0 0 2019-09-18 Pierre-Marie de Rodat New
[Ada] Ensure that Scan_Real result does not depend on trailing zeros [Ada] Ensure that Scan_Real result does not depend on trailing zeros 0 0 0 2019-09-18 Pierre-Marie de Rodat New
[Ada] Fix typo in error message [Ada] Fix typo in error message 0 0 0 2019-09-18 Pierre-Marie de Rodat New
[Ada] Fix 32/64bit mistake on SYSTEM_INFO component in s-win32 [Ada] Fix 32/64bit mistake on SYSTEM_INFO component in s-win32 0 0 0 2019-09-18 Pierre-Marie de Rodat New
[Ada] Raise exception on call to Expect for a dead process [Ada] Raise exception on call to Expect for a dead process 0 0 0 2019-09-18 Pierre-Marie de Rodat New
[Ada] No Storage_Error for an oversized disabled ghost array object [Ada] No Storage_Error for an oversized disabled ghost array object 0 0 0 2019-09-18 Pierre-Marie de Rodat New
[Ada] Minor fixes mostly in comments of runtime arithmetic unit [Ada] Minor fixes mostly in comments of runtime arithmetic unit 0 0 0 2019-09-17 Pierre-Marie de Rodat New
[Ada] Force even timestamp in Windows ALI files [Ada] Force even timestamp in Windows ALI files 0 0 0 2019-09-17 Pierre-Marie de Rodat New
[Ada] Add Remove primitive on functional maps [Ada] Add Remove primitive on functional maps 0 0 0 2019-09-17 Pierre-Marie de Rodat New
[Ada] Fix possible suppressed overflows in arithmetic run-time [Ada] Fix possible suppressed overflows in arithmetic run-time 0 0 0 2019-09-17 Pierre-Marie de Rodat New
[Ada] Missing propagation of Has_Predicates in cloned subtypes [Ada] Missing propagation of Has_Predicates in cloned subtypes 0 0 0 2019-09-17 Pierre-Marie de Rodat New
[Ada] Fix rounding of fixed-point arithmetic operation [Ada] Fix rounding of fixed-point arithmetic operation 0 0 0 2019-09-17 Pierre-Marie de Rodat New
[Ada] Update the character type comment in exp_dbug.ads [Ada] Update the character type comment in exp_dbug.ads 0 0 0 2019-09-17 Pierre-Marie de Rodat New
[Ada] Fix ineffective -gnatyN for separate compilation units [Ada] Fix ineffective -gnatyN for separate compilation units 0 0 0 2019-09-17 Pierre-Marie de Rodat New
[Ada] Raise Constraint_Error in overflow case involving rounding [Ada] Raise Constraint_Error in overflow case involving rounding 0 0 0 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) 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] Don't accept illegal (e.g., Integer'(null)) generic actuals [Ada] Don't accept illegal (e.g., Integer'(null)) generic actuals 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] 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] GNATprove: avoid crash on illegal borrow during package elaboration [Ada] GNATprove: avoid crash on illegal borrow during package elaboration 0 0 0 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 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] PR ada/91268 Do not redefine macros [Ada] PR ada/91268 Do not redefine macros 0 0 0 2019-09-17 Pierre-Marie de Rodat New
[Ada] Support chained calls to traversal functions in SPARK [Ada] Support chained calls to traversal functions in SPARK 0 0 0 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 0 0 0 2019-09-17 Pierre-Marie de Rodat New
[Ada] Ignore missing ALI files in GNATprove mode [Ada] Ignore missing ALI files in GNATprove mode 0 0 0 2019-09-17 Pierre-Marie de Rodat New
[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] 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] Avoid touching potentially nonexistent memory [Ada] Avoid touching potentially nonexistent memory 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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 efficiency of aggregates with <> [Ada] Improve efficiency of aggregates with <> 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] Incorrect code for -gnateV switch [Ada] Incorrect code for -gnateV switch 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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
« 1 2 3 47 8 »