Show patches with: Submitter = Marc Poulhiès       |   934 patches
« 1 2 3 4 … 9 10 »
Patch Series A/R/T S/W/F Date Submitter Delegate State
[COMMITTED] Update year in Gnatvsn [COMMITTED] Update year in Gnatvsn - - - 1-- 2024-01-23 Marc Poulhiès Accepted
[COMMITTED] ada: Document new SPARK aspect and pragma Always_Terminates [COMMITTED] ada: Document new SPARK aspect and pragma Always_Terminates - - - 1-- 2024-01-09 Marc Poulhiès Accepted
[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 - - - -1- 2024-01-09 Marc Poulhiès Unresolved
[COMMITTED] ada: Preliminary cleanup in aliasing support code [COMMITTED] ada: Preliminary cleanup in aliasing support code - - - 1-- 2024-01-09 Marc Poulhiès Accepted
[COMMITTED] ada: Do not count comparison of addresses as a modification [COMMITTED] ada: Do not count comparison of addresses as a modification - - - 1-- 2024-01-09 Marc Poulhiès Accepted
[COMMITTED] ada: Minor change replacing "not Present" tests with "No" tests [COMMITTED] ada: Minor change replacing "not Present" tests with "No" tests - - - -1- 2024-01-09 Marc Poulhiès Unresolved
[COMMITTED] ada: Allow passing private types to generic formal incomplete types [COMMITTED] ada: Allow passing private types to generic formal incomplete types - - - 1-- 2024-01-09 Marc Poulhiès Accepted
[COMMITTED] ada: Excess elements created for indexed aggregates with iterator_specifications [COMMITTED] ada: Excess elements created for indexed aggregates with iterator_specifications - - - -1- 2024-01-09 Marc Poulhiès Unresolved
[COMMITTED] ada: Remove unused runtime entity [COMMITTED] ada: Remove unused runtime entity - - - 1-- 2024-01-09 Marc Poulhiès Accepted
[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 - - - -1- 2024-01-09 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix internal error on class-wide allocator inside if-expression [COMMITTED] ada: Fix internal error on class-wide allocator inside if-expression - - - 1-- 2024-01-09 Marc Poulhiès Accepted
[COMMITTED] ada: Add __atomic_store_n binding to System.Atomic_Primitives [COMMITTED] ada: Add __atomic_store_n binding to System.Atomic_Primitives - - - -1- 2024-01-09 Marc Poulhiès Unresolved
[COMMITTED] ada: Cannot requeue to a procedure implemented by an entry [COMMITTED] ada: Cannot requeue to a procedure implemented by an entry - - - 1-- 2024-01-09 Marc Poulhiès Accepted
[COMMITTED] ada: Remove side effects depending on the context of subtype declaration [COMMITTED] ada: Remove side effects depending on the context of subtype declaration - - - 1-- 2024-01-09 Marc Poulhiès Accepted
[COMMITTED] ada: More aggressive inlining of subprogram calls in GNATprove mode [COMMITTED] ada: More aggressive inlining of subprogram calls in GNATprove mode - - - 1-- 2024-01-09 Marc Poulhiès Accepted
[COMMITTED] ada: Remove dead detection of recursive inlined subprograms [COMMITTED] ada: Remove dead detection of recursive inlined subprograms - - - 1-- 2024-01-09 Marc Poulhiès Accepted
[COMMITTED] ada: Remove dead code for GNATprove inlining [COMMITTED] ada: Remove dead code for GNATprove inlining - - - 1-- 2024-01-09 Marc Poulhiès Accepted
[COMMITTED] ada: Fix uses of not Present [COMMITTED] ada: Fix uses of not Present - - - -1- 2024-01-09 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix bug in Sem_Util.Enclosing_Declaration [COMMITTED] ada: Fix bug in Sem_Util.Enclosing_Declaration - - - -1- 2024-01-09 Marc Poulhiès Unresolved
[COMMITTED] ada: Error compiling Ada 2022 object renaming with no subtype mark [COMMITTED] ada: Error compiling Ada 2022 object renaming with no subtype mark - - - 1-- 2024-01-09 Marc Poulhiès Accepted
[COMMITTED] ada: Fix precondition in Interfaces.C.Strings [COMMITTED] ada: Fix precondition in Interfaces.C.Strings - - - -1- 2024-01-09 Marc Poulhiès Unresolved
[COMMITTED] ada: Remove unreachable code in Resolve_Extension_Aggregate [COMMITTED] ada: Remove unreachable code in Resolve_Extension_Aggregate - - - -1- 2024-01-09 Marc Poulhiès Unresolved
[COMMITTED] ada: Avoid xref on out params of TSS [COMMITTED] ada: Avoid xref on out params of TSS - - - 1-- 2024-01-09 Marc Poulhiès Accepted
[COMMITTED] ada: Add makefile targets for building/installing html doc [COMMITTED] ada: Add makefile targets for building/installing html doc - - - 1-- 2023-12-19 Marc Poulhiès Accepted
[COMMITTED] ada: Fix internal error on call with parameter of predicated subtype [COMMITTED] ada: Fix internal error on call with parameter of predicated subtype - - - -1- 2023-12-19 Marc Poulhiès Unresolved
[COMMITTED] ada: Check all interfaces for valid iterator type [COMMITTED] ada: Check all interfaces for valid iterator type - - - 1-- 2023-12-19 Marc Poulhiès Accepted
[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 - - - 1-- 2023-12-19 Marc Poulhiès Accepted
[COMMITTED] ada: Remove GNATcheck violations [COMMITTED] ada: Remove GNATcheck violations - - - 1-- 2023-12-19 Marc Poulhiès Accepted
[COMMITTED] ada: Rework comment in Expand_Ctrl_Function_Call [COMMITTED] ada: Rework comment in Expand_Ctrl_Function_Call - - - 1-- 2023-12-19 Marc Poulhiès Accepted
[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 - - - 1-- 2023-12-19 Marc Poulhiès Accepted
[COMMITTED] ada: Fix style and typos in comments [COMMITTED] ada: Fix style and typos in comments - - - 1-- 2023-12-19 Marc Poulhiès Accepted
[COMMITTED] ada: Remove unreferenced utility routine Get_Logical_Line_Number_Img [COMMITTED] ada: Remove unreferenced utility routine Get_Logical_Line_Number_Img - - - 1-- 2023-12-19 Marc Poulhiès Accepted
[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 - - - -1- 2023-12-19 Marc Poulhiès Unresolved
[COMMITTED] ada: Optimize performance and remove dynamic frame requirement. [COMMITTED] ada: Optimize performance and remove dynamic frame requirement. - - - -1- 2023-12-19 Marc Poulhiès Unresolved
[COMMITTED] ada: Ignore unconstrained components as inputs for Depends [COMMITTED] ada: Ignore unconstrained components as inputs for Depends - - - 1-- 2023-12-19 Marc Poulhiès Accepted
[COMMITTED] ada: Rename Is_Constr_Subt_For_UN_Aliased flag [COMMITTED] ada: Rename Is_Constr_Subt_For_UN_Aliased flag - - - -1- 2023-12-19 Marc Poulhiès Unresolved
[COMMITTED] ada: Remove No_Dynamic_Priorities from Restricted_Tasking [COMMITTED] ada: Remove No_Dynamic_Priorities from Restricted_Tasking - - - 1-- 2023-12-19 Marc Poulhiès Accepted
[COMMITTED] ada: Adapt Ada.Command_Line to work on configurable runtimes [COMMITTED] ada: Adapt Ada.Command_Line to work on configurable runtimes - - - 1-- 2023-12-19 Marc Poulhiès Accepted
[COMMITTED] ada: Fix crash on concurrent type aggregate [COMMITTED] ada: Fix crash on concurrent type aggregate - - - -1- 2023-12-19 Marc Poulhiès Unresolved
[COMMITTED] ada: Further cleanup in finalization machinery [COMMITTED] ada: Further cleanup in finalization machinery - - - -1- 2023-12-19 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix SPARK expansion of container aggregates [COMMITTED] ada: Fix SPARK expansion of container aggregates - - - 1-- 2023-12-19 Marc Poulhiès Accepted
[COMMITTED] ada: Add missing guard to previous change [COMMITTED] ada: Add missing guard to previous change - - - -1- 2023-12-19 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix spurious visibility error on parent's component in instance [COMMITTED] ada: Fix spurious visibility error on parent's component in instance - - - -1- 2023-12-19 Marc Poulhiès Unresolved
[COMMITTED] ada: Plug small loophole in finalization machinery [COMMITTED] ada: Plug small loophole in finalization machinery - - - 1-- 2023-12-19 Marc Poulhiès Accepted
[COMMITTED] ada: Cope with Sem_Util.Enclosing_Declaration oddness. [COMMITTED] ada: Cope with Sem_Util.Enclosing_Declaration oddness. - - - -1- 2023-12-19 Marc Poulhiès Unresolved
[COMMITTED] ada: Restore object constraint optimization [COMMITTED] ada: Restore object constraint optimization - - - -1- 2023-12-19 Marc Poulhiès Unresolved
[COMMITTED] ada: Do not issue SPARK legality error if SPARK_Mode ignored [COMMITTED] ada: Do not issue SPARK legality error if SPARK_Mode ignored - - - -1- 2023-12-19 Marc Poulhiès Unresolved
[COMMITTED] ada: Cleanup SPARK legality checking [COMMITTED] ada: Cleanup SPARK legality checking - - - -1- 2023-12-19 Marc Poulhiès Unresolved
[COMMITTED] ada: Illegal instance of Generic_1.Generic_2 incorrectly accepted [COMMITTED] ada: Illegal instance of Generic_1.Generic_2 incorrectly accepted - - - 1-- 2023-12-19 Marc Poulhiès Accepted
[COMMITTED] ada: Further cleanup in finalization machinery [COMMITTED] ada: Further cleanup in finalization machinery - - - -1- 2023-12-19 Marc Poulhiès Unresolved
[v2] testsuite: adjust call to abort in excess-precision-12 [v2] testsuite: adjust call to abort in excess-precision-12 - - - 1-- 2023-12-11 Marc Poulhiès Accepted
testsuite: require avx_runtime for vect-simd-clone-17f testsuite: require avx_runtime for vect-simd-clone-17f - - - 1-- 2023-12-07 Marc Poulhiès Accepted
testsuite: adjust call to abort in excess-precision-12 testsuite: adjust call to abort in excess-precision-12 - - - 1-- 2023-12-07 Marc Poulhiès Accepted
testsuite: add missing dg-require ifunc in pr105554.c testsuite: add missing dg-require ifunc in pr105554.c - - - 1-- 2023-12-07 Marc Poulhiès Accepted
[COMMITTED] ada: Rework fix for wrong finalization of qualified aggregate in allocator [COMMITTED] ada: Rework fix for wrong finalization of qualified aggregate in allocator - - - -1- 2023-11-30 Marc Poulhiès Unresolved
[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. - - - -1- 2023-11-30 Marc Poulhiès Unresolved
[COMMITTED] ada: Remove SPARK legality checks [COMMITTED] ada: Remove SPARK legality checks - - - -1- 2023-11-30 Marc Poulhiès Unresolved
[COMMITTED] ada: Remove GNATcheck violations [COMMITTED] ada: Remove GNATcheck violations - - - 1-- 2023-11-30 Marc Poulhiès Accepted
[COMMITTED] ada: Ignore defered compile time errors without backend [COMMITTED] ada: Ignore defered compile time errors without backend - - - 1-- 2023-11-30 Marc Poulhiès Accepted
[COMMITTED] ada: Fix spelling of functions with(out) "side effects" [COMMITTED] ada: Fix spelling of functions with(out) "side effects" - - - -1- 2023-11-30 Marc Poulhiès Unresolved
[COMMITTED] ada: Crash initializing component of private record type [COMMITTED] ada: Crash initializing component of private record type - - - 1-- 2023-11-30 Marc Poulhiès Accepted
[COMMITTED] ada: Name resolution in expanded instances [COMMITTED] ada: Name resolution in expanded instances - - - 1-- 2023-11-30 Marc Poulhiès Accepted
[COMMITTED] ada: Add comment describing Partition_Elaboration_Policy dependency. [COMMITTED] ada: Add comment describing Partition_Elaboration_Policy dependency. - - - 1-- 2023-11-30 Marc Poulhiès Accepted
[COMMITTED] ada: Too-strict conformance checking for formal discriminated type [COMMITTED] ada: Too-strict conformance checking for formal discriminated type - - - 1-- 2023-11-30 Marc Poulhiès Accepted
[COMMITTED] ada: Fix predicate check failure in Expand_Allocator_Expression [COMMITTED] ada: Fix predicate check failure in Expand_Allocator_Expression - - - 1-- 2023-11-30 Marc Poulhiès Accepted
[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 - - - 1-- 2023-11-30 Marc Poulhiès Accepted
[COMMITTED] ada: Constant_Indexing used when context requires a variable [COMMITTED] ada: Constant_Indexing used when context requires a variable - - - 1-- 2023-11-30 Marc Poulhiès Accepted
[COMMITTED] ada: Add comment for assertion [COMMITTED] ada: Add comment for assertion - - - 1-- 2023-11-28 Marc Poulhiès Accepted
[COMMITTED] ada: Error compiling reduction expression with overloaded reducer subprogram [COMMITTED] ada: Error compiling reduction expression with overloaded reducer subprogram - - - -1- 2023-11-28 Marc Poulhiès Unresolved
[COMMITTED] ada: Errors on instance of Multiway_Trees with discriminated type [COMMITTED] ada: Errors on instance of Multiway_Trees with discriminated type - - - -1- 2023-11-28 Marc Poulhiès Unresolved
[COMMITTED] ada: False alarms from -gnatw.t with generic functions [COMMITTED] ada: False alarms from -gnatw.t with generic functions - - - 1-- 2023-11-28 Marc Poulhiès Accepted
[COMMITTED] ada: Further cleanup in finalization machinery [COMMITTED] ada: Further cleanup in finalization machinery - - - -1- 2023-11-28 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix incorrect quoting in documentation [COMMITTED] ada: Fix incorrect quoting in documentation - - - -1- 2023-11-28 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix premature finalization for nested return within extended one [COMMITTED] ada: Fix premature finalization for nested return within extended one - - - -1- 2023-11-28 Marc Poulhiès Unresolved
[COMMITTED] ada: Add new predicate Is_Address_Compatible_Type [COMMITTED] ada: Add new predicate Is_Address_Compatible_Type - - - -1- 2023-11-28 Marc Poulhiès Unresolved
[COMMITTED] ada: Type error on container aggregate with loop_parameter_specification [COMMITTED] ada: Type error on container aggregate with loop_parameter_specification - - - 1-- 2023-11-28 Marc Poulhiès Accepted
[COMMITTED] ada: Fix internal error on declare expression in expression function [COMMITTED] ada: Fix internal error on declare expression in expression function - - - 1-- 2023-11-28 Marc Poulhiès Accepted
[COMMITTED] ada: Handle unchecked conversion in bound [COMMITTED] ada: Handle unchecked conversion in bound - - - 1-- 2023-11-28 Marc Poulhiès Accepted
[COMMITTED] ada: Remove dependency on System.Val_Bool in System.Img_Bool [COMMITTED] ada: Remove dependency on System.Val_Bool in System.Img_Bool - - - -1- 2023-11-28 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix predicate failure that occurred in a test case [COMMITTED] ada: Fix predicate failure that occurred in a test case - - - -1- 2023-11-28 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix debug info for aliased packed array with unconstrained nominal subtype [COMMITTED] ada: Fix debug info for aliased packed array with unconstrained nominal subtype - - - 1-- 2023-11-07 Marc Poulhiès Accepted
[COMMITTED] ada: Fix spurious -Wstringop-overflow with link time optimization [COMMITTED] ada: Fix spurious -Wstringop-overflow with link time optimization - - - 1-- 2023-11-07 Marc Poulhiès Accepted
[COMMITTED] ada: Compiler crash on early alignment clause [COMMITTED] ada: Compiler crash on early alignment clause - - - 1-- 2023-11-07 Marc Poulhiès Accepted
[COMMITTED] ada: Update the logo in the gnat doc [COMMITTED] ada: Update the logo in the gnat doc - - - 1-- 2023-11-07 Marc Poulhiès Accepted
[COMMITTED] ada: Fix incorrect resolution of overloaded function call in instance [COMMITTED] ada: Fix incorrect resolution of overloaded function call in instance - - - -1- 2023-11-07 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix Ada.Directories.Modification_Time on Windows [COMMITTED] ada: Fix Ada.Directories.Modification_Time on Windows - - - 1-- 2023-11-07 Marc Poulhiès Accepted
[COMMITTED] ada: Elide temporary for aliased array with unconstrained nominal subtype [COMMITTED] ada: Elide temporary for aliased array with unconstrained nominal subtype - - - -1- 2023-11-07 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix expansion of type aspects with handling of aspects [COMMITTED] ada: Fix expansion of type aspects with handling of aspects - - - 1-- 2023-11-07 Marc Poulhiès Accepted
[COMMITTED] ada: Rename Is_Limited_View to reflect actual query [COMMITTED] ada: Rename Is_Limited_View to reflect actual query - - - -1- 2023-11-07 Marc Poulhiès Unresolved
[COMMITTED] ada: Implement Aspects as fields under nodes [COMMITTED] ada: Implement Aspects as fields under nodes - - - -1- 2023-11-07 Marc Poulhiès Unresolved
[COMMITTED] ada: Minor tweaks for comparison operators [COMMITTED] ada: Minor tweaks for comparison operators - - - -1- 2023-11-07 Marc Poulhiès Unresolved
[COMMITTED] ada: Cleanup "not Present" on List_Id [COMMITTED] ada: Cleanup "not Present" on List_Id - - - 1-- 2023-11-07 Marc Poulhiès Accepted
[COMMITTED] ada: Cleanup more "not Present" [COMMITTED] ada: Cleanup more "not Present" - - - 1-- 2023-11-07 Marc Poulhiès Accepted
[COMMITTED] ada: Fix documentation of -gnatwc [COMMITTED] ada: Fix documentation of -gnatwc - - - 1-- 2023-11-07 Marc Poulhiès Accepted
[COMMITTED] ada: New Local_Restrictions and User_Aspect aspects. [COMMITTED] ada: New Local_Restrictions and User_Aspect aspects. - - - -1- 2023-11-07 Marc Poulhiès Unresolved
[COMMITTED] ada: Error in prefix-notation call [COMMITTED] ada: Error in prefix-notation call - - - 1-- 2023-11-07 Marc Poulhiès Accepted
[COMMITTED] ada: Remove duplicated code for expansion of packed array assignments [COMMITTED] ada: Remove duplicated code for expansion of packed array assignments - - - 1-- 2023-11-07 Marc Poulhiès Accepted
[COMMITTED] ada: Simplify expansion of packed array assignments [COMMITTED] ada: Simplify expansion of packed array assignments - - - 1-- 2023-11-07 Marc Poulhiès Accepted
[COMMITTED] ada: Fix extra whitespace after END keywords [COMMITTED] ada: Fix extra whitespace after END keywords - - - 1-- 2023-11-07 Marc Poulhiès Accepted
[COMMITTED] ada: Avoid extra conversion in expansion of packed array assignments [COMMITTED] ada: Avoid extra conversion in expansion of packed array assignments - - - 1-- 2023-11-07 Marc Poulhiès Accepted
« 1 2 3 4 … 9 10 »