Show patches with: Submitter = Pierre-Marie de Rodat       |    State = Action Required       |    Archived = No       |   3078 patches
« 1 2 ... 9 10 11 … 30 31 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Fix violation of No_Implicit_Loops restriction for enumeration type [Ada] Fix violation of No_Implicit_Loops restriction for enumeration type - - - - --- 2021-07-08 Pierre-Marie de Rodat New
[Ada] Simplify redundant checks for non-empty lists [Ada] Simplify redundant checks for non-empty lists - - - - --- 2021-07-08 Pierre-Marie de Rodat New
[Ada] Remove redundant condition for listing compilation units [Ada] Remove redundant condition for listing compilation units - - - - --- 2021-07-08 Pierre-Marie de Rodat New
[Ada] Restore context on failure in loading of renamed child unit [Ada] Restore context on failure in loading of renamed child unit - - - - --- 2021-07-08 Pierre-Marie de Rodat New
[Ada] Replace low-level condition with a high-level call [Ada] Replace low-level condition with a high-level call - - - - --- 2021-07-08 Pierre-Marie de Rodat New
[Ada] Fix style in comments and code related to compilation units [Ada] Fix style in comments and code related to compilation units - - - - --- 2021-07-08 Pierre-Marie de Rodat New
[Ada] Prevent infinite recursion when there is no expected unit [Ada] Prevent infinite recursion when there is no expected unit - - - - --- 2021-07-08 Pierre-Marie de Rodat New
[Ada] Fix use of single question mark in error message [Ada] Fix use of single question mark in error message - - - - --- 2021-07-08 Pierre-Marie de Rodat New
[Ada] Skip types in error for test to compute array size [Ada] Skip types in error for test to compute array size - - - - --- 2021-07-08 Pierre-Marie de Rodat New
[Ada] Prevent crash on inspection point for unfrozen entity [Ada] Prevent crash on inspection point for unfrozen entity - - - - --- 2021-07-08 Pierre-Marie de Rodat New
[Ada] Fix on computation of packed array size in case of error [Ada] Fix on computation of packed array size in case of error - - - - --- 2021-07-08 Pierre-Marie de Rodat New
[Ada] Compute sizes when possible for packed array with Component_Size [Ada] Compute sizes when possible for packed array with Component_Size - - - - --- 2021-07-08 Pierre-Marie de Rodat New
[Ada] Unsynchronized concurrent access to a Boolean variable [Ada] Unsynchronized concurrent access to a Boolean variable - - - - --- 2021-07-08 Pierre-Marie de Rodat New
[Ada] Add No_Tasking restriction is system.ads for bootstrap [Ada] Add No_Tasking restriction is system.ads for bootstrap - - - - --- 2021-07-08 Pierre-Marie de Rodat New
[Ada] Incorrect iteration over hashed containers after multiple Inserts [Ada] Incorrect iteration over hashed containers after multiple Inserts - - - - --- 2021-07-08 Pierre-Marie de Rodat New
[Ada] Make runtime code compatible with No_Dynamic_Accessibility_Checks [Ada] Make runtime code compatible with No_Dynamic_Accessibility_Checks - - - - --- 2021-07-08 Pierre-Marie de Rodat New
[Ada] Revert meaning of -gnatd_b [Ada] Revert meaning of -gnatd_b - - - - --- 2021-07-08 Pierre-Marie de Rodat New
[Ada] Make tools compatible with No_Dynamic_Accessibility_Checks [Ada] Make tools compatible with No_Dynamic_Accessibility_Checks - - - - --- 2021-07-08 Pierre-Marie de Rodat New
[Ada] Avoid linear search when ensuring dependency on System [Ada] Avoid linear search when ensuring dependency on System - - - - --- 2021-07-08 Pierre-Marie de Rodat New
[Ada] Simplify string manipulation related to preprocessing [Ada] Simplify string manipulation related to preprocessing - - - - --- 2021-07-08 Pierre-Marie de Rodat New
[Ada] Remove unused define [Ada] Remove unused define - - - - --- 2021-07-07 Pierre-Marie de Rodat New
[Ada] Assertion errors on concurrent types with -gnatc and extensions enabled [Ada] Assertion errors on concurrent types with -gnatc and extensions enabled - - - - --- 2021-07-07 Pierre-Marie de Rodat New
[Ada] Stronger assertion about flag for checking static expressions [Ada] Stronger assertion about flag for checking static expressions - - - - --- 2021-07-07 Pierre-Marie de Rodat New
[Ada] Front-end inlining and instantiations of UC [Ada] Front-end inlining and instantiations of UC - - - - --- 2021-07-07 Pierre-Marie de Rodat New
[Ada] Keepalive control on Windows [Ada] Keepalive control on Windows - - - - --- 2021-07-07 Pierre-Marie de Rodat New
[Ada] Optimize away certain elaboration checks [Ada] Optimize away certain elaboration checks - - - - --- 2021-07-07 Pierre-Marie de Rodat New
[Ada] Simplify code by reusing Remove on list of primitive operations [Ada] Simplify code by reusing Remove on list of primitive operations - - - - --- 2021-07-07 Pierre-Marie de Rodat New
[Ada] Minor code cleanup [Ada] Minor code cleanup - - - - --- 2021-07-07 Pierre-Marie de Rodat New
[Ada] Code cleanups in System.Atomic_Counters [Ada] Code cleanups in System.Atomic_Counters - - - - --- 2021-07-07 Pierre-Marie de Rodat New
[Ada] Implement new legality checks specified by AI12-0412 [Ada] Implement new legality checks specified by AI12-0412 - - - - --- 2021-07-07 Pierre-Marie de Rodat New
[Ada] Fix location of errors about volatile compatibility [Ada] Fix location of errors about volatile compatibility - - - - --- 2021-07-07 Pierre-Marie de Rodat New
[Ada] Use bounded string buffer in Get_Unit_Name [Ada] Use bounded string buffer in Get_Unit_Name - - - - --- 2021-07-07 Pierre-Marie de Rodat New
[Ada] Replace obsolete calls that use global name buffer [Ada] Replace obsolete calls that use global name buffer - - - - --- 2021-07-07 Pierre-Marie de Rodat New
[Ada] Fix bugs in Value_Size clauses and refactor [Ada] Fix bugs in Value_Size clauses and refactor - - - - --- 2021-07-07 Pierre-Marie de Rodat New
[Ada] Improve interactions between DSA and Put_Image routines for tagged types [Ada] Improve interactions between DSA and Put_Image routines for tagged types - - - - --- 2021-07-07 Pierre-Marie de Rodat New
[Ada] Timeout correction on Get_Socket_Option [Ada] Timeout correction on Get_Socket_Option - - - - --- 2021-07-07 Pierre-Marie de Rodat New
[Ada] Unchecked_Convert_To: set Parent [Ada] Unchecked_Convert_To: set Parent - - - - --- 2021-07-07 Pierre-Marie de Rodat New
[Ada] Simplify handling of sure errors in GNATprove mode [Ada] Simplify handling of sure errors in GNATprove mode - - - - --- 2021-07-07 Pierre-Marie de Rodat New
[Ada] Reduce scope of local variables [Ada] Reduce scope of local variables - - - - --- 2021-07-07 Pierre-Marie de Rodat New
[Ada] Simplify code by reusing List_Length [Ada] Simplify code by reusing List_Length - - - - --- 2021-07-07 Pierre-Marie de Rodat New
[Ada] Replace low-level membership tests with Is_Private_Type [Ada] Replace low-level membership tests with Is_Private_Type - - - - --- 2021-07-07 Pierre-Marie de Rodat New
[Ada] Linker_Section_Pragma cleanup [Ada] Linker_Section_Pragma cleanup - - - - --- 2021-07-07 Pierre-Marie de Rodat New
[Ada] Fix precondition of Cot for code analyzers [Ada] Fix precondition of Cot for code analyzers - - - - --- 2021-07-07 Pierre-Marie de Rodat New
[Ada] Replace chopped string copy with renaming [Ada] Replace chopped string copy with renaming - - - - --- 2021-07-07 Pierre-Marie de Rodat New
[Ada] Simplify handling of Generate_Code flag for compilation units [Ada] Simplify handling of Generate_Code flag for compilation units - - - - --- 2021-07-07 Pierre-Marie de Rodat New
[Ada] Add socket options to control keepalive on TCP connection [Ada] Add socket options to control keepalive on TCP connection - - - - --- 2021-07-07 Pierre-Marie de Rodat New
[Ada] Tune discovery of No_Elaboration_Code restriction [Ada] Tune discovery of No_Elaboration_Code restriction - - - - --- 2021-07-07 Pierre-Marie de Rodat New
[Ada] Simplify iteration over pending instantiations [Ada] Simplify iteration over pending instantiations - - - - --- 2021-07-07 Pierre-Marie de Rodat New
[Ada] Transient scope cleanup [Ada] Transient scope cleanup - - - - --- 2021-07-07 Pierre-Marie de Rodat New
[Ada] Unsynchronized access to a Boolean in tasking state [Ada] Unsynchronized access to a Boolean in tasking state - - - - --- 2021-07-07 Pierre-Marie de Rodat New
[Ada] Initialize Current_Error_Node [Ada] Initialize Current_Error_Node - - - - --- 2021-07-06 Pierre-Marie de Rodat New
[Ada] Enable Ada 2020 Put_Image and Image support for tagged types [Ada] Enable Ada 2020 Put_Image and Image support for tagged types - - - - --- 2021-07-06 Pierre-Marie de Rodat New
[Ada] Implement missing constraint checks for default streaming operations [Ada] Implement missing constraint checks for default streaming operations - - - - --- 2021-07-06 Pierre-Marie de Rodat New
[Ada] Warn on statically known empty loop caused by constraint [Ada] Warn on statically known empty loop caused by constraint - - - - --- 2021-07-06 Pierre-Marie de Rodat New
[Ada] Handle malformed command line on Win32 [Ada] Handle malformed command line on Win32 - - - - --- 2021-07-06 Pierre-Marie de Rodat New
[Ada] Simplify code by removing local constant [Ada] Simplify code by removing local constant - - - - --- 2021-07-06 Pierre-Marie de Rodat New
[Ada] Replace a question mark comment with assertion [Ada] Replace a question mark comment with assertion - - - - --- 2021-07-06 Pierre-Marie de Rodat New
[Ada] Simplify returning from Enclosing_Comp_Unit_Node [Ada] Simplify returning from Enclosing_Comp_Unit_Node - - - - --- 2021-07-06 Pierre-Marie de Rodat New
[Ada] Simplify unit loading with membership tests [Ada] Simplify unit loading with membership tests - - - - --- 2021-07-06 Pierre-Marie de Rodat New
[Ada] Simplify dependency on System [Ada] Simplify dependency on System - - - - --- 2021-07-06 Pierre-Marie de Rodat New
[Ada] Fix bug in casing on composite values with -gnatX [Ada] Fix bug in casing on composite values with -gnatX - - - - --- 2021-07-06 Pierre-Marie de Rodat New
[Ada] Return_when_statement not working for non identifier return values [Ada] Return_when_statement not working for non identifier return values - - - - --- 2021-07-06 Pierre-Marie de Rodat New
[Ada] Regression on overloaded prefixed calls related to prefixed-call extension [Ada] Regression on overloaded prefixed calls related to prefixed-call extension - - - - --- 2021-07-06 Pierre-Marie de Rodat New
[Ada] Spurious initialization of element iterators in "for of" loops [Ada] Spurious initialization of element iterators in "for of" loops - - - - --- 2021-07-06 Pierre-Marie de Rodat New
[Ada] Crash on use of 'Img on record type in expression [Ada] Crash on use of 'Img on record type in expression - - - - --- 2021-07-06 Pierre-Marie de Rodat New
[Ada] Missing space in error message for pattern matching [Ada] Missing space in error message for pattern matching - - - - --- 2021-07-06 Pierre-Marie de Rodat New
[Ada] Tbuild cleanup [Ada] Tbuild cleanup - - - - --- 2021-07-06 Pierre-Marie de Rodat New
[Ada] Return when not working for procedures [Ada] Return when not working for procedures - - - - --- 2021-07-06 Pierre-Marie de Rodat New
[Ada] Make parent of N_Exception_Declaration be N_Declaration [Ada] Make parent of N_Exception_Declaration be N_Declaration - - - - --- 2021-07-06 Pierre-Marie de Rodat New
[Ada] Improper predicate check on view conversion [Ada] Improper predicate check on view conversion - - - - --- 2021-07-06 Pierre-Marie de Rodat New
[Ada] Unix Epochalypse (s-osprim.adb) [Ada] Unix Epochalypse (s-osprim.adb) - - - - --- 2021-07-06 Pierre-Marie de Rodat New
[Ada] Add Void_Or_Type_Kind and Exception_Or_Object_Kind [Ada] Add Void_Or_Type_Kind and Exception_Or_Object_Kind - - - - --- 2021-07-06 Pierre-Marie de Rodat New
[Ada] Spurious conformance error on expression function [Ada] Spurious conformance error on expression function - - - - --- 2021-07-06 Pierre-Marie de Rodat New
[Ada] Add GNAT RM text regarding Ada 2022 default Put_Image implementation [Ada] Add GNAT RM text regarding Ada 2022 default Put_Image implementation - - - - --- 2021-07-06 Pierre-Marie de Rodat New
[Ada] Reject overlays in Global/Depends/Initializes contracts [Ada] Reject overlays in Global/Depends/Initializes contracts - - - - --- 2021-07-05 Pierre-Marie de Rodat New
[Ada] Adapt SPARK RM rule on non-effectively volatile abstract state [Ada] Adapt SPARK RM rule on non-effectively volatile abstract state - - - - --- 2021-07-05 Pierre-Marie de Rodat New
[Ada] Fix some "current instance" bugs [Ada] Fix some "current instance" bugs - - - - --- 2021-07-05 Pierre-Marie de Rodat New
[Ada] Simplify and reuse Is_Concurrent_Interface [Ada] Simplify and reuse Is_Concurrent_Interface - - - - --- 2021-07-05 Pierre-Marie de Rodat New
[Ada] Fix missing error messages when returning limited type [Ada] Fix missing error messages when returning limited type - - - - --- 2021-07-05 Pierre-Marie de Rodat New
[Ada] Fix excessive check for alignment of overlaying objects [Ada] Fix excessive check for alignment of overlaying objects - - - - --- 2021-07-05 Pierre-Marie de Rodat New
[Ada] The Unix Epochalyse of 2038 - OS_Time comparison [Ada] The Unix Epochalyse of 2038 - OS_Time comparison - - - - --- 2021-07-05 Pierre-Marie de Rodat New
[Ada] The Unix Epochalypse of 2038 (Warn about time_t in the compiler) [Ada] The Unix Epochalypse of 2038 (Warn about time_t in the compiler) - - - - --- 2021-07-05 Pierre-Marie de Rodat New
[Ada] Fix missing minus sign in literal translation [Ada] Fix missing minus sign in literal translation - - - - --- 2021-07-05 Pierre-Marie de Rodat New
[Ada] Temporarily disable Ada 2022 Image and Put_Image support for tagged types [Ada] Temporarily disable Ada 2022 Image and Put_Image support for tagged types - - - - --- 2021-07-05 Pierre-Marie de Rodat New
[Ada] The Unix Epochalypse of 2038 - Use OS_Time [Ada] The Unix Epochalypse of 2038 - Use OS_Time - - - - --- 2021-07-05 Pierre-Marie de Rodat New
[Ada] The Unix Epochalyse of 2038 - OS_Time [Ada] The Unix Epochalyse of 2038 - OS_Time - - - - --- 2021-07-05 Pierre-Marie de Rodat New
[Ada] Move overriding rename error message from declaration to use [Ada] Move overriding rename error message from declaration to use - - - - --- 2021-07-05 Pierre-Marie de Rodat New
[Ada] Adapt SPARK checking after change in rules regarding heap modeling [Ada] Adapt SPARK checking after change in rules regarding heap modeling - - - - --- 2021-07-05 Pierre-Marie de Rodat New
[Ada] Turn GNAT_Annotate into its own pragma [Ada] Turn GNAT_Annotate into its own pragma - - - - --- 2021-07-05 Pierre-Marie de Rodat New
[Ada] Fix comment about the debug flag for strict alignment [Ada] Fix comment about the debug flag for strict alignment - - - - --- 2021-07-05 Pierre-Marie de Rodat New
[Ada] Cleanup checking for compatible alignment [Ada] Cleanup checking for compatible alignment - - - - --- 2021-07-05 Pierre-Marie de Rodat New
[Ada] Spurious error in instantiation with aggregate and private ancestor [Ada] Spurious error in instantiation with aggregate and private ancestor - - - - --- 2021-07-05 Pierre-Marie de Rodat New
[Ada] Print JSON continuation messages as separate messages [Ada] Print JSON continuation messages as separate messages - - - - --- 2021-07-05 Pierre-Marie de Rodat New
[Ada] Fix crash when printing error message [Ada] Fix crash when printing error message - - - - --- 2021-07-05 Pierre-Marie de Rodat New
[Ada] Refactoring related to Returns_By_Ref [Ada] Refactoring related to Returns_By_Ref - - - - --- 2021-07-05 Pierre-Marie de Rodat New
[Ada] Fix overriding subprogram being incorrectly seen as returning [Ada] Fix overriding subprogram being incorrectly seen as returning - - - - --- 2021-07-05 Pierre-Marie de Rodat New
[Ada] Do not catch 'N rem -1' in CodePeer_Mode [Ada] Do not catch 'N rem -1' in CodePeer_Mode - - - - --- 2021-07-05 Pierre-Marie de Rodat New
[Ada] Remove an obsolete variant of Adjust_Name_Case used only by SPARK [Ada] Remove an obsolete variant of Adjust_Name_Case used only by SPARK - - - - --- 2021-06-30 Pierre-Marie de Rodat New
[Ada] Crash on limited array object with address clause [Ada] Crash on limited array object with address clause - - - - --- 2021-06-30 Pierre-Marie de Rodat New
[Ada] Expose symmetry between Known_ and Unknown_ query routines [Ada] Expose symmetry between Known_ and Unknown_ query routines - - - - --- 2021-06-30 Pierre-Marie de Rodat New
« 1 2 ... 9 10 11 … 30 31 »