Show patches with: Submitter = Marc Poulhiès       |    Archived = No       |   818 patches
« 1 2 … 3 4 5 … 8 9 »
Patch Series A/R/T S/W/F Date Submitter Delegate State
[COMMITTED] ada: Adjust QNX Ada priorities to match QNX system priorities [COMMITTED] ada: Adjust QNX Ada priorities to match QNX system priorities - - - 1-- 2023-06-15 Marc Poulhiès Accepted
[COMMITTED] ada: Adjust comments in targparm.ads [COMMITTED] ada: Adjust comments in targparm.ads - - - 1-- 2023-06-15 Marc Poulhiès Accepted
[COMMITTED] ada: Accept aspect Always_Terminates on packages [COMMITTED] ada: Accept aspect Always_Terminates on packages - - - 1-- 2023-06-15 Marc Poulhiès Accepted
[COMMITTED] ada: Accept aspect Always_Terminates on entries [COMMITTED] ada: Accept aspect Always_Terminates on entries - - - 1-- 2023-06-15 Marc Poulhiès Accepted
[COMMITTED] ada: Reject aspect Always_Terminates on functions and generic functions [COMMITTED] ada: Reject aspect Always_Terminates on functions and generic functions - - - 1-- 2023-06-15 Marc Poulhiès Accepted
[COMMITTED] ada: Fix missing error on function call returning incomplete view [COMMITTED] ada: Fix missing error on function call returning incomplete view - - - 1-- 2023-06-15 Marc Poulhiès Accepted
[COMMITTED] ada: Fix minor issues in comments [COMMITTED] ada: Fix minor issues in comments - - - 1-- 2023-06-15 Marc Poulhiès Accepted
[COMMITTED] ada: Remove Ttypes.Max_Unaligned_Field [COMMITTED] ada: Remove Ttypes.Max_Unaligned_Field - - - 1-- 2023-06-15 Marc Poulhiès Accepted
[COMMITTED] ada: Fix inverted implementation of RM 8.4(10) clause for operators [COMMITTED] ada: Fix inverted implementation of RM 8.4(10) clause for operators - - - 1-- 2023-06-15 Marc Poulhiès Accepted
[COMMITTED] ada: Accept aspect Always_Terminates without expression [COMMITTED] ada: Accept aspect Always_Terminates without expression - - - -1- 2023-06-15 Marc Poulhiès Unresolved
[COMMITTED] ada: Crash on C++ constructor of private type [COMMITTED] ada: Crash on C++ constructor of private type - - - 1-- 2023-06-15 Marc Poulhiès Accepted
[COMMITTED] ada: Remove obsolete references for Build_Transient_Object_Statements [COMMITTED] ada: Remove obsolete references for Build_Transient_Object_Statements - - - 1-- 2023-06-15 Marc Poulhiès Accepted
[COMMITTED] ada: Fix aspect Linker_Section ignored on subprogram body [COMMITTED] ada: Fix aspect Linker_Section ignored on subprogram body - - - -1- 2023-06-15 Marc Poulhiès Unresolved
[COMMITTED] ada: Cleanup analysis of iterated component association [COMMITTED] ada: Cleanup analysis of iterated component association - - - -1- 2023-06-15 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix decoration of iterated component association for GNATprove [COMMITTED] ada: Fix decoration of iterated component association for GNATprove - - - -1- 2023-06-13 Marc Poulhiès Unresolved
[COMMITTED] ada: Add missing ss_mark/ss_release in quantified expressions [COMMITTED] ada: Add missing ss_mark/ss_release in quantified expressions - - - 1-- 2023-06-13 Marc Poulhiès Accepted
[COMMITTED] ada: Recognize iterated_component_association as repeatedly evaluated [COMMITTED] ada: Recognize iterated_component_association as repeatedly evaluated - - - 1-- 2023-06-13 Marc Poulhiès Accepted
[COMMITTED] ada: Recognize iterated_component_association as potentially unevaluated [COMMITTED] ada: Recognize iterated_component_association as potentially unevaluated - - - 1-- 2023-06-13 Marc Poulhiès Accepted
[COMMITTED] ada: Disable inlining in potentially unevaluated contexts [COMMITTED] ada: Disable inlining in potentially unevaluated contexts - - - 1-- 2023-06-13 Marc Poulhiès Accepted
[COMMITTED] ada: Implement new aspect Always_Terminates for SPARK [COMMITTED] ada: Implement new aspect Always_Terminates for SPARK - - - -1- 2023-06-13 Marc Poulhiès Unresolved
[COMMITTED] ada: Skip elaboration checks for abstract subprograms on derived types [COMMITTED] ada: Skip elaboration checks for abstract subprograms on derived types - - - 1-- 2023-06-13 Marc Poulhiès Accepted
[COMMITTED] ada: Fix another case of missing Has_Private_View flag [COMMITTED] ada: Fix another case of missing Has_Private_View flag - - - 1-- 2023-06-13 Marc Poulhiès Accepted
[COMMITTED] ada: Fix iterated component initialization [COMMITTED] ada: Fix iterated component initialization - - - 1-- 2023-06-13 Marc Poulhiès Accepted
[COMMITTED] ada: Fix exception raised on invalid contract in generic package [COMMITTED] ada: Fix exception raised on invalid contract in generic package - - - 1-- 2023-06-13 Marc Poulhiès Accepted
[COMMITTED] ada: Fix spurious error on call to function returning private in generic [COMMITTED] ada: Fix spurious error on call to function returning private in generic - - - 1-- 2023-06-13 Marc Poulhiès Accepted
[COMMITTED] ada: Fix internal error on imported function with post-condition [COMMITTED] ada: Fix internal error on imported function with post-condition - - - 1-- 2023-06-13 Marc Poulhiès Accepted
[COMMITTED] ada: Streamline expansion of controlled actions for aggregates [COMMITTED] ada: Streamline expansion of controlled actions for aggregates - - - -1- 2023-06-13 Marc Poulhiès Unresolved
[COMMITTED] ada: Remove obsolete code in Analyze_Assignment [COMMITTED] ada: Remove obsolete code in Analyze_Assignment - - - 1-- 2023-06-13 Marc Poulhiès Accepted
[COMMITTED] ada: Remove unreferenced routine Is_Inherited_Operation_For_Type [COMMITTED] ada: Remove unreferenced routine Is_Inherited_Operation_For_Type - - - 1-- 2023-06-13 Marc Poulhiès Accepted
[COMMITTED] ada: Small housekeeping work in expansion of extension aggregates [COMMITTED] ada: Small housekeeping work in expansion of extension aggregates - - - -1- 2023-06-13 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix wrong expansion of limited extension aggregate [COMMITTED] ada: Fix wrong expansion of limited extension aggregate - - - 1-- 2023-06-13 Marc Poulhiès Accepted
[COMMITTED] ada: Mark attribute Initialized as ghost code [COMMITTED] ada: Mark attribute Initialized as ghost code - - - 1-- 2023-06-13 Marc Poulhiès Accepted
[COMMITTED] ada: Add No_Elaboration_Code_All pragma to System.Storage_Elements [COMMITTED] ada: Add No_Elaboration_Code_All pragma to System.Storage_Elements - - - 1-- 2023-06-13 Marc Poulhiès Accepted
[COMMITTED] ada: Factor out tag assignments from type in expander [COMMITTED] ada: Factor out tag assignments from type in expander - - - -1- 2023-06-13 Marc Poulhiès Unresolved
[COMMITTED] ada: Use ghost predicate in standard library [COMMITTED] ada: Use ghost predicate in standard library - - - -1- 2023-06-13 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix expansion of aggregates with controlled components [COMMITTED] ada: Fix expansion of aggregates with controlled components - - - -1- 2023-06-13 Marc Poulhiès Unresolved
[COMMITTED] ada: Factor common processing in expansion of aggregates [COMMITTED] ada: Factor common processing in expansion of aggregates - - - -1- 2023-06-13 Marc Poulhiès Unresolved
[COMMITTED] ada: Remove wrong comment about expansion of exceptions for GNATprove [COMMITTED] ada: Remove wrong comment about expansion of exceptions for GNATprove - - - 1-- 2023-06-13 Marc Poulhiès Accepted
[COMMITTED] ada: Cleanup finding of locally handled exception handlers [COMMITTED] ada: Cleanup finding of locally handled exception handlers - - - -1- 2023-06-13 Marc Poulhiès Unresolved
[COMMITTED] ada: Cleanup expansion of locally handled exception handlers [COMMITTED] ada: Cleanup expansion of locally handled exception handlers - - - 1-- 2023-06-13 Marc Poulhiès Accepted
[COMMITTED] ada: Tune style in detection of writable function actuals [COMMITTED] ada: Tune style in detection of writable function actuals - - - 1-- 2023-06-13 Marc Poulhiès Accepted
[COMMITTED] ada: Simplify appending to a newly created list [COMMITTED] ada: Simplify appending to a newly created list - - - 1-- 2023-06-13 Marc Poulhiès Accepted
[COMMITTED] ada: Support new GNAT-specific aspect Ghost_Predicate [COMMITTED] ada: Support new GNAT-specific aspect Ghost_Predicate - - - -1- 2023-06-13 Marc Poulhiès Unresolved
[COMMITTED] ada: Remove explicit decoration of wrapper created in freezing [COMMITTED] ada: Remove explicit decoration of wrapper created in freezing - - - 1-- 2023-06-13 Marc Poulhiès Accepted
[COMMITTED] ada: Fix wrong access for qualified aggregate with storage model [COMMITTED] ada: Fix wrong access for qualified aggregate with storage model - - - -1- 2023-05-30 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix internal error on qualified aggregate with storage model [COMMITTED] ada: Fix internal error on qualified aggregate with storage model - - - -1- 2023-05-30 Marc Poulhiès Unresolved
[COMMITTED] ada: Add missing guards for degenerate storage models [COMMITTED] ada: Add missing guards for degenerate storage models - - - 1-- 2023-05-30 Marc Poulhiès Accepted
[COMMITTED] ada: Fix incorrect copies being used with 'Address [COMMITTED] ada: Fix incorrect copies being used with 'Address - - - 1-- 2023-05-30 Marc Poulhiès Accepted
[COMMITTED] ada: Fix bogus Storage_Error on dynamic array with static zero length [COMMITTED] ada: Fix bogus Storage_Error on dynamic array with static zero length - - - 1-- 2023-05-30 Marc Poulhiès Accepted
[COMMITTED] ada: Fix minor issue with Mod operator [COMMITTED] ada: Fix minor issue with Mod operator - - - 1-- 2023-05-30 Marc Poulhiès Accepted
[COMMITTED] ada: Minor generic tweaks left and and right [COMMITTED] ada: Minor generic tweaks left and and right - - - 1-- 2023-05-30 Marc Poulhiès Accepted
[COMMITTED] ada: Make internal_error_function more robust [COMMITTED] ada: Make internal_error_function more robust - - - 1-- 2023-05-30 Marc Poulhiès Accepted
[COMMITTED] ada: Adjust again the implementation of storage models [COMMITTED] ada: Adjust again the implementation of storage models - - - -1- 2023-05-30 Marc Poulhiès Unresolved
[COMMITTED] ada: Simplify the implementation of storage models [COMMITTED] ada: Simplify the implementation of storage models - - - 1-- 2023-05-30 Marc Poulhiès Accepted
[COMMITTED] ada: Make use of Cannot_Be_Superflat flag on N_Range nodes [COMMITTED] ada: Make use of Cannot_Be_Superflat flag on N_Range nodes - - - 1-- 2023-05-30 Marc Poulhiès Accepted
[COMMITTED] ada: Disable PIE mode during the build of the Ada front-end [COMMITTED] ada: Disable PIE mode during the build of the Ada front-end - - - 1-- 2023-05-30 Marc Poulhiès Accepted
[COMMITTED] ada: Fix storage model handling for dereference as lvalue and renamings [COMMITTED] ada: Fix storage model handling for dereference as lvalue and renamings - - - 1-- 2023-05-30 Marc Poulhiès Accepted
[COMMITTED] ada: Small cleanups and fixes in expansion of aggregates [COMMITTED] ada: Small cleanups and fixes in expansion of aggregates - - - -1- 2023-05-30 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix wrong expansion of array aggregate with noncontiguous choices [COMMITTED] ada: Fix wrong expansion of array aggregate with noncontiguous choices - - - 1-- 2023-05-30 Marc Poulhiès Accepted
[COMMITTED] ada: Fix internal error on array constant in expression function [COMMITTED] ada: Fix internal error on array constant in expression function - - - 1-- 2023-05-30 Marc Poulhiès Accepted
[COMMITTED] ada: Fix fallout of recent fix for missing finalization [COMMITTED] ada: Fix fallout of recent fix for missing finalization - - - 1-- 2023-05-30 Marc Poulhiès Accepted
[COMMITTED] ada: Add System.Traceback.Symbolic.Module_Name support on AArch64 Linux [COMMITTED] ada: Add System.Traceback.Symbolic.Module_Name support on AArch64 Linux - - - 1-- 2023-05-30 Marc Poulhiès Accepted
[COMMITTED] ada: Only build access-to-subprogram wrappers when expander is active [COMMITTED] ada: Only build access-to-subprogram wrappers when expander is active - - - 1-- 2023-05-30 Marc Poulhiès Accepted
[COMMITTED] ada: Fix minor issues in user's guide [COMMITTED] ada: Fix minor issues in user's guide - - - 1-- 2023-05-30 Marc Poulhiès Accepted
[COMMITTED] ada: Ensure Default_Stack_Size is greater than Minimum_Stack_Size [COMMITTED] ada: Ensure Default_Stack_Size is greater than Minimum_Stack_Size - - - 1-- 2023-05-30 Marc Poulhiès Accepted
[COMMITTED] ada: Fix regression of secondary stack management in return statements [COMMITTED] ada: Fix regression of secondary stack management in return statements - - - -1- 2023-05-30 Marc Poulhiès Unresolved
[COMMITTED] ada: Use generalized loop iteration in Put_Image routines [COMMITTED] ada: Use generalized loop iteration in Put_Image routines - - - 1-- 2023-05-30 Marc Poulhiès Accepted
[COMMITTED] ada: Fix visibility error with DIC or Type_Invariant aspect on generic type [COMMITTED] ada: Fix visibility error with DIC or Type_Invariant aspect on generic type - - - 1-- 2023-05-30 Marc Poulhiès Accepted
[COMMITTED] ada: Fix coding style in init.c [COMMITTED] ada: Fix coding style in init.c - - - 1-- 2023-05-30 Marc Poulhiès Accepted
[COMMITTED] ada: Define sigset for systems that does not suport sockets [COMMITTED] ada: Define sigset for systems that does not suport sockets - - - 1-- 2023-05-29 Marc Poulhiès Accepted
[COMMITTED] ada: Set g-spogwa as a GNATRTL_SOCKETS_OBJS [COMMITTED] ada: Set g-spogwa as a GNATRTL_SOCKETS_OBJS - - - 1-- 2023-05-29 Marc Poulhiès Accepted
[COMMITTED] ada: Fix spurious error on imported generic function with precondition [COMMITTED] ada: Fix spurious error on imported generic function with precondition - - - 1-- 2023-05-29 Marc Poulhiès Accepted
[COMMITTED] ada: Fix memory leak in expression function returning Big_Integer [COMMITTED] ada: Fix memory leak in expression function returning Big_Integer - - - 1-- 2023-05-29 Marc Poulhiès Accepted
[COMMITTED] ada: Use Code_Address attribute to determine subprogram addresses [COMMITTED] ada: Use Code_Address attribute to determine subprogram addresses - - - 1-- 2023-05-29 Marc Poulhiès Accepted
[COMMITTED] ada: Call idiomatic routine in Expand_Simple_Function_Return [COMMITTED] ada: Call idiomatic routine in Expand_Simple_Function_Return - - - 1-- 2023-05-29 Marc Poulhiès Accepted
[COMMITTED] ada: Fix wrong finalization for loop on indexed container [COMMITTED] ada: Fix wrong finalization for loop on indexed container - - - 1-- 2023-05-29 Marc Poulhiès Accepted
[COMMITTED] ada: Fix bogus error on conditional expression with only user-defined literals [COMMITTED] ada: Fix bogus error on conditional expression with only user-defined literals - - - -1- 2023-05-29 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix crash on semi-recursive call in access-to-subprogram contract [COMMITTED] ada: Fix crash on semi-recursive call in access-to-subprogram contract - - - 1-- 2023-05-29 Marc Poulhiès Accepted
[COMMITTED] ada: Attach pre/post on access-to-subprogram to internal subprogram type [COMMITTED] ada: Attach pre/post on access-to-subprogram to internal subprogram type - - - -1- 2023-05-29 Marc Poulhiès Unresolved
[COMMITTED] ada: Remove redundant protection against empty lists [COMMITTED] ada: Remove redundant protection against empty lists - - - 1-- 2023-05-29 Marc Poulhiès Accepted
[COMMITTED] ada: Remove extra whitespace from FOR loops [COMMITTED] ada: Remove extra whitespace from FOR loops - - - 1-- 2023-05-29 Marc Poulhiès Accepted
[COMMITTED] ada: Cleanup detection of type support subprogram entities [COMMITTED] ada: Cleanup detection of type support subprogram entities - - - 1-- 2023-05-29 Marc Poulhiès Accepted
[COMMITTED] ada: Fix wrong finalization for case expression in expression function [COMMITTED] ada: Fix wrong finalization for case expression in expression function - - - 1-- 2023-05-29 Marc Poulhiès Accepted
[COMMITTED] ada: Fix internal error with pragma Compile_Time_{Warning, Error} [COMMITTED] ada: Fix internal error with pragma Compile_Time_{Warning, Error} - - - 1-- 2023-05-29 Marc Poulhiès Accepted
[COMMITTED] ada: Fix small fallout of previous change [COMMITTED] ada: Fix small fallout of previous change - - - -1- 2023-05-29 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix remaining failures in Roman Numbers test [COMMITTED] ada: Fix remaining failures in Roman Numbers test - - - -1- 2023-05-29 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix memory leak in multi-dimensional array aggregate of Vector [COMMITTED] ada: Fix memory leak in multi-dimensional array aggregate of Vector - - - 1-- 2023-05-29 Marc Poulhiès Accepted
[COMMITTED] ada: Fix wrong result for membership test of null in null-excluding access type [COMMITTED] ada: Fix wrong result for membership test of null in null-excluding access type - - - 1-- 2023-05-29 Marc Poulhiès Accepted
[COMMITTED] ada: Fix small fallout of previous change [COMMITTED] ada: Fix small fallout of previous change - - - 1-- 2023-05-29 Marc Poulhiès Accepted
[COMMITTED] ada: Fix wrong finalization for call to BIP function in conditional expression [COMMITTED] ada: Fix wrong finalization for call to BIP function in conditional expression - - - 1-- 2023-05-29 Marc Poulhiès Accepted
[COMMITTED] ada: Accept parameters of enclosing subprograms in exceptional cases [COMMITTED] ada: Accept parameters of enclosing subprograms in exceptional cases - - - -1- 2023-05-29 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix crash on vector initialization [COMMITTED] ada: Fix crash on vector initialization - - - 1-- 2023-05-29 Marc Poulhiès Accepted
[COMMITTED] ada: Allow attributes like First and Last to be read in Exceptional_Cases [COMMITTED] ada: Allow attributes like First and Last to be read in Exceptional_Cases - - - -1- 2023-05-29 Marc Poulhiès Unresolved
[COMMITTED] ada: Repair support for user-defined literals in arithmetic operators [COMMITTED] ada: Repair support for user-defined literals in arithmetic operators - - - 1-- 2023-05-29 Marc Poulhiès Accepted
[COMMITTED] ada: Default_Component_Value trumps Initialize/Normalize_Scalars [COMMITTED] ada: Default_Component_Value trumps Initialize/Normalize_Scalars - - - 1-- 2023-05-29 Marc Poulhiès Accepted
[COMMITTED] ada: Crash on aggregate for tagged record with discriminants [COMMITTED] ada: Crash on aggregate for tagged record with discriminants - - - 1-- 2023-05-29 Marc Poulhiès Accepted
[COMMITTED] ada: Reuse routine for getting from body entity to spec entity [COMMITTED] ada: Reuse routine for getting from body entity to spec entity - - - -1- 2023-05-29 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix retrieval of spec entity from entry body entity [COMMITTED] ada: Fix retrieval of spec entity from entry body entity - - - 1-- 2023-05-29 Marc Poulhiès Accepted
[COMMITTED] ada: Restore parent link for both lists and nodes in class-wide condition [COMMITTED] ada: Restore parent link for both lists and nodes in class-wide condition - - - -1- 2023-05-29 Marc Poulhiès Unresolved
[COMMITTED] ada: Refining handling of inlining for CCG [COMMITTED] ada: Refining handling of inlining for CCG - - - 1-- 2023-05-29 Marc Poulhiès Accepted
« 1 2 … 3 4 5 … 8 9 »