Show patches with: Submitter = Marc Poulhiès       |    State = Action Required       |    Archived = No       |   966 patches
« 1 2 3 49 10 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[COMMITTED] Update year in Gnatvsn [COMMITTED] Update year in Gnatvsn - - - - --- 2024-01-23 Marc Poulhiès New
[COMMITTED] ada: Document new SPARK aspect and pragma Always_Terminates [COMMITTED] ada: Document new SPARK aspect and pragma Always_Terminates - - - - --- 2024-01-09 Marc Poulhiès New
[COMMITTED] ada: Fix bogus Constraint_Error on allocator for access to array of access type [COMMITTED] ada: Fix bogus Constraint_Error on allocator for access to array of access type - - - - --- 2024-01-09 Marc Poulhiès New
[COMMITTED] ada: Preliminary cleanup in aliasing support code [COMMITTED] ada: Preliminary cleanup in aliasing support code - - - - --- 2024-01-09 Marc Poulhiès New
[COMMITTED] ada: Do not count comparison of addresses as a modification [COMMITTED] ada: Do not count comparison of addresses as a modification - - - - --- 2024-01-09 Marc Poulhiès New
[COMMITTED] ada: Minor change replacing "not Present" tests with "No" tests [COMMITTED] ada: Minor change replacing "not Present" tests with "No" tests - - - - --- 2024-01-09 Marc Poulhiès New
[COMMITTED] ada: Allow passing private types to generic formal incomplete types [COMMITTED] ada: Allow passing private types to generic formal incomplete types - - - - --- 2024-01-09 Marc Poulhiès New
[COMMITTED] ada: Excess elements created for indexed aggregates with iterator_specifications [COMMITTED] ada: Excess elements created for indexed aggregates with iterator_specifications - - - - --- 2024-01-09 Marc Poulhiès New
[COMMITTED] ada: Remove unused runtime entity [COMMITTED] ada: Remove unused runtime entity - - - - --- 2024-01-09 Marc Poulhiès New
[COMMITTED] ada: Fix limited_with in Check_Scil; allow for <> in pp of aggregate [COMMITTED] ada: Fix limited_with in Check_Scil; allow for <> in pp of aggregate - - - - --- 2024-01-09 Marc Poulhiès New
[COMMITTED] ada: Fix internal error on class-wide allocator inside if-expression [COMMITTED] ada: Fix internal error on class-wide allocator inside if-expression - - - - --- 2024-01-09 Marc Poulhiès New
[COMMITTED] ada: Add __atomic_store_n binding to System.Atomic_Primitives [COMMITTED] ada: Add __atomic_store_n binding to System.Atomic_Primitives - - - - --- 2024-01-09 Marc Poulhiès New
[COMMITTED] ada: Cannot requeue to a procedure implemented by an entry [COMMITTED] ada: Cannot requeue to a procedure implemented by an entry - - - - --- 2024-01-09 Marc Poulhiès New
[COMMITTED] ada: Remove side effects depending on the context of subtype declaration [COMMITTED] ada: Remove side effects depending on the context of subtype declaration - - - - --- 2024-01-09 Marc Poulhiès New
[COMMITTED] ada: More aggressive inlining of subprogram calls in GNATprove mode [COMMITTED] ada: More aggressive inlining of subprogram calls in GNATprove mode - - - - --- 2024-01-09 Marc Poulhiès New
[COMMITTED] ada: Remove dead detection of recursive inlined subprograms [COMMITTED] ada: Remove dead detection of recursive inlined subprograms - - - - --- 2024-01-09 Marc Poulhiès New
[COMMITTED] ada: Remove dead code for GNATprove inlining [COMMITTED] ada: Remove dead code for GNATprove inlining - - - - --- 2024-01-09 Marc Poulhiès New
[COMMITTED] ada: Fix uses of not Present [COMMITTED] ada: Fix uses of not Present - - - - --- 2024-01-09 Marc Poulhiès New
[COMMITTED] ada: Fix bug in Sem_Util.Enclosing_Declaration [COMMITTED] ada: Fix bug in Sem_Util.Enclosing_Declaration - - - - --- 2024-01-09 Marc Poulhiès New
[COMMITTED] ada: Error compiling Ada 2022 object renaming with no subtype mark [COMMITTED] ada: Error compiling Ada 2022 object renaming with no subtype mark - - - - --- 2024-01-09 Marc Poulhiès New
[COMMITTED] ada: Fix precondition in Interfaces.C.Strings [COMMITTED] ada: Fix precondition in Interfaces.C.Strings - - - - --- 2024-01-09 Marc Poulhiès New
[COMMITTED] ada: Remove unreachable code in Resolve_Extension_Aggregate [COMMITTED] ada: Remove unreachable code in Resolve_Extension_Aggregate - - - - --- 2024-01-09 Marc Poulhiès New
[COMMITTED] ada: Avoid xref on out params of TSS [COMMITTED] ada: Avoid xref on out params of TSS - - - - --- 2024-01-09 Marc Poulhiès New
[COMMITTED] ada: Add makefile targets for building/installing html doc [COMMITTED] ada: Add makefile targets for building/installing html doc - - - - --- 2023-12-19 Marc Poulhiès New
[COMMITTED] ada: Fix internal error on call with parameter of predicated subtype [COMMITTED] ada: Fix internal error on call with parameter of predicated subtype - - - - --- 2023-12-19 Marc Poulhiès New
[COMMITTED] ada: Check all interfaces for valid iterator type [COMMITTED] ada: Check all interfaces for valid iterator type - - - - --- 2023-12-19 Marc Poulhiès New
[COMMITTED] ada: Missing error on positional container aggregates for types with Add_Named [COMMITTED] ada: Missing error on positional container aggregates for types with Add_Named - - - - --- 2023-12-19 Marc Poulhiès New
[COMMITTED] ada: Remove GNATcheck violations [COMMITTED] ada: Remove GNATcheck violations - - - - --- 2023-12-19 Marc Poulhiès New
[COMMITTED] ada: Rework comment in Expand_Ctrl_Function_Call [COMMITTED] ada: Rework comment in Expand_Ctrl_Function_Call - - - - --- 2023-12-19 Marc Poulhiès New
[COMMITTED] ada: Compiler hangs on container aggregate with function call as key expression [COMMITTED] ada: Compiler hangs on container aggregate with function call as key expression - - - - --- 2023-12-19 Marc Poulhiès New
[COMMITTED] ada: Fix style and typos in comments [COMMITTED] ada: Fix style and typos in comments - - - - --- 2023-12-19 Marc Poulhiès New
[COMMITTED] ada: Remove unreferenced utility routine Get_Logical_Line_Number_Img [COMMITTED] ada: Remove unreferenced utility routine Get_Logical_Line_Number_Img - - - - --- 2023-12-19 Marc Poulhiès New
[COMMITTED] ada: gnatbind: Do not generate Ada.Command_Line references when not used [COMMITTED] ada: gnatbind: Do not generate Ada.Command_Line references when not used - - - - --- 2023-12-19 Marc Poulhiès New
[COMMITTED] ada: Optimize performance and remove dynamic frame requirement. [COMMITTED] ada: Optimize performance and remove dynamic frame requirement. - - - - --- 2023-12-19 Marc Poulhiès New
[COMMITTED] ada: Ignore unconstrained components as inputs for Depends [COMMITTED] ada: Ignore unconstrained components as inputs for Depends - - - - --- 2023-12-19 Marc Poulhiès New
[COMMITTED] ada: Rename Is_Constr_Subt_For_UN_Aliased flag [COMMITTED] ada: Rename Is_Constr_Subt_For_UN_Aliased flag - - - - --- 2023-12-19 Marc Poulhiès New
[COMMITTED] ada: Remove No_Dynamic_Priorities from Restricted_Tasking [COMMITTED] ada: Remove No_Dynamic_Priorities from Restricted_Tasking - - - - --- 2023-12-19 Marc Poulhiès New
[COMMITTED] ada: Adapt Ada.Command_Line to work on configurable runtimes [COMMITTED] ada: Adapt Ada.Command_Line to work on configurable runtimes - - - - --- 2023-12-19 Marc Poulhiès New
[COMMITTED] ada: Fix crash on concurrent type aggregate [COMMITTED] ada: Fix crash on concurrent type aggregate - - - - --- 2023-12-19 Marc Poulhiès New
[COMMITTED] ada: Further cleanup in finalization machinery [COMMITTED] ada: Further cleanup in finalization machinery - - - - --- 2023-12-19 Marc Poulhiès New
[COMMITTED] ada: Fix SPARK expansion of container aggregates [COMMITTED] ada: Fix SPARK expansion of container aggregates - - - - --- 2023-12-19 Marc Poulhiès New
[COMMITTED] ada: Add missing guard to previous change [COMMITTED] ada: Add missing guard to previous change - - - - --- 2023-12-19 Marc Poulhiès New
[COMMITTED] ada: Fix spurious visibility error on parent's component in instance [COMMITTED] ada: Fix spurious visibility error on parent's component in instance - - - - --- 2023-12-19 Marc Poulhiès New
[COMMITTED] ada: Plug small loophole in finalization machinery [COMMITTED] ada: Plug small loophole in finalization machinery - - - - --- 2023-12-19 Marc Poulhiès New
[COMMITTED] ada: Cope with Sem_Util.Enclosing_Declaration oddness. [COMMITTED] ada: Cope with Sem_Util.Enclosing_Declaration oddness. - - - - --- 2023-12-19 Marc Poulhiès New
[COMMITTED] ada: Restore object constraint optimization [COMMITTED] ada: Restore object constraint optimization - - - - --- 2023-12-19 Marc Poulhiès New
[COMMITTED] ada: Do not issue SPARK legality error if SPARK_Mode ignored [COMMITTED] ada: Do not issue SPARK legality error if SPARK_Mode ignored - - - - --- 2023-12-19 Marc Poulhiès New
[COMMITTED] ada: Cleanup SPARK legality checking [COMMITTED] ada: Cleanup SPARK legality checking - - - - --- 2023-12-19 Marc Poulhiès New
[COMMITTED] ada: Illegal instance of Generic_1.Generic_2 incorrectly accepted [COMMITTED] ada: Illegal instance of Generic_1.Generic_2 incorrectly accepted - - - - --- 2023-12-19 Marc Poulhiès New
[COMMITTED] ada: Further cleanup in finalization machinery [COMMITTED] ada: Further cleanup in finalization machinery - - - - --- 2023-12-19 Marc Poulhiès New
[v2] testsuite: adjust call to abort in excess-precision-12 [v2] testsuite: adjust call to abort in excess-precision-12 - - - - --- 2023-12-11 Marc Poulhiès New
testsuite: require avx_runtime for vect-simd-clone-17f testsuite: require avx_runtime for vect-simd-clone-17f - - - - --- 2023-12-07 Marc Poulhiès New
testsuite: adjust call to abort in excess-precision-12 testsuite: adjust call to abort in excess-precision-12 - - - - --- 2023-12-07 Marc Poulhiès New
testsuite: add missing dg-require ifunc in pr105554.c testsuite: add missing dg-require ifunc in pr105554.c - - - - --- 2023-12-07 Marc Poulhiès New
[COMMITTED] ada: Rework fix for wrong finalization of qualified aggregate in allocator [COMMITTED] ada: Rework fix for wrong finalization of qualified aggregate in allocator - - - - --- 2023-11-30 Marc Poulhiès New
[COMMITTED] ada: Support Put_Image for types in user-defined instances of predefined generics. [COMMITTED] ada: Support Put_Image for types in user-defined instances of predefined generics. - - - - --- 2023-11-30 Marc Poulhiès New
[COMMITTED] ada: Remove SPARK legality checks [COMMITTED] ada: Remove SPARK legality checks - - - - --- 2023-11-30 Marc Poulhiès New
[COMMITTED] ada: Remove GNATcheck violations [COMMITTED] ada: Remove GNATcheck violations - - - - --- 2023-11-30 Marc Poulhiès New
[COMMITTED] ada: Ignore defered compile time errors without backend [COMMITTED] ada: Ignore defered compile time errors without backend - - - - --- 2023-11-30 Marc Poulhiès New
[COMMITTED] ada: Fix spelling of functions with(out) "side effects" [COMMITTED] ada: Fix spelling of functions with(out) "side effects" - - - - --- 2023-11-30 Marc Poulhiès New
[COMMITTED] ada: Crash initializing component of private record type [COMMITTED] ada: Crash initializing component of private record type - - - - --- 2023-11-30 Marc Poulhiès New
[COMMITTED] ada: Name resolution in expanded instances [COMMITTED] ada: Name resolution in expanded instances - - - - --- 2023-11-30 Marc Poulhiès New
[COMMITTED] ada: Add comment describing Partition_Elaboration_Policy dependency. [COMMITTED] ada: Add comment describing Partition_Elaboration_Policy dependency. - - - - --- 2023-11-30 Marc Poulhiès New
[COMMITTED] ada: Too-strict conformance checking for formal discriminated type [COMMITTED] ada: Too-strict conformance checking for formal discriminated type - - - - --- 2023-11-30 Marc Poulhiès New
[COMMITTED] ada: Fix predicate check failure in Expand_Allocator_Expression [COMMITTED] ada: Fix predicate check failure in Expand_Allocator_Expression - - - - --- 2023-11-30 Marc Poulhiès New
[COMMITTED] ada: Fix wrong finalization for qualified aggregate of limited type in allocator [COMMITTED] ada: Fix wrong finalization for qualified aggregate of limited type in allocator - - - - --- 2023-11-30 Marc Poulhiès New
[COMMITTED] ada: Constant_Indexing used when context requires a variable [COMMITTED] ada: Constant_Indexing used when context requires a variable - - - - --- 2023-11-30 Marc Poulhiès New
[COMMITTED] ada: Fix wrong size value output with -gnatR -gnatc [COMMITTED] ada: Fix wrong size value output with -gnatR -gnatc - - - - --- 2023-11-28 Marc Poulhiès New
[COMMITTED] ada: Add comment for assertion [COMMITTED] ada: Add comment for assertion - - - - --- 2023-11-28 Marc Poulhiès New
[COMMITTED] ada: Error compiling reduction expression with overloaded reducer subprogram [COMMITTED] ada: Error compiling reduction expression with overloaded reducer subprogram - - - - --- 2023-11-28 Marc Poulhiès New
[COMMITTED] ada: Errors on instance of Multiway_Trees with discriminated type [COMMITTED] ada: Errors on instance of Multiway_Trees with discriminated type - - - - --- 2023-11-28 Marc Poulhiès New
[COMMITTED] ada: False alarms from -gnatw.t with generic functions [COMMITTED] ada: False alarms from -gnatw.t with generic functions - - - - --- 2023-11-28 Marc Poulhiès New
[COMMITTED] ada: Further cleanup in finalization machinery [COMMITTED] ada: Further cleanup in finalization machinery - - - - --- 2023-11-28 Marc Poulhiès New
[COMMITTED] ada: Fix incorrect quoting in documentation [COMMITTED] ada: Fix incorrect quoting in documentation - - - - --- 2023-11-28 Marc Poulhiès New
[COMMITTED] ada: Fix premature finalization for nested return within extended one [COMMITTED] ada: Fix premature finalization for nested return within extended one - - - - --- 2023-11-28 Marc Poulhiès New
[COMMITTED] ada: Add new predicate Is_Address_Compatible_Type [COMMITTED] ada: Add new predicate Is_Address_Compatible_Type - - - - --- 2023-11-28 Marc Poulhiès New
[COMMITTED] ada: Type error on container aggregate with loop_parameter_specification [COMMITTED] ada: Type error on container aggregate with loop_parameter_specification - - - - --- 2023-11-28 Marc Poulhiès New
[COMMITTED] ada: Fix internal error on declare expression in expression function [COMMITTED] ada: Fix internal error on declare expression in expression function - - - - --- 2023-11-28 Marc Poulhiès New
[COMMITTED] ada: Handle unchecked conversion in bound [COMMITTED] ada: Handle unchecked conversion in bound - - - - --- 2023-11-28 Marc Poulhiès New
[COMMITTED] ada: Remove dependency on System.Val_Bool in System.Img_Bool [COMMITTED] ada: Remove dependency on System.Val_Bool in System.Img_Bool - - - - --- 2023-11-28 Marc Poulhiès New
[COMMITTED] ada: Fix predicate failure that occurred in a test case [COMMITTED] ada: Fix predicate failure that occurred in a test case - - - - --- 2023-11-28 Marc Poulhiès New
[COMMITTED] ada: Fix miscompilation of loop over boolean range [COMMITTED] ada: Fix miscompilation of loop over boolean range - - - - --- 2023-11-21 Marc Poulhiès New
[COMMITTED] ada: Fix issue with indefinite vector of overaligned unconstrained array [COMMITTED] ada: Fix issue with indefinite vector of overaligned unconstrained array - - - - --- 2023-11-21 Marc Poulhiès New
[COMMITTED] ada: Compiler crash on container aggregate with loop_parameter_specifications [COMMITTED] ada: Compiler crash on container aggregate with loop_parameter_specifications - - - - --- 2023-11-21 Marc Poulhiès New
[COMMITTED] ada: Another couple of cleanups in the finalization machinery [COMMITTED] ada: Another couple of cleanups in the finalization machinery - - - - --- 2023-11-21 Marc Poulhiès New
[COMMITTED] ada: Deep delta aggregates in postconditions [COMMITTED] ada: Deep delta aggregates in postconditions - - - - --- 2023-11-21 Marc Poulhiès New
[COMMITTED] ada: Small consistency fix for -gnatwv warning [COMMITTED] ada: Small consistency fix for -gnatwv warning - - - - --- 2023-11-21 Marc Poulhiès New
[COMMITTED] ada: Compiler error reporting illegal prefix on legal loop iterator with "in" [COMMITTED] ada: Compiler error reporting illegal prefix on legal loop iterator with "in" - - - - --- 2023-11-21 Marc Poulhiès New
[COMMITTED] ada: Fix internal error on 'Address of task component [COMMITTED] ada: Fix internal error on 'Address of task component - - - - --- 2023-11-21 Marc Poulhiès New
[COMMITTED] ada: Avoid Style_Checks pragmas affecting other units [COMMITTED] ada: Avoid Style_Checks pragmas affecting other units - - - - --- 2023-11-21 Marc Poulhiès New
[COMMITTED] ada: Fix type for SPARK expansion on deep delta aggregates [COMMITTED] ada: Fix type for SPARK expansion on deep delta aggregates - - - - --- 2023-11-21 Marc Poulhiès New
[COMMITTED] ada: Further cleanup in finalization machinery [COMMITTED] ada: Further cleanup in finalization machinery - - - - --- 2023-11-21 Marc Poulhiès New
[COMMITTED] ada: Fix string indexing within GNAT.Calendar.Time_IO.Value [COMMITTED] ada: Fix string indexing within GNAT.Calendar.Time_IO.Value - - - - --- 2023-11-21 Marc Poulhiès New
[COMMITTED] ada: Small improvement to Null_Status function [COMMITTED] ada: Small improvement to Null_Status function - - - - --- 2023-11-21 Marc Poulhiès New
[COMMITTED] ada: Further cleanup in finalization machinery [COMMITTED] ada: Further cleanup in finalization machinery - - - - --- 2023-11-21 Marc Poulhiès New
[COMMITTED] ada: Use CLOCK_MONOTONIC on VxWorks [COMMITTED] ada: Use CLOCK_MONOTONIC on VxWorks - - - - --- 2023-11-21 Marc Poulhiès New
[COMMITTED] ada: Deep delta aggregates cleanup. [COMMITTED] ada: Deep delta aggregates cleanup. - - - - --- 2023-11-21 Marc Poulhiès New
[COMMITTED] ada: Small cleanup in finalization machinery [COMMITTED] ada: Small cleanup in finalization machinery - - - - --- 2023-11-21 Marc Poulhiès New
[COMMITTED] ada: Runtime recompilation instructions improvements. [COMMITTED] ada: Runtime recompilation instructions improvements. - - - - --- 2023-11-21 Marc Poulhiès New
[COMMITTED] ada: Deep delta aggregates [COMMITTED] ada: Deep delta aggregates - - - - --- 2023-11-21 Marc Poulhiès New
« 1 2 3 49 10 »