Show patches with: Submitter = Marc Poulhiès       |    Archived = No       |   818 patches
« 1 2 3 4 … 8 9 »
Patch Series A/R/T S/W/F Date Submitter Delegate State
[COMMITTED] ada: Simplify handling of known values in expansion of packed arrays [COMMITTED] ada: Simplify handling of known values in expansion of packed arrays - - - 1-- 2023-11-07 Marc Poulhiès Accepted
[COMMITTED] ada: Change local variables to constants in expansion of packed arrays [COMMITTED] ada: Change local variables to constants in expansion of packed arrays - - - 1-- 2023-11-07 Marc Poulhiès Accepted
[COMMITTED] ada: Fix style in declaration of routine for expansion of packed arrays [COMMITTED] ada: Fix style in declaration of routine for expansion of packed arrays - - - 1-- 2023-11-07 Marc Poulhiès Accepted
[COMMITTED] ada: Cleanup getting of actual subtypes [COMMITTED] ada: Cleanup getting of actual subtypes - - - 1-- 2023-11-07 Marc Poulhiès Accepted
[COMMITTED] ada: Fix handling of actual subtypes for expanded names [COMMITTED] ada: Fix handling of actual subtypes for expanded names - - - 1-- 2023-11-07 Marc Poulhiès Accepted
[COMMITTED] ada: Simplify code for Ignore_Style_Checks_Pragmas [COMMITTED] ada: Simplify code for Ignore_Style_Checks_Pragmas - - - 1-- 2023-11-07 Marc Poulhiès Accepted
[COMMITTED] ada: Fix scope of semantic style_check pragmas [COMMITTED] ada: Fix scope of semantic style_check pragmas - - - 1-- 2023-11-07 Marc Poulhiès Accepted
[COMMITTED] ada: Fix internal error on address of element of packed array component [COMMITTED] ada: Fix internal error on address of element of packed array component - - - 1-- 2023-11-07 Marc Poulhiès Accepted
testsuite: refine gcc.dg/analyzer/fd-4.c test for newlib testsuite: refine gcc.dg/analyzer/fd-4.c test for newlib - - - 1-- 2023-11-06 Marc Poulhiès Accepted
testsuite: require avx_runtime for some tests testsuite: require avx_runtime for some tests - - - 1-- 2023-11-06 Marc Poulhiès Accepted
testsuite: skip gcc.target/i386/pr106910-1.c test when using newlib testsuite: skip gcc.target/i386/pr106910-1.c test when using newlib - - - 1-- 2023-11-06 Marc Poulhiès Accepted
[COMMITTED] ada: Support new SPARK aspect Side_Effects [COMMITTED] ada: Support new SPARK aspect Side_Effects - - - -1- 2023-10-19 Marc Poulhiès Unresolved
[COMMITTED] ada: Refactor code to remove GNATcheck violation [COMMITTED] ada: Refactor code to remove GNATcheck violation - - - 1-- 2023-10-19 Marc Poulhiès Accepted
[COMMITTED] ada: Add pragma Annotate for GNATcheck exemptions [COMMITTED] ada: Add pragma Annotate for GNATcheck exemptions - - - 1-- 2023-10-19 Marc Poulhiès Accepted
[COMMITTED] ada: Document gnatbind -Q switch [COMMITTED] ada: Document gnatbind -Q switch - - - -1- 2023-10-19 Marc Poulhiès Unresolved
[COMMITTED] ada: Seize opportunity to reuse List_Length [COMMITTED] ada: Seize opportunity to reuse List_Length - - - 1-- 2023-10-19 Marc Poulhiès Accepted
[COMMITTED] ada: Simplify "not Present" with "No" [COMMITTED] ada: Simplify "not Present" with "No" - - - -1- 2023-10-19 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix internal error on too large representation clause for small component [COMMITTED] ada: Fix internal error on too large representation clause for small component - - - 1-- 2023-10-10 Marc Poulhiès Accepted
[COMMITTED] ada: Tweak internal subprogram in Ada.Directories [COMMITTED] ada: Tweak internal subprogram in Ada.Directories - - - -1- 2023-10-10 Marc Poulhiès Unresolved
[COMMITTED] ada: Remove superfluous setter procedure [COMMITTED] ada: Remove superfluous setter procedure - - - 1-- 2023-10-10 Marc Poulhiès Accepted
[COMMITTED] ada: Fix bad finalization of limited aggregate in conditional expression [COMMITTED] ada: Fix bad finalization of limited aggregate in conditional expression - - - 1-- 2023-10-10 Marc Poulhiès Accepted
[COMMITTED] ada: Fix infinite loop with multiple limited with clauses [COMMITTED] ada: Fix infinite loop with multiple limited with clauses - - - 1-- 2023-10-10 Marc Poulhiès Accepted
[COMMITTED] ada: Fix filesystem entry filtering [COMMITTED] ada: Fix filesystem entry filtering - - - 1-- 2023-10-10 Marc Poulhiès Accepted
[COMMITTED] ada: Tweak documentation comments [COMMITTED] ada: Tweak documentation comments - - - 1-- 2023-10-10 Marc Poulhiès Accepted
[COMMITTED] ada: Crash processing pragmas Compile_Time_Error and Compile_Time_Warning [COMMITTED] ada: Crash processing pragmas Compile_Time_Error and Compile_Time_Warning - - - 1-- 2023-10-10 Marc Poulhiès Accepted
[COMMITTED] ada: Fix missing call to Finalize_Protection for simple protected objects [COMMITTED] ada: Fix missing call to Finalize_Protection for simple protected objects - - - 1-- 2023-09-26 Marc Poulhiès Accepted
[COMMITTED] ada: Fix deferred constant wrongly rejected [COMMITTED] ada: Fix deferred constant wrongly rejected - - - 1-- 2023-09-26 Marc Poulhiès Accepted
[COMMITTED] ada: Fix unnesting generated loops with nested finalization procedure [COMMITTED] ada: Fix unnesting generated loops with nested finalization procedure - - - 1-- 2023-09-26 Marc Poulhiès Accepted
[COMMITTED] ada: Crash processing the accessibility level of an actual parameter [COMMITTED] ada: Crash processing the accessibility level of an actual parameter - - - 1-- 2023-09-26 Marc Poulhiès Accepted
[COMMITTED] ada: Fix missing finalization of extended return object on abnormal completion [COMMITTED] ada: Fix missing finalization of extended return object on abnormal completion - - - 1-- 2023-09-26 Marc Poulhiès Accepted
[COMMITTED] ada: Update personality function for CHERI purecap [COMMITTED] ada: Update personality function for CHERI purecap - - - 1-- 2023-09-26 Marc Poulhiès Accepted
[COMMITTED] ada: Fix conversions between addresses and integers [COMMITTED] ada: Fix conversions between addresses and integers - - - 1-- 2023-09-26 Marc Poulhiès Accepted
[COMMITTED] ada: Add CHERI variant of System.Stream_Attributes [COMMITTED] ada: Add CHERI variant of System.Stream_Attributes - - - 1-- 2023-09-26 Marc Poulhiès Accepted
[COMMITTED] ada: Define CHERI exception types [COMMITTED] ada: Define CHERI exception types - - - -1- 2023-09-26 Marc Poulhiès Unresolved
[COMMITTED] ada: Make minor corrections to CUDA-related comments [COMMITTED] ada: Make minor corrections to CUDA-related comments - - - 1-- 2023-09-26 Marc Poulhiès Accepted
[COMMITTED] ada: Dimensional analysis when used with elementary functions [COMMITTED] ada: Dimensional analysis when used with elementary functions - - - -1- 2023-09-26 Marc Poulhiès Unresolved
[COMMITTED] ada: Clarify RM references that justify a constraint check [COMMITTED] ada: Clarify RM references that justify a constraint check - - - 1-- 2023-09-26 Marc Poulhiès Accepted
[COMMITTED] ada: TSS finalize address subprogram generation for constrained... [COMMITTED] ada: TSS finalize address subprogram generation for constrained... - - - 1-- 2023-09-19 Marc Poulhiès Accepted
[COMMITTED] ada: Private extensions with the keyword "synchronized" are always limited. [COMMITTED] ada: Private extensions with the keyword "synchronized" are always limited. - - - 1-- 2023-09-19 Marc Poulhiès Accepted
[COMMITTED] ada: Refine upper array bound for bit packed array [COMMITTED] ada: Refine upper array bound for bit packed array - - - 1-- 2023-09-19 Marc Poulhiès Accepted
[COMMITTED] ada: Crash processing type invariants on child subprogram [COMMITTED] ada: Crash processing type invariants on child subprogram - - - 1-- 2023-09-19 Marc Poulhiès Accepted
[COMMITTED] ada: Fix minor glitch in finish_record_type [COMMITTED] ada: Fix minor glitch in finish_record_type - - - 1-- 2023-09-15 Marc Poulhiès Accepted
[COMMITTED] ada: Explicitly analyze and expand null array aggregates [COMMITTED] ada: Explicitly analyze and expand null array aggregates - - - 1-- 2023-09-15 Marc Poulhiès Accepted
[COMMITTED] ada: Fix wrong optimization of extended return for discriminated record type [COMMITTED] ada: Fix wrong optimization of extended return for discriminated record type - - - 1-- 2023-09-15 Marc Poulhiès Accepted
[COMMITTED] ada: Do not perform local-exception-to-goto optimization on barrier functions [COMMITTED] ada: Do not perform local-exception-to-goto optimization on barrier functions - - - 1-- 2023-09-15 Marc Poulhiès Accepted
[COMMITTED] ada: Generate runtime restrictions list when the standard library is suppressed [COMMITTED] ada: Generate runtime restrictions list when the standard library is suppressed - - - 1-- 2023-09-15 Marc Poulhiès Accepted
[COMMITTED] ada: Fix internal error on misaligned component with variable nominal size [COMMITTED] ada: Fix internal error on misaligned component with variable nominal size - - - -1- 2023-09-15 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix internal error on aggregate nested in container aggregate [COMMITTED] ada: Fix internal error on aggregate nested in container aggregate - - - -1- 2023-09-15 Marc Poulhiès Unresolved
[COMMITTED] ada: Remove GNAT Pro details regarding mold [COMMITTED] ada: Remove GNAT Pro details regarding mold - - - 1-- 2023-09-15 Marc Poulhiès Accepted
[COMMITTED] ada: Fix internal error on expression function with Refined_Post aspect [COMMITTED] ada: Fix internal error on expression function with Refined_Post aspect - - - 1-- 2023-09-15 Marc Poulhiès Accepted
[COMMITTED] ada: Clean up scope depth and related code (tech debt) [COMMITTED] ada: Clean up scope depth and related code (tech debt) - - - -1- 2023-09-15 Marc Poulhiès Unresolved
[COMMITTED] ada: Crash on creation of extra formals on type extension [COMMITTED] ada: Crash on creation of extra formals on type extension - - - -1- 2023-09-15 Marc Poulhiès Unresolved
[COMMITTED] ada: Improve detection of deactivated code for warnings with -gnatwt [COMMITTED] ada: Improve detection of deactivated code for warnings with -gnatwt - - - 1-- 2023-09-14 Marc Poulhiès Accepted
[COMMITTED] ada: Assertion failure on expansion of record with invariant [COMMITTED] ada: Assertion failure on expansion of record with invariant - - - 1-- 2023-09-14 Marc Poulhiès Accepted
[COMMITTED] ada: Assertion failure on calculation of Large_Max_Size_Mutable [COMMITTED] ada: Assertion failure on calculation of Large_Max_Size_Mutable - - - 1-- 2023-09-14 Marc Poulhiès Accepted
[COMMITTED] ada: Assertion failure on for-of loop iterating on selected component [COMMITTED] ada: Assertion failure on for-of loop iterating on selected component - - - 1-- 2023-09-14 Marc Poulhiès Accepted
[COMMITTED] ada: Fix late finalization for function call in delta aggregate [COMMITTED] ada: Fix late finalization for function call in delta aggregate - - - 1-- 2023-09-14 Marc Poulhiès Accepted
[COMMITTED] ada: Fix premature finalization in loop over limited iterable container [COMMITTED] ada: Fix premature finalization in loop over limited iterable container - - - -1- 2023-09-14 Marc Poulhiès Unresolved
[COMMITTED] ada: Assertion failure adding extra formals to late overriding subp. [COMMITTED] ada: Assertion failure adding extra formals to late overriding subp. - - - 1-- 2023-09-14 Marc Poulhiès Accepted
[COMMITTED] ada: Elide the copy in extended returns for nonlimited by-reference types [COMMITTED] ada: Elide the copy in extended returns for nonlimited by-reference types - - - -1- 2023-09-05 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix DWARF for certain arrays [COMMITTED] ada: Fix DWARF for certain arrays - - - 1-- 2023-09-05 Marc Poulhiès Accepted
[COMMITTED] ada: Remove redundant protection against empty list [COMMITTED] ada: Remove redundant protection against empty list - - - 1-- 2023-09-05 Marc Poulhiès Accepted
[COMMITTED] ada: Add guard before querying the type for its interfaces [COMMITTED] ada: Add guard before querying the type for its interfaces - - - -1- 2023-09-05 Marc Poulhiès Unresolved
[COMMITTED] ada: Remove redundant guard against an empty list of interfaces [COMMITTED] ada: Remove redundant guard against an empty list of interfaces - - - 1-- 2023-09-05 Marc Poulhiès Accepted
[COMMITTED] ada: Fix problematic secondary stack management in protected entry [COMMITTED] ada: Fix problematic secondary stack management in protected entry - - - -1- 2023-09-05 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix crash on selected component lookup in generic instance [COMMITTED] ada: Fix crash on selected component lookup in generic instance - - - -1- 2023-09-05 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix spurious warning emissions [COMMITTED] ada: Fix spurious warning emissions - - - 1-- 2023-09-05 Marc Poulhiès Accepted
[COMMITTED] ada: Fix assertion failure on very peculiar enumeration type [COMMITTED] ada: Fix assertion failure on very peculiar enumeration type - - - 1-- 2023-09-05 Marc Poulhiès Accepted
[COMMITTED] ada: Remove TBC comment, no more needed [COMMITTED] ada: Remove TBC comment, no more needed - - - 1-- 2023-09-05 Marc Poulhiès Accepted
[COMMITTED] ada: Crash on creation of extra formals on type extension [COMMITTED] ada: Crash on creation of extra formals on type extension - - - -1- 2023-09-05 Marc Poulhiès Unresolved
[COMMITTED] ada: Pass -msmp when linking for ppc-vx6 --RTS=rtp-smp [COMMITTED] ada: Pass -msmp when linking for ppc-vx6 --RTS=rtp-smp - - - 1-- 2023-09-05 Marc Poulhiès Accepted
[COMMITTED] ada: Crash on function returning empty Ada 2022 aggregate [COMMITTED] ada: Crash on function returning empty Ada 2022 aggregate - - - -1- 2023-09-05 Marc Poulhiès Unresolved
[COMMITTED] ada: Compiler hangs on invalid postcondition [COMMITTED] ada: Compiler hangs on invalid postcondition - - - 1-- 2023-09-05 Marc Poulhiès Accepted
[COMMITTED] ada: Spurious warning about negative modular literal [COMMITTED] ada: Spurious warning about negative modular literal - - - 1-- 2023-09-05 Marc Poulhiès Accepted
[COMMITTED] ada: Support setting task affinity on QNX [COMMITTED] ada: Support setting task affinity on QNX - - - 1-- 2023-09-05 Marc Poulhiès Accepted
[COMMITTED] ada: building_executable_programs_with_gnat.rst: fix -gnatw.x index [COMMITTED] ada: building_executable_programs_with_gnat.rst: fix -gnatw.x index - - - -1- 2023-09-05 Marc Poulhiès Unresolved
[COMMITTED] ada: Preserve capability validity in address arithmetic [COMMITTED] ada: Preserve capability validity in address arithmetic - - - 1-- 2023-09-05 Marc Poulhiès Accepted
[COMMITTED] ada: Fix internal error on instantiation with private component type [COMMITTED] ada: Fix internal error on instantiation with private component type - - - -1- 2023-09-05 Marc Poulhiès Unresolved
[COMMITTED] ada: Remove GNATcheck violations [COMMITTED] ada: Remove GNATcheck violations - - - -1- 2023-09-05 Marc Poulhiès Unresolved
[COMMITTED] ada: Add missing units to Makefile.rtl [COMMITTED] ada: Add missing units to Makefile.rtl - - - 1-- 2023-09-05 Marc Poulhiès Accepted
[COMMITTED] ada: Handle GNATcheck violations [COMMITTED] ada: Handle GNATcheck violations - - - 1-- 2023-09-05 Marc Poulhiès Accepted
[COMMITTED] ada: Enforce subtype conformance of interface primitives [COMMITTED] ada: Enforce subtype conformance of interface primitives - - - 1-- 2023-09-05 Marc Poulhiès Accepted
[COMMITTED] ada: Tweak comment about tasking corner case [COMMITTED] ada: Tweak comment about tasking corner case - - - 1-- 2023-09-05 Marc Poulhiès Accepted
[COMMITTED] Revert "Adjust one Ada test" [COMMITTED] Revert "Adjust one Ada test" - - - -1- 2023-09-05 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Refactor multiple returns [COMMITTED] ada: Refactor multiple returns - - - -1- 2023-08-07 Marc Poulhiès Unresolved
[COMMITTED] ada: Extend precondition of Interfaces.C.String.Value with Length [COMMITTED] ada: Extend precondition of Interfaces.C.String.Value with Length - - - 1-- 2023-08-07 Marc Poulhiès Accepted
[COMMITTED] ada: Crash in GNATprove due to wrong detection of inlining [COMMITTED] ada: Crash in GNATprove due to wrong detection of inlining - - - 1-- 2023-08-07 Marc Poulhiès Accepted
[COMMITTED] ada: Spurious error on class-wide preconditions [COMMITTED] ada: Spurious error on class-wide preconditions - - - 1-- 2023-08-07 Marc Poulhiès Accepted
[COMMITTED] ada: Add pragma Annotate for GNATcheck exemptions [COMMITTED] ada: Add pragma Annotate for GNATcheck exemptions - - - -1- 2023-08-03 Marc Poulhiès Unresolved
[COMMITTED] ada: Rewrite Set_Image_*_Unsigned routines to remove recursion. [COMMITTED] ada: Rewrite Set_Image_*_Unsigned routines to remove recursion. - - - 1-- 2023-08-03 Marc Poulhiès Accepted
[COMMITTED] ada: Fix spurious error on 'Input of private type with Type_Invariant aspect [COMMITTED] ada: Fix spurious error on 'Input of private type with Type_Invariant aspect - - - 1-- 2023-08-03 Marc Poulhiès Accepted
[COMMITTED] ada: Adjust again address arithmetics in System.Dwarf_Lines [COMMITTED] ada: Adjust again address arithmetics in System.Dwarf_Lines - - - -1- 2023-08-03 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix printing of numbers in JSON output for data representation [COMMITTED] ada: Fix printing of numbers in JSON output for data representation - - - 1-- 2023-08-01 Marc Poulhiès Accepted
[COMMITTED] ada: Disable inlining of subprograms with Skip(_Flow_And)_Proof in GNATprove [COMMITTED] ada: Disable inlining of subprograms with Skip(_Flow_And)_Proof in GNATprove - - - 1-- 2023-08-01 Marc Poulhiès Accepted
[COMMITTED] ada: Bugbox compiling Constrained_Protected_Object'Image [COMMITTED] ada: Bugbox compiling Constrained_Protected_Object'Image - - - 1-- 2023-08-01 Marc Poulhiès Accepted
[COMMITTED] ada: Incorrect optimization for unconstrained limited record component type [COMMITTED] ada: Incorrect optimization for unconstrained limited record component type - - - 1-- 2023-08-01 Marc Poulhiès Accepted
[COMMITTED] ada: Default Put_Image for composite derived types is missing information [COMMITTED] ada: Default Put_Image for composite derived types is missing information - - - -1- 2023-08-01 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix generation of JSON output for data representation [COMMITTED] ada: Fix generation of JSON output for data representation - - - 1-- 2023-08-01 Marc Poulhiès Accepted
[COMMITTED] ada: check Atree.Get/Set_Field_Value [COMMITTED] ada: check Atree.Get/Set_Field_Value - - - 1-- 2023-08-01 Marc Poulhiès Accepted
[COMMITTED] ada: Emit SCOs for nested decisions in quantified expressions [COMMITTED] ada: Emit SCOs for nested decisions in quantified expressions - - - 1-- 2023-08-01 Marc Poulhiès Accepted
« 1 2 3 4 … 8 9 »