Show patches with: Submitter = Pierre-Marie de Rodat       |    State = Action Required       |    Archived = No       |   3078 patches
« 1 2 3 4 … 30 31 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Extend No_Dependence restriction to code generation [Ada] Extend No_Dependence restriction to code generation - - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Revert recent change in debug info for vector array types [Ada] Revert recent change in debug info for vector array types - - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Use actual types instead of formal types consistently in debug info [Ada] Use actual types instead of formal types consistently in debug info - - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Generate debug info entry for user-defined access subtype [Ada] Generate debug info entry for user-defined access subtype - - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Do not generate DW_TAG_typedef for constrained array types [Ada] Do not generate DW_TAG_typedef for constrained array types - - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Fix internal error on comparison with access function parameter [Ada] Fix internal error on comparison with access function parameter - - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Fix internal error on instance of Ada.Task_Attributes at -O [Ada] Fix internal error on instance of Ada.Task_Attributes at -O - - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Fix wrong access check with access-to-unconstrained-array [Ada] Fix wrong access check with access-to-unconstrained-array - - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Add support for defaulted Storage_Model_Type aspect and subaspects [Ada] Add support for defaulted Storage_Model_Type aspect and subaspects - - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Fix for visibility of aspect expressions inside generic units [Ada] Fix for visibility of aspect expressions inside generic units - - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Handle bodies-to-inline just like generic templates [Ada] Handle bodies-to-inline just like generic templates - - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Clarify hardening command-line options that require explicit choices [Ada] Clarify hardening command-line options that require explicit choices - - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Fix incorrect handling of Ghost aspect [Ada] Fix incorrect handling of Ghost aspect - - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Fix proof of runtime unit System.Arith_64 [Ada] Fix proof of runtime unit System.Arith_64 - - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Fix crash on frontend inlining of functions with single returns [Ada] Fix crash on frontend inlining of functions with single returns - - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Plug legality loophole for equality operator of untagged record types [Ada] Plug legality loophole for equality operator of untagged record types - - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Fix if expression returning slice [Ada] Fix if expression returning slice - - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Fix internal error on untagged record type with equality operator [Ada] Fix internal error on untagged record type with equality operator - - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Fix CodePeer warnings in GNAT sources [Ada] Fix CodePeer warnings in GNAT sources - - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Refine type for checking number of pragma arguments [Ada] Refine type for checking number of pragma arguments - - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Fix inconsistent comment about expansion of exception declarations [Ada] Fix inconsistent comment about expansion of exception declarations - - - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Fix 0-sized secondary stack allocations [Ada] Fix 0-sized secondary stack allocations - - - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Use right implementation type for nonbinary-modulus ops [Ada] Use right implementation type for nonbinary-modulus ops - - - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Spurious use_type clause warning [Ada] Spurious use_type clause warning - - - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Extend No_Dependence restriction to code generation [Ada] Extend No_Dependence restriction to code generation - - - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Don't check for misspelling of Not_A_Restriction_Id [Ada] Don't check for misspelling of Not_A_Restriction_Id - - - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Fix confusing error expression on an unknown restriction [Ada] Fix confusing error expression on an unknown restriction - - - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Make it clear that gnatmake passes the ball to gprbuild if -P is set [Ada] Make it clear that gnatmake passes the ball to gprbuild if -P is set - - - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Suppress warning in g-socthi__vxworks.adb [Ada] Suppress warning in g-socthi__vxworks.adb - - - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Simplify rewriting of attributes into Boolean literals [Ada] Simplify rewriting of attributes into Boolean literals - - - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Ignore switches for controlling frontend warnings in GNATprove mode [Ada] Ignore switches for controlling frontend warnings in GNATprove mode - - - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Do not create large objects for indefinite protected types [Ada] Do not create large objects for indefinite protected types - - - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Vxworks7* - Makefile.rtl rtp vs rtp-smp cleanup - remove unused files [Ada] Vxworks7* - Makefile.rtl rtp vs rtp-smp cleanup - remove unused files - - - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Fix spurious warning on unreferenced internal generic instance [Ada] Fix spurious warning on unreferenced internal generic instance - - - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Refine heuristics for unreachable-code warnings [Ada] Refine heuristics for unreachable-code warnings - - - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Remove out-of-range warning in unreachable code [Ada] Remove out-of-range warning in unreachable code - - - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Add one more leading underscore to couple of exported symbols [Ada] Add one more leading underscore to couple of exported symbols - - - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Proper freezing for dispatching expression functions. [Ada] Proper freezing for dispatching expression functions. - - - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Warn on unset objects in packages with no bodies [Ada] Warn on unset objects in packages with no bodies - - - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Accept aspect Yield on subprogram bodies acting as specs [Ada] Accept aspect Yield on subprogram bodies acting as specs - - - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Fix buffer overrun for small string concatenation at -O0 [Ada] Fix buffer overrun for small string concatenation at -O0 - - - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Avoid namespace pollution for Next and Previous [Ada] Avoid namespace pollution for Next and Previous - - - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Warn about unreachable code after calls with No_Return [Ada] Warn about unreachable code after calls with No_Return - - - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Clean up scanner [Ada] Clean up scanner - - - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Ignore exceptions in task termination handlers [Ada] Ignore exceptions in task termination handlers - - - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Fix missing Overflow and Range checks [Ada] Fix missing Overflow and Range checks - - - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Remove excessive guard in detection of access-to-variable objects [Ada] Remove excessive guard in detection of access-to-variable objects - - - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Simplify regular expression that matches 8 consecutive digits [Ada] Simplify regular expression that matches 8 consecutive digits - - - - --- 2022-07-06 Pierre-Marie de Rodat New
[Ada] Improve code generated for aggregates of VFA type [Ada] Improve code generated for aggregates of VFA type - - - - --- 2022-07-06 Pierre-Marie de Rodat New
[Ada] Small tweak to gnat_to_gnu_subprog_type [Ada] Small tweak to gnat_to_gnu_subprog_type - - - - --- 2022-07-06 Pierre-Marie de Rodat New
[Ada] Deferred constant considered as not preelaborable [Ada] Deferred constant considered as not preelaborable - - - - --- 2022-07-06 Pierre-Marie de Rodat New
[Ada] Indexing error when calling GNAT.Regpat.Match [Ada] Indexing error when calling GNAT.Regpat.Match - - - - --- 2022-07-06 Pierre-Marie de Rodat New
[Ada] Spurious non-callable warning on prefixed call in class condition [Ada] Spurious non-callable warning on prefixed call in class condition - - - - --- 2022-07-06 Pierre-Marie de Rodat New
[Ada] Support ghost generic formal parameters [Ada] Support ghost generic formal parameters - - - - --- 2022-07-06 Pierre-Marie de Rodat New
[Ada] Missing error on tagged type conversion [Ada] Missing error on tagged type conversion - - - - --- 2022-07-06 Pierre-Marie de Rodat New
[Ada] Handle secondary stack memory allocations alignment [Ada] Handle secondary stack memory allocations alignment - - - - --- 2022-07-06 Pierre-Marie de Rodat New
[Ada] Cleanup use of local scalars in GNAT.Socket.Get_Address_Info [Ada] Cleanup use of local scalars in GNAT.Socket.Get_Address_Info - - - - --- 2022-07-06 Pierre-Marie de Rodat New
[Ada] Vxworks7* - Makefile.rtl rtp vs rtp-smp cleanup [Ada] Vxworks7* - Makefile.rtl rtp vs rtp-smp cleanup - - - - --- 2022-07-06 Pierre-Marie de Rodat New
[Ada] Fix incorrect itype sharing for case expression in limited type return [Ada] Fix incorrect itype sharing for case expression in limited type return - - - - --- 2022-07-06 Pierre-Marie de Rodat New
[Ada] Remove old vxworks from Makefile.rtl - e500 port. [Ada] Remove old vxworks from Makefile.rtl - e500 port. - - - - --- 2022-07-06 Pierre-Marie de Rodat New
[Ada] Incorrect emptying of CUDA global subprograms [Ada] Incorrect emptying of CUDA global subprograms - - - - --- 2022-07-06 Pierre-Marie de Rodat New
[Ada] Remove explicit call to Make_Unchecked_Type_Conversion [Ada] Remove explicit call to Make_Unchecked_Type_Conversion - - - - --- 2022-07-06 Pierre-Marie de Rodat New
[Ada] Restore accidentally removed part of a comment about unset references [Ada] Restore accidentally removed part of a comment about unset references - - - - --- 2022-07-06 Pierre-Marie de Rodat New
[Ada] Fix spurious error for aggregate with box component choice [Ada] Fix spurious error for aggregate with box component choice - - - - --- 2022-07-06 Pierre-Marie de Rodat New
[Ada] Warn about obsolete uses of renamed Ada 83 packages [Ada] Warn about obsolete uses of renamed Ada 83 packages - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Couple of small cleanups for Cloned_Subtype [Ada] Couple of small cleanups for Cloned_Subtype - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Remove kludge for validity checks on Long_Float type [Ada] Remove kludge for validity checks on Long_Float type - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Remove repeated setting of Never_Set_In_Source [Ada] Remove repeated setting of Never_Set_In_Source - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Reorder processing of default expressions to avoid repeated calls [Ada] Reorder processing of default expressions to avoid repeated calls - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Remove redundant protection against empty lists [Ada] Remove redundant protection against empty lists - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] qnx-7.1: ACATS cxag001 failure on qnx - realpath [Ada] qnx-7.1: ACATS cxag001 failure on qnx - realpath - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Remove use of a global name buffer when locating a file [Ada] Remove use of a global name buffer when locating a file - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Reuse Get_Pragma_Arg to handle pragma argument associations [Ada] Reuse Get_Pragma_Arg to handle pragma argument associations - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Fix spurious error on object renaming with ghost type [Ada] Fix spurious error on object renaming with ghost type - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Misc cleanup related to finalization [Ada] Misc cleanup related to finalization - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Remove repeated analysis for pragma Thread_Local_Storage [Ada] Remove repeated analysis for pragma Thread_Local_Storage - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Annotate GNAT.Sockets with No_Return aspects [Ada] Annotate GNAT.Sockets with No_Return aspects - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Cleanup repeated code for aggregate constraints checks [Ada] Cleanup repeated code for aggregate constraints checks - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Fix comments mentioning ancient flags related to objects references [Ada] Fix comments mentioning ancient flags related to objects references - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Spurious error on qualified prefix in Pack.Func'Result [Ada] Spurious error on qualified prefix in Pack.Func'Result - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Perform object rewriting as renaming only in the expander [Ada] Perform object rewriting as renaming only in the expander - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Remove exception propagation during bootstrap [Ada] Remove exception propagation during bootstrap - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Remove unnecessary dead code after calls to nonreturning procedures [Ada] Remove unnecessary dead code after calls to nonreturning procedures - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Remove return statements after procedure calls that don't return [Ada] Remove return statements after procedure calls that don't return - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Combine system.ads files - vxworks6 constants. [Ada] Combine system.ads files - vxworks6 constants. - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Fix clearly unintentional dead analysis of attribute Code_Address [Ada] Fix clearly unintentional dead analysis of attribute Code_Address - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Cleanup in error about unreachable code [Ada] Cleanup in error about unreachable code - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Remove redundant guards in detection of unreachable code [Ada] Remove redundant guards in detection of unreachable code - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Remove redundant guard for call to List_Length with a No_List [Ada] Remove redundant guard for call to List_Length with a No_List - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Add RM reference to check for functions without a return statement [Ada] Add RM reference to check for functions without a return statement - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Remove comment about a long gone formal verification mode [Ada] Remove comment about a long gone formal verification mode - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Remove unimplemented convert_addresses declaration [Ada] Remove unimplemented convert_addresses declaration - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Do not make procedure call with only tag-indeternminate actuals dispatching [Ada] Do not make procedure call with only tag-indeternminate actuals dispatching - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Fix dispatching call to primitive function with controlling tagged result [Ada] Fix dispatching call to primitive function with controlling tagged result - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] vx7r2: do not include s-qnx.ads in the kernel and rtp runtimes [Ada] vx7r2: do not include s-qnx.ads in the kernel and rtp runtimes - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Small housekeeping work in Expand_N_Object_Declaration [Ada] Small housekeeping work in Expand_N_Object_Declaration - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Refactor duplicated resolution of Count and Index attributes [Ada] Refactor duplicated resolution of Count and Index attributes - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Use static stack allocation for small string if-expressions [Ada] Use static stack allocation for small string if-expressions - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Use static stack allocation for small dynamic string concatenations [Ada] Use static stack allocation for small dynamic string concatenations - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Enforce deferred constant completion rules [Ada] Enforce deferred constant completion rules - - - - --- 2022-07-04 Pierre-Marie de Rodat New
« 1 2 3 4 … 30 31 »