Show patches with: Submitter = Marc Poulhiès       |    State = Action Required       |    Archived = No       |   347 patches
« 1 2 3 4 »
Patch Series A/R/T S/W/F Date Submitter Delegate State
[COMMITTED] ada: Fix parsing bug in GNAT.Formatted_String [COMMITTED] ada: Fix parsing bug in GNAT.Formatted_String - - - -1- 2023-01-03 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix premature finalization of return temporary [COMMITTED] ada: Fix premature finalization of return temporary - - - -1- 2023-01-03 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix format string parsing in GNAT.Formatted_String [COMMITTED] ada: Fix format string parsing in GNAT.Formatted_String - - - -1- 2023-01-03 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Make Apply_Discriminant_Check.Denotes_Explicit_Dereference more robust [COMMITTED] ada: Make Apply_Discriminant_Check.Denotes_Explicit_Dereference more robust - - - -1- 2023-01-03 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Fix calling convention of foreign functions returning limited type [COMMITTED] ada: Fix calling convention of foreign functions returning limited type - - - -1- 2023-01-03 Marc Poulhiès Unresolved
[COMMITTED] ada: Adapt frontend optimization for aggregate assignment [COMMITTED] ada: Adapt frontend optimization for aggregate assignment - - - -1- 2023-01-03 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Another small adjustment to special resolution of membership test [COMMITTED] ada: Another small adjustment to special resolution of membership test - - - -1- 2023-01-03 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Make Sem_Util.Is_Aliased_View predicate more robust [COMMITTED] ada: Make Sem_Util.Is_Aliased_View predicate more robust - - - -1- 2023-01-03 Marc Poulhiès Unresolved
[COMMITTED] ada: GNAT UGN: Adjust wording in "Platform-specific Information" chapter [COMMITTED] ada: GNAT UGN: Adjust wording in "Platform-specific Information" chapter - - - -1- 2023-01-03 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Fix detection of function calls in object declarations [COMMITTED] ada: Fix detection of function calls in object declarations - - - -1- 2023-01-03 Marc Poulhiès Unresolved
[COMMITTED] ada: Simplify [Small_]Integer_Type_For [COMMITTED] ada: Simplify [Small_]Integer_Type_For - - - -1- 2023-01-03 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Fix support of Default_Component_Value aspect on derived types [COMMITTED] ada: Fix support of Default_Component_Value aspect on derived types - - - -1- 2023-01-03 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Allow No_Caching on volatile types [COMMITTED] ada: Allow No_Caching on volatile types - - - -1- 2022-12-06 Marc Poulhiès Unresolved
[COMMITTED] ada: Spurious error on nested call using the prefix notation [COMMITTED] ada: Spurious error on nested call using the prefix notation - - - -1- 2022-12-06 Marc Poulhiès Unresolved
[COMMITTED] ada: Suppress warning for specific constant valid condition [COMMITTED] ada: Suppress warning for specific constant valid condition - - - -1- 2022-12-06 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix spurious error in checking of SPARK elaboration [COMMITTED] ada: Fix spurious error in checking of SPARK elaboration - - - -1- 2022-12-06 Marc Poulhiès Repeat Merge
[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- 2022-12-06 Marc Poulhiès Unresolved
[COMMITTED] ada: Small adjustment to special resolution of membership test [COMMITTED] ada: Small adjustment to special resolution of membership test - - - -1- 2022-12-06 Marc Poulhiès Unresolved
[COMMITTED] ada: Use larger type for membership test of universal value [COMMITTED] ada: Use larger type for membership test of universal value - - - -1- 2022-12-06 Marc Poulhiès Unresolved
[COMMITTED] ada: Accessibility code reorganization and bug fixes [COMMITTED] ada: Accessibility code reorganization and bug fixes - - - -1- 2022-12-06 Marc Poulhiès Unresolved
[COMMITTED] ada: Add Codepeer Exemption + simplify TO_C code. [COMMITTED] ada: Add Codepeer Exemption + simplify TO_C code. - - - -1- 2022-12-06 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Strip conversions for the implementation of storage models [COMMITTED] ada: Strip conversions for the implementation of storage models - - - -1- 2022-12-01 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Enforce Aggregate aspect legality rule [COMMITTED] ada: Enforce Aggregate aspect legality rule - - - -1- 2022-12-01 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Further adjustments to User's Guide for PIE default [COMMITTED] ada: Further adjustments to User's Guide for PIE default - - - -1- 2022-12-01 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Fix misphrasing in comment [COMMITTED] ada: Fix misphrasing in comment - - - -1- 2022-12-01 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Use the address type of a Storage_Model_Type for 'Address [COMMITTED] ada: Use the address type of a Storage_Model_Type for 'Address - - - -1- 2022-12-01 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Fix minor issues in reference manual [COMMITTED] ada: Fix minor issues in reference manual - - - -1- 2022-12-01 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Minor updates to gnat/doc configuration [COMMITTED] ada: Minor updates to gnat/doc configuration - - - -1- 2022-12-01 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Adjust runtime library and User's Guide to PIE default on Linux [COMMITTED] ada: Adjust runtime library and User's Guide to PIE default on Linux - - - -1- 2022-11-28 Marc Poulhiès Repeat Merge
[COMMITTED] ada: doc/share/conf.py: Switch the HTML documentation to using the RTD theme [COMMITTED] ada: doc/share/conf.py: Switch the HTML documentation to using the RTD theme - - - -1- 2022-11-28 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Add assertion for the implementation of storage models [COMMITTED] ada: Add assertion for the implementation of storage models - - - -1- 2022-11-24 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Spurious error on Lock_Free protected type with discriminants [COMMITTED] ada: Spurious error on Lock_Free protected type with discriminants - - - -1- 2022-11-24 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Accept aspects Global and Depends on abstract subprograms [COMMITTED] ada: Accept aspects Global and Depends on abstract subprograms - - - -1- 2022-11-22 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Disable checking of Elab_Spec procedures in CodePeer_Mode [COMMITTED] ada: Disable checking of Elab_Spec procedures in CodePeer_Mode - - - -1- 2022-11-22 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Adjust number of errors when removing warning in dead code [COMMITTED] ada: Adjust number of errors when removing warning in dead code - - - -1- 2022-11-22 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Fix formatting glitches in Make_Tag_Assignment [COMMITTED] ada: Fix formatting glitches in Make_Tag_Assignment - - - -1- 2022-11-22 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Fix recent assertion failure on GPR2 [COMMITTED] ada: Fix recent assertion failure on GPR2 - - - -1- 2022-11-22 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Adjust recent change for returns involving function calls [COMMITTED] ada: Adjust recent change for returns involving function calls - - - -1- 2022-11-21 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Do not share Packed Array Type if sizes of types differ [COMMITTED] ada: Do not share Packed Array Type if sizes of types differ - - - -1- 2022-11-21 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Order pragmas alphabetically in reference manual [COMMITTED] ada: Order pragmas alphabetically in reference manual - - - -1- 2022-11-21 Marc Poulhiès Unresolved
[COMMITTED] ada: Minor tweak in assertion [COMMITTED] ada: Minor tweak in assertion - - - -1- 2022-11-21 Marc Poulhiès Unresolved
[COMMITTED] ada: Internal compiler error for Sequential Partition_Elaboration_Policy [COMMITTED] ada: Internal compiler error for Sequential Partition_Elaboration_Policy - - - -1- 2022-11-21 Marc Poulhiès Unresolved
[COMMITTED] ada: Small cleanup in Expand_N_Object_Declaration [COMMITTED] ada: Small cleanup in Expand_N_Object_Declaration - - - -1- 2022-11-21 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Ada 2022 Image attribute bugs [COMMITTED] ada: Ada 2022 Image attribute bugs - - - -1- 2022-11-21 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Disable subprogram call validation in CodePeer mode [COMMITTED] ada: Disable subprogram call validation in CodePeer mode - - - -1- 2022-11-21 Marc Poulhiès Unresolved
[COMMITTED] ada: Move warnings switches [COMMITTED] ada: Move warnings switches - - - -1- 2022-11-21 Marc Poulhiès Unresolved
[COMMITTED] ada: Improve documentation for -gnatw.h warnings [COMMITTED] ada: Improve documentation for -gnatw.h warnings - - - -1- 2022-11-21 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Reject nonconfirming Size attribute value for aliased object [COMMITTED] ada: Reject nonconfirming Size attribute value for aliased object - - - -1- 2022-11-21 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Silence CodePeer false positive [COMMITTED] ada: Silence CodePeer false positive - - - -1- 2022-11-14 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Remove incorrect comments about initialization [COMMITTED] ada: Remove incorrect comments about initialization - - - -1- 2022-11-14 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Flag unsupported dispatching constructor calls [COMMITTED] ada: Flag unsupported dispatching constructor calls - - - -1- 2022-11-14 Marc Poulhiès Repeat Merge
[COMMITTED] ada: hardcfr docs: add optional checkpoints [COMMITTED] ada: hardcfr docs: add optional checkpoints - - - -1- 2022-11-14 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Crash on applying 'Pos to expression of a type derived from a formal type [COMMITTED] ada: Crash on applying 'Pos to expression of a type derived from a formal type - - - -1- 2022-11-14 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Fix non-capturing parentheses handling [COMMITTED] ada: Fix non-capturing parentheses handling - - - -1- 2022-11-14 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Fix error on SPARK_Mode on library-level separate body [COMMITTED] ada: Fix error on SPARK_Mode on library-level separate body - - - -1- 2022-11-14 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Adjust locations in aspects on generic formal subprograms [COMMITTED] ada: Adjust locations in aspects on generic formal subprograms - - - -1- 2022-11-14 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix style in code for generic formal subprograms with contracts [COMMITTED] ada: Fix style in code for generic formal subprograms with contracts - - - -1- 2022-11-14 Marc Poulhiès Unresolved
[COMMITTED] ada: Expand generic formal subprograms with contracts for GNATprove [COMMITTED] ada: Expand generic formal subprograms with contracts for GNATprove - - - -1- 2022-11-14 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Enable Support_Atomic_Primitives on QNX and RTEMS [COMMITTED] ada: Enable Support_Atomic_Primitives on QNX and RTEMS - - - -1- 2022-11-14 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Improve location of error messages in instantiations [COMMITTED] ada: Improve location of error messages in instantiations - - - -1- 2022-11-14 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Remove gnatcheck reference [COMMITTED] ada: Remove gnatcheck reference - - - -1- 2022-11-14 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Fix oversight in implementation of allocators for storage models [COMMITTED] ada: Fix oversight in implementation of allocators for storage models - - - -1- 2022-11-08 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Compile-time simplification of 'Image incorrectly ignores Put_Image [COMMITTED] ada: Compile-time simplification of 'Image incorrectly ignores Put_Image - - - -1- 2022-11-08 Marc Poulhiès Unresolved
[COMMITTED] ada: Clean up call to check if aspects are present [COMMITTED] ada: Clean up call to check if aspects are present - - - -1- 2022-11-08 Marc Poulhiès Unresolved
[COMMITTED] ada: Adjust classwide contract expression preanalysis [COMMITTED] ada: Adjust classwide contract expression preanalysis - - - -1- 2022-11-08 Marc Poulhiès Unresolved
[COMMITTED] ada: Set Support_Atomic_Primitives for VxWorks 7 runtimes [COMMITTED] ada: Set Support_Atomic_Primitives for VxWorks 7 runtimes - - - -1- 2022-11-08 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Small consistency fix [COMMITTED] ada: Small consistency fix - - - -1- 2022-11-08 Marc Poulhiès Unresolved
[COMMITTED] ada: Propagate aspect Ghost when instantiating null formal procedures [COMMITTED] ada: Propagate aspect Ghost when instantiating null formal procedures - - - -1- 2022-11-08 Marc Poulhiès Unresolved
[COMMITTED] ada: Implement RM 4.5.7(10/3) name resolution rule [COMMITTED] ada: Implement RM 4.5.7(10/3) name resolution rule - - - -1- 2022-11-08 Marc Poulhiès Unresolved
[COMMITTED] ada: Enforce matching of extra formals [COMMITTED] ada: Enforce matching of extra formals - - - -1- 2022-11-08 Marc Poulhiès Unresolved
[COMMITTED] ada: Move warnings switches -- initial work [COMMITTED] ada: Move warnings switches -- initial work - - - -1- 2022-11-08 Marc Poulhiès Unresolved
[COMMITTED] ada: Align -gnatwc's documentation with its behavior [COMMITTED] ada: Align -gnatwc's documentation with its behavior - - - -1- 2022-11-08 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Improve handling of declare expressions in deferred-freezing contexts [COMMITTED] ada: Improve handling of declare expressions in deferred-freezing contexts - - - -1- 2022-11-08 Marc Poulhiès Unresolved
[COMMITTED] ada: Minor consistency tweaks in Sem_Ch4 [COMMITTED] ada: Minor consistency tweaks in Sem_Ch4 - - - -1- 2022-11-08 Marc Poulhiès Unresolved
[COMMITTED] ada: Remove redundant line in Analyze_Qualified_Expression [COMMITTED] ada: Remove redundant line in Analyze_Qualified_Expression - - - -1- 2022-11-08 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Preanalyze classwide contracts as spec expressions [COMMITTED] ada: Preanalyze classwide contracts as spec expressions - - - -1- 2022-11-08 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix expansion of 'Wide_Image and 'Wide_Wide_Image on composite types [COMMITTED] ada: Fix expansion of 'Wide_Image and 'Wide_Wide_Image on composite types - - - -1- 2022-11-08 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Fix inconsistent whitespace in Ada.Numerics.Generic_Complex_Arrays [COMMITTED] ada: Fix inconsistent whitespace in Ada.Numerics.Generic_Complex_Arrays - - - -1- 2022-11-08 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Remove unneeded code in handling formal type defaults [COMMITTED] ada: Remove unneeded code in handling formal type defaults - - - -1- 2022-11-08 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Cleanup local variable that is only set as an out parameter [COMMITTED] ada: Cleanup local variable that is only set as an out parameter - - - -1- 2022-11-08 Marc Poulhiès Unresolved
[COMMITTED] ada: Remove obsolete code in Resolve_If_Expression [COMMITTED] ada: Remove obsolete code in Resolve_If_Expression - - - -1- 2022-11-08 Marc Poulhiès Unresolved
[COMMITTED] ada: Reject limited objects in array and record delta aggregates [COMMITTED] ada: Reject limited objects in array and record delta aggregates - - - -1- 2022-11-08 Marc Poulhiès Unresolved
[COMMITTED] ada: Allow initialization of limited objects with delta aggregates [COMMITTED] ada: Allow initialization of limited objects with delta aggregates - - - -1- 2022-11-08 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Reject record delta aggregates with limited expressions [COMMITTED] ada: Reject record delta aggregates with limited expressions - - - -1- 2022-11-08 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Missing master of task causing assertion failure [COMMITTED] ada: Missing master of task causing assertion failure - - - -1- 2022-11-08 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Raise Tag_Error when Ada.Tags operations are called with No_Tag [COMMITTED] ada: Raise Tag_Error when Ada.Tags operations are called with No_Tag - - - -1- 2022-11-08 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Add new -gnatw_q switch to usage message [COMMITTED] ada: Add new -gnatw_q switch to usage message - - - -1- 2022-11-08 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Document that gprof won't work on windows with PIE. [COMMITTED] ada: Document that gprof won't work on windows with PIE. - - - -1- 2022-11-07 Marc Poulhiès Unresolved
[COMMITTED] ada: Tune hash function for cross-reference entries [COMMITTED] ada: Tune hash function for cross-reference entries - - - -1- 2022-11-07 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Fix performance regression related to references in Refined_State [COMMITTED] ada: Fix performance regression related to references in Refined_State - - - -1- 2022-11-07 Marc Poulhiès Unresolved
[COMMITTED] ada: Use named notation in calls to Expand_Composite_Equality [COMMITTED] ada: Use named notation in calls to Expand_Composite_Equality - - - -1- 2022-11-07 Marc Poulhiès Unresolved
[COMMITTED] ada: New warning about noncomposing user-defined "=" [COMMITTED] ada: New warning about noncomposing user-defined "=" - - - -1- 2022-11-07 Marc Poulhiès Unresolved
[COMMITTED] ada: Inline composite node kind AST queries [COMMITTED] ada: Inline composite node kind AST queries - - - -1- 2022-11-07 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix inherited postconditions in inlined subprograms [COMMITTED] ada: Fix inherited postconditions in inlined subprograms - - - -1- 2022-11-07 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Fixed elaboration of CUDA programs. [COMMITTED] ada: Fixed elaboration of CUDA programs. - - - -1- 2022-11-07 Marc Poulhiès Unresolved
[COMMITTED] ada: Rework CUDA host-side invocation of device-side elaboration code [COMMITTED] ada: Rework CUDA host-side invocation of device-side elaboration code - - - -1- 2022-11-07 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix detection of external calls to protected objects in instances [COMMITTED] ada: Fix detection of external calls to protected objects in instances - - - -1- 2022-11-07 Marc Poulhiès Unresolved
[COMMITTED] ada: Clean up unnecessary nesting in code for DLL libraries [COMMITTED] ada: Clean up unnecessary nesting in code for DLL libraries - - - -1- 2022-11-07 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Suppress warnings on derived True/False [COMMITTED] ada: Suppress warnings on derived True/False - - - -1- 2022-11-07 Marc Poulhiès Unresolved
[COMMITTED] ada: Deconstruct Safe_To_Capture_In_Parameter_Value [COMMITTED] ada: Deconstruct Safe_To_Capture_In_Parameter_Value - - - -1- 2022-11-07 Marc Poulhiès Unresolved
« 1 2 3 4 »