Show patches with: Submitter = Pierre-Marie de Rodat       |    State = Action Required       |    Archived = No       |   954 patches
« 1 2 3 49 10 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[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] 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] 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] 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] 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] 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] 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] 'others' in conditional_expressions [Ada] 'others' in conditional_expressions - - - - 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] Spurious ineffective use_clause warning [Ada] Spurious ineffective use_clause warning - - - - 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] 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] 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] 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] 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] 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] 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 style issues in functional maps [Ada] Fix style issues in functional maps - - - - 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 typo in error message [Ada] Fix typo in error message - - - - 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] 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] 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] 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] 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 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] 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] Clarify documentation for Stack_Usage [Ada] Clarify documentation for Stack_Usage - - - - 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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
« 1 2 3 49 10 »