Show patches with: Submitter = Marc Poulhiès       |    Archived = No       |   818 patches
« 1 2 … 6 7 8 9 »
Patch Series A/R/T S/W/F Date Submitter Delegate State
[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: Fix gnatmake's parsing of adc files [COMMITTED] ada: Fix gnatmake's parsing of adc files - - - 1-- 2022-11-21 Marc Poulhiès Accepted
[COMMITTED] ada: Tweak error messages on misplaced with keywords [COMMITTED] ada: Tweak error messages on misplaced with keywords - - - 1-- 2022-11-21 Marc Poulhiès Accepted
[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
[COMMITTED] ada: Flip warning suppression routine to positive meaning [COMMITTED] ada: Flip warning suppression routine to positive meaning - - - -1- 2022-11-07 Marc Poulhiès Unresolved
[COMMITTED] ada: Cleanup detection of code within generic instances [COMMITTED] ada: Cleanup detection of code within generic instances - - - -1- 2022-11-07 Marc Poulhiès Unresolved
[COMMITTED] ada: Remove redundant suppression for non-modified IN OUT parameters [COMMITTED] ada: Remove redundant suppression for non-modified IN OUT parameters - - - -1- 2022-11-07 Marc Poulhiès Unresolved
[COMMITTED] ada: Reject boxes in delta array aggregates [COMMITTED] ada: Reject boxes in delta array aggregates - - - -1- 2022-11-07 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Allow reuse of Enclosing_Declaration_Or_Statement by GNATprove [COMMITTED] ada: Allow reuse of Enclosing_Declaration_Or_Statement by GNATprove - - - -1- 2022-11-07 Marc Poulhiès Unresolved
[COMMITTED] ada: Clean up unnecesary call in resolution of overloaded expressions [COMMITTED] ada: Clean up unnecesary call in resolution of overloaded expressions - - - -1- 2022-11-07 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Clean up code for visibility of generic actuals [COMMITTED] ada: Clean up code for visibility of generic actuals - - - -1- 2022-11-07 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Cleanup comment about mapping parameters when inlining [COMMITTED] ada: Cleanup comment about mapping parameters when inlining - - - -1- 2022-11-07 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Put_Image aspect spec incorrectly not inherited [COMMITTED] ada: Put_Image aspect spec incorrectly not inherited - - - -1- 2022-11-07 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Tune layout after switching to Ada 2022 aggregate syntax [COMMITTED] ada: Tune layout after switching to Ada 2022 aggregate syntax - - - -1- 2022-11-07 Marc Poulhiès Unresolved
[COMMITTED] ada: Cleanup WITH clauses after switching from obsolescent Ada 83 unit [COMMITTED] ada: Cleanup WITH clauses after switching from obsolescent Ada 83 unit - - - -1- 2022-11-07 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Create operator nodes in functional style [COMMITTED] ada: Create operator nodes in functional style - - - -1- 2022-11-07 Marc Poulhiès Unresolved
[COMMITTED] ada: Don't reuse operator nodes in expansion [COMMITTED] ada: Don't reuse operator nodes in expansion - - - -1- 2022-11-07 Marc Poulhiès Unresolved
[COMMITTED] ada: Simplify detection of pragmas in the context items [COMMITTED] ada: Simplify detection of pragmas in the context items - - - -1- 2022-11-07 Marc Poulhiès Unresolved
[COMMITTED] ada: Reject misplaced pragma Obsolescent [COMMITTED] ada: Reject misplaced pragma Obsolescent - - - -1- 2022-11-07 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Fix missing tag for with of an obsolescent function [COMMITTED] ada: Fix missing tag for with of an obsolescent function - - - -1- 2022-11-07 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Remove useless validity suppression for attribute Input [COMMITTED] ada: Remove useless validity suppression for attribute Input - - - -1- 2022-11-07 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Fix for validity checks combined with aliasing checks [COMMITTED] ada: Fix for validity checks combined with aliasing checks - - - -1- 2022-11-04 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix couple of issues with arrays indexed by enumeration type [COMMITTED] ada: Fix couple of issues with arrays indexed by enumeration type - - - -1- 2022-11-04 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix typo in comment referring to pragma Restrictions [COMMITTED] ada: Fix typo in comment referring to pragma Restrictions - - - -1- 2022-11-04 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Cleanup code for warnings about unreferenced formal parameters [COMMITTED] ada: Cleanup code for warnings about unreferenced formal parameters - - - -1- 2022-11-04 Marc Poulhiès Unresolved
[COMMITTED] ada: Cleanup code for unreferenced variables [COMMITTED] ada: Cleanup code for unreferenced variables - - - -1- 2022-11-04 Marc Poulhiès Unresolved
[COMMITTED] ada: Cleanup code for warnings about unset references [COMMITTED] ada: Cleanup code for warnings about unset references - - - -1- 2022-11-04 Marc Poulhiès Unresolved
[COMMITTED] ada: Static intrinsic functions are a core language extension. [COMMITTED] ada: Static intrinsic functions are a core language extension. - - - -1- 2022-11-04 Marc Poulhiès Unresolved
[COMMITTED] ada: Remove redundant calls in handling of aspect specifications [COMMITTED] ada: Remove redundant calls in handling of aspect specifications - - - -1- 2022-11-04 Marc Poulhiès Unresolved
[COMMITTED] ada: Flag unsupported dispatching constructor calls [COMMITTED] ada: Flag unsupported dispatching constructor calls - - - -1- 2022-11-04 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Avoid repeated iteration over private protected components [COMMITTED] ada: Avoid repeated iteration over private protected components - - - -1- 2022-11-04 Marc Poulhiès Unresolved
[COMMITTED] ada: Cleanup clearing flags on package variables [COMMITTED] ada: Cleanup clearing flags on package variables - - - -1- 2022-11-04 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Fix various typos in GNAT User's Guide [COMMITTED] ada: Fix various typos in GNAT User's Guide - - - -1- 2022-11-04 Marc Poulhiès Unresolved
« 1 2 … 6 7 8 9 »