Show patches with: Submitter = Pierre-Marie de Rodat       |    State = Action Required       |    Archived = No       |   734 patches
« 1 2 3 47 8 »
Patch Series S/W/F Date Submitter Delegate State
[Ada] Fix awkward placement of freeze node for actual subtype [Ada] Fix awkward placement of freeze node for actual subtype 0 0 0 2019-10-10 Pierre-Marie de Rodat New
[Ada] Add pragma Preelaborable_Initialization to Stream_IO.File_Type [Ada] Add pragma Preelaborable_Initialization to Stream_IO.File_Type 0 0 0 2019-10-10 Pierre-Marie de Rodat New
[Ada] Unnesting issues with entry families and accept statements [Ada] Unnesting issues with entry families and accept statements 0 0 0 2019-10-10 Pierre-Marie de Rodat New
[Ada] Get rid of spurious error for _Tag on extension with reverse bit order [Ada] Get rid of spurious error for _Tag on extension with reverse bit order 0 0 0 2019-10-10 Pierre-Marie de Rodat New
[Ada] Plug minor loophole for integer named number [Ada] Plug minor loophole for integer named number 0 0 0 2019-10-10 Pierre-Marie de Rodat New
[Ada] T'Size in pragma Compile_Time_Error [Ada] T'Size in pragma Compile_Time_Error 0 0 0 2019-10-10 Pierre-Marie de Rodat New
[Ada] Ensure constructor is a C++ constructor [Ada] Ensure constructor is a C++ constructor 0 0 0 2019-10-10 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 0 0 0 2019-10-10 Pierre-Marie de Rodat New
[Ada] Spurious visibility error on formal package with Abstract_State [Ada] Spurious visibility error on formal package with Abstract_State 0 0 0 2019-10-10 Pierre-Marie de Rodat New
[Ada] Spurious warning on call with out parameter in expression function [Ada] Spurious warning on call with out parameter in expression function 0 0 0 2019-10-10 Pierre-Marie de Rodat New
[Ada] Handling up-level references in loops within library-level declarations [Ada] Handling up-level references in loops within library-level declarations 0 0 0 2019-10-10 Pierre-Marie de Rodat New
[Ada] Fix inlining of subprograms with deep param/result in GNATprove [Ada] Fix inlining of subprograms with deep param/result in GNATprove 0 0 0 2019-10-10 Pierre-Marie de Rodat New
[Ada] 'others' in conditional_expressions [Ada] 'others' in conditional_expressions 0 0 0 2019-10-10 Pierre-Marie de Rodat New
[Ada] Flag Sec_Stack_Used incorrectly set by ghost code [Ada] Flag Sec_Stack_Used incorrectly set by ghost code 0 0 0 2019-10-10 Pierre-Marie de Rodat New
[Ada] Assertion_Policy (Ignore) ignores invariants [Ada] Assertion_Policy (Ignore) ignores invariants 0 0 0 2019-10-10 Pierre-Marie de Rodat New
[Ada] Spurious visibility error in predicate in generic instance [Ada] Spurious visibility error in predicate in generic instance 0 0 0 2019-10-10 Pierre-Marie de Rodat New
[Ada] Generation of procedures for blocks occurring in elaboration code for LLVM [Ada] Generation of procedures for blocks occurring in elaboration code for LLVM 0 0 0 2019-10-10 Pierre-Marie de Rodat New
[Ada] Use declared type for deciding on SPARK pointer rules [Ada] Use declared type for deciding on SPARK pointer rules 0 0 0 2019-10-10 Pierre-Marie de Rodat New
[Ada] Spurious restriction violation on Ghost code [Ada] Spurious restriction violation on Ghost code 0 0 0 2019-10-10 Pierre-Marie de Rodat New
[Ada] Disable inlining of traversal function in GNATprove [Ada] Disable inlining of traversal function in GNATprove 0 0 0 2019-09-19 Pierre-Marie de Rodat New
[Ada] Improve handling of explicit by-reference mechanism [Ada] Improve handling of explicit by-reference mechanism 0 0 0 2019-09-19 Pierre-Marie de Rodat New
[Ada] Fix bogus "too late" error with nested generics and inlining [Ada] Fix bogus "too late" error with nested generics and inlining 0 0 0 2019-09-19 Pierre-Marie de Rodat New
[Ada] Streamline comparison for equality of 2-element arrays [Ada] Streamline comparison for equality of 2-element arrays 0 0 0 2019-09-19 Pierre-Marie de Rodat New
[Ada] Get rid of useless temporary for slice in overaligned record type [Ada] Get rid of useless temporary for slice in overaligned record type 0 0 0 2019-09-19 Pierre-Marie de Rodat New
[Ada] Fix bogus visibility error with nested generics and inlining [Ada] Fix bogus visibility error with nested generics and inlining 0 0 0 2019-09-19 Pierre-Marie de Rodat New
[Ada] gnatxref: infinite loop on symbols not found [Ada] gnatxref: infinite loop on symbols not found 0 0 0 2019-09-19 Pierre-Marie de Rodat New
[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] Memory leak with 'Range of a function call in a loop [Ada] Memory leak with 'Range of a function call in a loop 0 0 0 2019-09-19 Pierre-Marie de Rodat New
[Ada] Infinite loop with concatenation and aspect [Ada] Infinite loop with concatenation and aspect 0 0 0 2019-09-19 Pierre-Marie de Rodat New
[Ada] Fix copy operation with private discriminated record type [Ada] Fix copy operation with private discriminated record type 0 0 0 2019-09-19 Pierre-Marie de Rodat New
[Ada] Accept concatentation arguments to pragma Annotate [Ada] Accept concatentation arguments to pragma Annotate 0 0 0 2019-09-19 Pierre-Marie de Rodat New
[Ada] Remove duplicated routines for getting homonym number [Ada] Remove duplicated routines for getting homonym number 0 0 0 2019-09-19 Pierre-Marie de Rodat New
[Ada] Fix run-time segfault with derived access-to-subprogram type [Ada] Fix run-time segfault with derived access-to-subprogram type 0 0 0 2019-09-19 Pierre-Marie de Rodat New
[Ada] Crash on predicate in full view in a generic unit [Ada] Crash on predicate in full view in a generic unit 0 0 0 2019-09-19 Pierre-Marie de Rodat New
[Ada] Allow constants of access type in Global contracts [Ada] Allow constants of access type in Global contracts 0 0 0 2019-09-19 Pierre-Marie de Rodat New
[Ada] Fix spurious type mismatch failure on nested instantiations [Ada] Fix spurious type mismatch failure on nested instantiations 0 0 0 2019-09-19 Pierre-Marie de Rodat New
[Ada] Emit DW_AT_GNU_bias with -fgnat-encodings=gdb [Ada] Emit DW_AT_GNU_bias with -fgnat-encodings=gdb 0 0 0 2019-09-19 Pierre-Marie de Rodat New
[Ada] Fix fallout of previous change for bit-packed arrays [Ada] Fix fallout of previous change for bit-packed arrays 0 0 0 2019-09-19 Pierre-Marie de Rodat New
[Ada] Use declared type for deciding on SPARK pointer rules [Ada] Use declared type for deciding on SPARK pointer rules 0 0 0 2019-09-19 Pierre-Marie de Rodat New
[Ada] New routine GNAT.Sockets.Create_Socket_Pair [Ada] New routine GNAT.Sockets.Create_Socket_Pair 0 0 0 2019-09-19 Pierre-Marie de Rodat New
[Ada] Implement Machine_Rounding attribute in line when possible [Ada] Implement Machine_Rounding attribute in line when possible 0 0 0 2019-09-19 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] Avoid touching potentially nonexistent memory [Ada] Avoid touching potentially nonexistent memory 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] 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] 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 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] 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] 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] 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
« 1 2 3 47 8 »