Show patches with: Archived = No       |   128041 patches
« 1 2 ... 729 730 731 … 1280 1281 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[COMMITTED] ada: Fix incorrect warning about unreferenced packed arrays [COMMITTED] ada: Fix incorrect warning about unreferenced packed arrays - - - - --- 2023-01-05 Marc Poulhiès New
[COMMITTED] ada: Fix unescaped quotes when combining fdiagnostics-format=json and gnatdJ [COMMITTED] ada: Fix unescaped quotes when combining fdiagnostics-format=json and gnatdJ - - - - --- 2023-01-03 Marc Poulhiès New
[COMMITTED] ada: output.adb: fix newline being inserted when buffer is full [COMMITTED] ada: output.adb: fix newline being inserted when buffer is full - - - - --- 2023-01-03 Marc Poulhiès New
[COMMITTED] ada: Fix GNAT.Formatted_String's handling of real values [COMMITTED] ada: Fix GNAT.Formatted_String's handling of real values - - - - --- 2023-01-03 Marc Poulhiès New
[COMMITTED] ada: Fix parsing bug in GNAT.Formatted_String [COMMITTED] ada: Fix parsing bug in GNAT.Formatted_String - - - - --- 2023-01-03 Marc Poulhiès New
[COMMITTED] ada: Fix premature finalization of return temporary [COMMITTED] ada: Fix premature finalization of return temporary - - - - --- 2023-01-03 Marc Poulhiès New
[COMMITTED] ada: Fix format string parsing in GNAT.Formatted_String [COMMITTED] ada: Fix format string parsing in GNAT.Formatted_String - - - - --- 2023-01-03 Marc Poulhiès New
[COMMITTED] ada: Make Apply_Discriminant_Check.Denotes_Explicit_Dereference more robust [COMMITTED] ada: Make Apply_Discriminant_Check.Denotes_Explicit_Dereference more robust - - - - --- 2023-01-03 Marc Poulhiès New
[COMMITTED] ada: Fix calling convention of foreign functions returning limited type [COMMITTED] ada: Fix calling convention of foreign functions returning limited type - - - - --- 2023-01-03 Marc Poulhiès New
[COMMITTED] ada: Adapt frontend optimization for aggregate assignment [COMMITTED] ada: Adapt frontend optimization for aggregate assignment - - - - --- 2023-01-03 Marc Poulhiès New
[COMMITTED] ada: Another small adjustment to special resolution of membership test [COMMITTED] ada: Another small adjustment to special resolution of membership test - - - - --- 2023-01-03 Marc Poulhiès New
[COMMITTED] ada: Make Sem_Util.Is_Aliased_View predicate more robust [COMMITTED] ada: Make Sem_Util.Is_Aliased_View predicate more robust - - - - --- 2023-01-03 Marc Poulhiès New
[COMMITTED] ada: GNAT UGN: Adjust wording in "Platform-specific Information" chapter [COMMITTED] ada: GNAT UGN: Adjust wording in "Platform-specific Information" chapter - - - - --- 2023-01-03 Marc Poulhiès New
[COMMITTED] ada: Fix detection of function calls in object declarations [COMMITTED] ada: Fix detection of function calls in object declarations - - - - --- 2023-01-03 Marc Poulhiès New
[COMMITTED] ada: Simplify [Small_]Integer_Type_For [COMMITTED] ada: Simplify [Small_]Integer_Type_For - - - - --- 2023-01-03 Marc Poulhiès New
[COMMITTED] ada: Cannot reference ghost entity in class-wide precondition [COMMITTED] ada: Cannot reference ghost entity in class-wide precondition - - - - --- 2023-01-03 Marc Poulhiès New
[COMMITTED] ada: Fix support of Default_Component_Value aspect on derived types [COMMITTED] ada: Fix support of Default_Component_Value aspect on derived types - - - - --- 2023-01-03 Marc Poulhiès New
[COMMITTED] rust: fix link serialization [PR108113] [COMMITTED] rust: fix link serialization [PR108113] - - - - --- 2022-12-20 Marc Poulhiès New
[COMMITTED] ada: Allow No_Caching on volatile types [COMMITTED] ada: Allow No_Caching on volatile types - - - - --- 2022-12-06 Marc Poulhiès New
[COMMITTED] ada: Spurious error on nested call using the prefix notation [COMMITTED] ada: Spurious error on nested call using the prefix notation - - - - --- 2022-12-06 Marc Poulhiès New
[COMMITTED] ada: Suppress warning for specific constant valid condition [COMMITTED] ada: Suppress warning for specific constant valid condition - - - - --- 2022-12-06 Marc Poulhiès New
[COMMITTED] ada: Fix spurious error in checking of SPARK elaboration [COMMITTED] ada: Fix spurious error in checking of SPARK elaboration - - - - --- 2022-12-06 Marc Poulhiès New
[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 - - - - --- 2022-12-06 Marc Poulhiès New
[COMMITTED] ada: Small adjustment to special resolution of membership test [COMMITTED] ada: Small adjustment to special resolution of membership test - - - - --- 2022-12-06 Marc Poulhiès New
[COMMITTED] ada: Use larger type for membership test of universal value [COMMITTED] ada: Use larger type for membership test of universal value - - - - --- 2022-12-06 Marc Poulhiès New
[COMMITTED] ada: Accessibility code reorganization and bug fixes [COMMITTED] ada: Accessibility code reorganization and bug fixes - - - - --- 2022-12-06 Marc Poulhiès New
[COMMITTED] ada: Add Codepeer Exemption + simplify TO_C code. [COMMITTED] ada: Add Codepeer Exemption + simplify TO_C code. - - - - --- 2022-12-06 Marc Poulhiès New
[COMMITTED] ada: Strip conversions for the implementation of storage models [COMMITTED] ada: Strip conversions for the implementation of storage models - - - - --- 2022-12-01 Marc Poulhiès New
[COMMITTED] ada: Enforce Aggregate aspect legality rule [COMMITTED] ada: Enforce Aggregate aspect legality rule - - - - --- 2022-12-01 Marc Poulhiès New
[COMMITTED] ada: Further adjustments to User's Guide for PIE default [COMMITTED] ada: Further adjustments to User's Guide for PIE default - - - - --- 2022-12-01 Marc Poulhiès New
[COMMITTED] ada: Fix misphrasing in comment [COMMITTED] ada: Fix misphrasing in comment - - - - --- 2022-12-01 Marc Poulhiès New
[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 - - - - --- 2022-12-01 Marc Poulhiès New
[COMMITTED] ada: Fix minor issues in reference manual [COMMITTED] ada: Fix minor issues in reference manual - - - - --- 2022-12-01 Marc Poulhiès New
[COMMITTED] ada: Minor updates to gnat/doc configuration [COMMITTED] ada: Minor updates to gnat/doc configuration - - - - --- 2022-12-01 Marc Poulhiès New
[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 - - - - --- 2022-11-28 Marc Poulhiès New
[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 - - - - --- 2022-11-28 Marc Poulhiès New
[COMMITTED] ada: Annotate GNAT.Source_Info with an abstract state [COMMITTED] ada: Annotate GNAT.Source_Info with an abstract state - - - - --- 2022-11-28 Marc Poulhiès New
[COMMITTED] ada: Fix internal error on conversion as in/out actual with -gnatVa [COMMITTED] ada: Fix internal error on conversion as in/out actual with -gnatVa - - - - --- 2022-11-28 Marc Poulhiès New
[COMMITTED] ada: Add PIE support to backtraces on Linux [COMMITTED] ada: Add PIE support to backtraces on Linux - - - - --- 2022-11-28 Marc Poulhiès New
[COMMITTED] ada: Implement change to SPARK RM rule on state refinement [COMMITTED] ada: Implement change to SPARK RM rule on state refinement - - - - --- 2022-11-28 Marc Poulhiès New
[COMMITTED] ada: Add assertion for the implementation of storage models [COMMITTED] ada: Add assertion for the implementation of storage models - - - - --- 2022-11-24 Marc Poulhiès New
[COMMITTED] ada: Spurious error on Lock_Free protected type with discriminants [COMMITTED] ada: Spurious error on Lock_Free protected type with discriminants - - - - --- 2022-11-24 Marc Poulhiès New
[COMMITTED] ada: Accept aspects Global and Depends on abstract subprograms [COMMITTED] ada: Accept aspects Global and Depends on abstract subprograms - - - - --- 2022-11-22 Marc Poulhiès New
[COMMITTED] ada: Disable checking of Elab_Spec procedures in CodePeer_Mode [COMMITTED] ada: Disable checking of Elab_Spec procedures in CodePeer_Mode - - - - --- 2022-11-22 Marc Poulhiès New
[COMMITTED] ada: Adjust number of errors when removing warning in dead code [COMMITTED] ada: Adjust number of errors when removing warning in dead code - - - - --- 2022-11-22 Marc Poulhiès New
[COMMITTED] ada: Fix formatting glitches in Make_Tag_Assignment [COMMITTED] ada: Fix formatting glitches in Make_Tag_Assignment - - - - --- 2022-11-22 Marc Poulhiès New
[COMMITTED] ada: Fix recent assertion failure on GPR2 [COMMITTED] ada: Fix recent assertion failure on GPR2 - - - - --- 2022-11-22 Marc Poulhiès New
[COMMITTED] ada: Adjust recent change for returns involving function calls [COMMITTED] ada: Adjust recent change for returns involving function calls - - - - --- 2022-11-21 Marc Poulhiès New
[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 - - - - --- 2022-11-21 Marc Poulhiès New
[COMMITTED] ada: Order pragmas alphabetically in reference manual [COMMITTED] ada: Order pragmas alphabetically in reference manual - - - - --- 2022-11-21 Marc Poulhiès New
[COMMITTED] ada: Minor tweak in assertion [COMMITTED] ada: Minor tweak in assertion - - - - --- 2022-11-21 Marc Poulhiès New
[COMMITTED] ada: Internal compiler error for Sequential Partition_Elaboration_Policy [COMMITTED] ada: Internal compiler error for Sequential Partition_Elaboration_Policy - - - - --- 2022-11-21 Marc Poulhiès New
[COMMITTED] ada: Small cleanup in Expand_N_Object_Declaration [COMMITTED] ada: Small cleanup in Expand_N_Object_Declaration - - - - --- 2022-11-21 Marc Poulhiès New
[COMMITTED] ada: Ada 2022 Image attribute bugs [COMMITTED] ada: Ada 2022 Image attribute bugs - - - - --- 2022-11-21 Marc Poulhiès New
[COMMITTED] ada: Disable subprogram call validation in CodePeer mode [COMMITTED] ada: Disable subprogram call validation in CodePeer mode - - - - --- 2022-11-21 Marc Poulhiès New
[COMMITTED] ada: Move warnings switches [COMMITTED] ada: Move warnings switches - - - - --- 2022-11-21 Marc Poulhiès New
[COMMITTED] ada: Improve documentation for -gnatw.h warnings [COMMITTED] ada: Improve documentation for -gnatw.h warnings - - - - --- 2022-11-21 Marc Poulhiès New
[COMMITTED] ada: Reject nonconfirming Size attribute value for aliased object [COMMITTED] ada: Reject nonconfirming Size attribute value for aliased object - - - - --- 2022-11-21 Marc Poulhiès New
[COMMITTED] ada: Fix gnatmake's parsing of adc files [COMMITTED] ada: Fix gnatmake's parsing of adc files - - - - --- 2022-11-21 Marc Poulhiès New
[COMMITTED] ada: Tweak error messages on misplaced with keywords [COMMITTED] ada: Tweak error messages on misplaced with keywords - - - - --- 2022-11-21 Marc Poulhiès New
[COMMITTED] ada: Silence CodePeer false positive [COMMITTED] ada: Silence CodePeer false positive - - - - --- 2022-11-14 Marc Poulhiès New
[COMMITTED] ada: Remove incorrect comments about initialization [COMMITTED] ada: Remove incorrect comments about initialization - - - - --- 2022-11-14 Marc Poulhiès New
[COMMITTED] ada: Flag unsupported dispatching constructor calls [COMMITTED] ada: Flag unsupported dispatching constructor calls - - - - --- 2022-11-14 Marc Poulhiès New
[COMMITTED] ada: hardcfr docs: add optional checkpoints [COMMITTED] ada: hardcfr docs: add optional checkpoints - - - - --- 2022-11-14 Marc Poulhiès New
[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 - - - - --- 2022-11-14 Marc Poulhiès New
[COMMITTED] ada: Fix non-capturing parentheses handling [COMMITTED] ada: Fix non-capturing parentheses handling - - - - --- 2022-11-14 Marc Poulhiès New
[COMMITTED] ada: Fix error on SPARK_Mode on library-level separate body [COMMITTED] ada: Fix error on SPARK_Mode on library-level separate body - - - - --- 2022-11-14 Marc Poulhiès New
[COMMITTED] ada: Adjust locations in aspects on generic formal subprograms [COMMITTED] ada: Adjust locations in aspects on generic formal subprograms - - - - --- 2022-11-14 Marc Poulhiès New
[COMMITTED] ada: Fix style in code for generic formal subprograms with contracts [COMMITTED] ada: Fix style in code for generic formal subprograms with contracts - - - - --- 2022-11-14 Marc Poulhiès New
[COMMITTED] ada: Expand generic formal subprograms with contracts for GNATprove [COMMITTED] ada: Expand generic formal subprograms with contracts for GNATprove - - - - --- 2022-11-14 Marc Poulhiès New
[COMMITTED] ada: Enable Support_Atomic_Primitives on QNX and RTEMS [COMMITTED] ada: Enable Support_Atomic_Primitives on QNX and RTEMS - - - - --- 2022-11-14 Marc Poulhiès New
[COMMITTED] ada: Improve location of error messages in instantiations [COMMITTED] ada: Improve location of error messages in instantiations - - - - --- 2022-11-14 Marc Poulhiès New
[COMMITTED] ada: Remove gnatcheck reference [COMMITTED] ada: Remove gnatcheck reference - - - - --- 2022-11-14 Marc Poulhiès New
[COMMITTED] ada: Fix oversight in implementation of allocators for storage models [COMMITTED] ada: Fix oversight in implementation of allocators for storage models - - - - --- 2022-11-08 Marc Poulhiès New
[COMMITTED] ada: Compile-time simplification of 'Image incorrectly ignores Put_Image [COMMITTED] ada: Compile-time simplification of 'Image incorrectly ignores Put_Image - - - - --- 2022-11-08 Marc Poulhiès New
[COMMITTED] ada: Clean up call to check if aspects are present [COMMITTED] ada: Clean up call to check if aspects are present - - - - --- 2022-11-08 Marc Poulhiès New
[COMMITTED] ada: Adjust classwide contract expression preanalysis [COMMITTED] ada: Adjust classwide contract expression preanalysis - - - - --- 2022-11-08 Marc Poulhiès New
[COMMITTED] ada: Set Support_Atomic_Primitives for VxWorks 7 runtimes [COMMITTED] ada: Set Support_Atomic_Primitives for VxWorks 7 runtimes - - - - --- 2022-11-08 Marc Poulhiès New
[COMMITTED] ada: Small consistency fix [COMMITTED] ada: Small consistency fix - - - - --- 2022-11-08 Marc Poulhiès New
[COMMITTED] ada: Propagate aspect Ghost when instantiating null formal procedures [COMMITTED] ada: Propagate aspect Ghost when instantiating null formal procedures - - - - --- 2022-11-08 Marc Poulhiès New
[COMMITTED] ada: Implement RM 4.5.7(10/3) name resolution rule [COMMITTED] ada: Implement RM 4.5.7(10/3) name resolution rule - - - - --- 2022-11-08 Marc Poulhiès New
[COMMITTED] ada: Enforce matching of extra formals [COMMITTED] ada: Enforce matching of extra formals - - - - --- 2022-11-08 Marc Poulhiès New
[COMMITTED] ada: Move warnings switches -- initial work [COMMITTED] ada: Move warnings switches -- initial work - - - - --- 2022-11-08 Marc Poulhiès New
[COMMITTED] ada: Align -gnatwc's documentation with its behavior [COMMITTED] ada: Align -gnatwc's documentation with its behavior - - - - --- 2022-11-08 Marc Poulhiès New
[COMMITTED] ada: Improve handling of declare expressions in deferred-freezing contexts [COMMITTED] ada: Improve handling of declare expressions in deferred-freezing contexts - - - - --- 2022-11-08 Marc Poulhiès New
[COMMITTED] ada: Minor consistency tweaks in Sem_Ch4 [COMMITTED] ada: Minor consistency tweaks in Sem_Ch4 - - - - --- 2022-11-08 Marc Poulhiès New
[COMMITTED] ada: Remove redundant line in Analyze_Qualified_Expression [COMMITTED] ada: Remove redundant line in Analyze_Qualified_Expression - - - - --- 2022-11-08 Marc Poulhiès New
[COMMITTED] ada: Preanalyze classwide contracts as spec expressions [COMMITTED] ada: Preanalyze classwide contracts as spec expressions - - - - --- 2022-11-08 Marc Poulhiès New
[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 - - - - --- 2022-11-08 Marc Poulhiès New
[COMMITTED] ada: Fix inconsistent whitespace in Ada.Numerics.Generic_Complex_Arrays [COMMITTED] ada: Fix inconsistent whitespace in Ada.Numerics.Generic_Complex_Arrays - - - - --- 2022-11-08 Marc Poulhiès New
[COMMITTED] ada: Remove unneeded code in handling formal type defaults [COMMITTED] ada: Remove unneeded code in handling formal type defaults - - - - --- 2022-11-08 Marc Poulhiès New
[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 - - - - --- 2022-11-08 Marc Poulhiès New
[COMMITTED] ada: Remove obsolete code in Resolve_If_Expression [COMMITTED] ada: Remove obsolete code in Resolve_If_Expression - - - - --- 2022-11-08 Marc Poulhiès New
[COMMITTED] ada: Reject limited objects in array and record delta aggregates [COMMITTED] ada: Reject limited objects in array and record delta aggregates - - - - --- 2022-11-08 Marc Poulhiès New
[COMMITTED] ada: Allow initialization of limited objects with delta aggregates [COMMITTED] ada: Allow initialization of limited objects with delta aggregates - - - - --- 2022-11-08 Marc Poulhiès New
[COMMITTED] ada: Reject record delta aggregates with limited expressions [COMMITTED] ada: Reject record delta aggregates with limited expressions - - - - --- 2022-11-08 Marc Poulhiès New
[COMMITTED] ada: Missing master of task causing assertion failure [COMMITTED] ada: Missing master of task causing assertion failure - - - - --- 2022-11-08 Marc Poulhiès New
[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 - - - - --- 2022-11-08 Marc Poulhiès New
[COMMITTED] ada: Add new -gnatw_q switch to usage message [COMMITTED] ada: Add new -gnatw_q switch to usage message - - - - --- 2022-11-08 Marc Poulhiès New
[COMMITTED] ada: Document that gprof won't work on windows with PIE. [COMMITTED] ada: Document that gprof won't work on windows with PIE. - - - - --- 2022-11-07 Marc Poulhiès New
« 1 2 ... 729 730 731 … 1280 1281 »