Show patches with: State = Action Required       |   127105 patches
« 1 2 ... 364 365 366 … 1271 1272 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Refine previous changes on making symbols public/private [Ada] Refine previous changes on making symbols public/private - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Add precise subprogram identification to -fdiagnostics-format=json [Ada] Add precise subprogram identification to -fdiagnostics-format=json - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Fix spurious use of trampolines with interface types [Ada] Fix spurious use of trampolines with interface types - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Make the functional Maps and Sets unbounded [Ada] Make the functional Maps and Sets unbounded - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Rename GNATprove annotate pragma for termination to Always_Return [Ada] Rename GNATprove annotate pragma for termination to Always_Return - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Fix references to old variables that have been refactored [Ada] Fix references to old variables that have been refactored - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Never make symbols for thunks public [Ada] Never make symbols for thunks public - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Restore full generation of static dispatch tables with -gnatzr [Ada] Restore full generation of static dispatch tables with -gnatzr - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Couple of small preparatory adjustments [Ada] Couple of small preparatory adjustments - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Disable -flto when building the shared libgnat [Ada] Disable -flto when building the shared libgnat - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Fix record layout warnings not being tagged [Ada] Fix record layout warnings not being tagged - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Adjust description of Pure_Function pragma [Ada] Adjust description of Pure_Function pragma - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Create new unbounded functional sequence [Ada] Create new unbounded functional sequence - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Fix for resolution of overloaded subprogram for Iterable aspect [Ada] Fix for resolution of overloaded subprogram for Iterable aspect - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Plug loophole for built-in-place return with limited_with clause [Ada] Plug loophole for built-in-place return with limited_with clause - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Incorrect accessibility check on return of discriminated type [Ada] Incorrect accessibility check on return of discriminated type - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Add GNAT specific pragmas to the equivalent Assertion_Policy for -gnata [Ada] Add GNAT specific pragmas to the equivalent Assertion_Policy for -gnata - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Update the documentation of functional containers [Ada] Update the documentation of functional containers - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Add Ada 2022 features to sets containers [Ada] Add Ada 2022 features to sets containers - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Give missing error on ambiguous operand of equality operator [Ada] Give missing error on ambiguous operand of equality operator - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Avoid unwanted warnings for statically-known-successful assertions [Ada] Avoid unwanted warnings for statically-known-successful assertions - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Compiler rejects legal allocator in record component constraint expression [Ada] Compiler rejects legal allocator in record component constraint expression - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Add Ada 2022 Key function to sets containers [Ada] Add Ada 2022 Key function to sets containers - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Call-initialize all controlled objects in place [Ada] Call-initialize all controlled objects in place - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Do not use front-end build-in-place mechanism for nonlimited types [Ada] Do not use front-end build-in-place mechanism for nonlimited types - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Fix missing error on 'Access of constrained array [Ada] Fix missing error on 'Access of constrained array - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Single character argument in call to Quote_Argument raises error [Ada] Single character argument in call to Quote_Argument raises error - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Tech debt: Remove code duplication [Ada] Tech debt: Remove code duplication - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Assertions in Einfo.Utils [Ada] Assertions in Einfo.Utils - - - - --- 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
[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] 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] 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] 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] 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] 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] 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] Remove unimplemented convert_addresses declaration [Ada] Remove unimplemented convert_addresses declaration - - - - --- 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] 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 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] 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] Cleanup in error about unreachable code [Ada] Cleanup in error about unreachable code - - - - --- 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] Combine system.ads files - vxworks6 constants. [Ada] Combine system.ads files - vxworks6 constants. - - - - --- 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] 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 exception propagation during bootstrap [Ada] Remove exception propagation during bootstrap - - - - --- 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] 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] 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] Cleanup repeated code for aggregate constraints checks [Ada] Cleanup repeated code for aggregate constraints checks - - - - --- 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] 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] Misc cleanup related to finalization [Ada] Misc cleanup related to finalization - - - - --- 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] 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] 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] 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 redundant protection against empty lists [Ada] Remove redundant protection against empty lists - - - - --- 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 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] 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] Couple of small cleanups for Cloned_Subtype [Ada] Couple of small cleanups for Cloned_Subtype - - - - --- 2022-07-05 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] 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] 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] 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] Incorrect emptying of CUDA global subprograms [Ada] Incorrect emptying of CUDA global subprograms - - - - --- 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] 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] 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] 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] Handle secondary stack memory allocations alignment [Ada] Handle secondary stack memory allocations alignment - - - - --- 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] Support ghost generic formal parameters [Ada] Support ghost generic formal parameters - - - - --- 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] Indexing error when calling GNAT.Regpat.Match [Ada] Indexing error when calling GNAT.Regpat.Match - - - - --- 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] 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] 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] 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] 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] Fix missing Overflow and Range checks [Ada] Fix missing Overflow and Range checks - - - - --- 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] Clean up scanner [Ada] Clean up scanner - - - - --- 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] Avoid namespace pollution for Next and Previous [Ada] Avoid namespace pollution for Next and Previous - - - - --- 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] 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] 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] Proper freezing for dispatching expression functions. [Ada] Proper freezing for dispatching expression functions. - - - - --- 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] 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] Refine heuristics for unreachable-code warnings [Ada] Refine heuristics for unreachable-code warnings - - - - --- 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] 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] 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] 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] Simplify rewriting of attributes into Boolean literals [Ada] Simplify rewriting of attributes into Boolean literals - - - - --- 2022-07-12 Pierre-Marie de Rodat New
« 1 2 ... 364 365 366 … 1271 1272 »