Show patches with: Submitter = Pierre-Marie de Rodat       |    State = Action Required       |    Archived = No       |   1996 patches
« 1 2 3 419 20 »
Patch Series S/W/F Date Submitter Delegate State
[Ada] Implement support for unconstrained array types with FLB [Ada] Implement support for unconstrained array types with FLB 0 0 0 2021-07-12 Pierre-Marie de Rodat New
[Ada] Duplicate Size/Value_Size clause [Ada] Duplicate Size/Value_Size clause 0 0 0 2021-07-12 Pierre-Marie de Rodat New
[Ada] Fix style in expansion of attribute Put_Image [Ada] Fix style in expansion of attribute Put_Image 0 0 0 2021-07-09 Pierre-Marie de Rodat New
[Ada] par-ch6: do not mark subprogram as missing "is" if imported [Ada] par-ch6: do not mark subprogram as missing "is" if imported 0 0 0 2021-07-09 Pierre-Marie de Rodat New
[Ada] Fix crash on type extensions with discriminants [Ada] Fix crash on type extensions with discriminants 0 0 0 2021-07-09 Pierre-Marie de Rodat New
[Ada] Add missed OS constant values [Ada] Add missed OS constant values 0 0 0 2021-07-09 Pierre-Marie de Rodat New
[Ada] Improve performance of Ada.Containers.Doubly_Linked_Lists.Generic_Sorting.Sort [Ada] Improve performance of Ada.Containers.Doubly_Linked_Lists.Generic_Sorting.Sort 0 0 0 2021-07-09 Pierre-Marie de Rodat New
[Ada] Crash on expansion of BIP construct in -gnatf mode [Ada] Crash on expansion of BIP construct in -gnatf mode 0 0 0 2021-07-09 Pierre-Marie de Rodat New
[Ada] Add -gnatX support for casing on discriminated values [Ada] Add -gnatX support for casing on discriminated values 0 0 0 2021-07-09 Pierre-Marie de Rodat New
[Ada] Crash on inlined separate subprogram [Ada] Crash on inlined separate subprogram 0 0 0 2021-07-09 Pierre-Marie de Rodat New
[Ada] Add source file name to gnat bug box [Ada] Add source file name to gnat bug box 0 0 0 2021-07-09 Pierre-Marie de Rodat New
[Ada] Fix layout of contracts [Ada] Fix layout of contracts 0 0 0 2021-07-09 Pierre-Marie de Rodat New
[Ada] Fix invalid JSON for derived variant record with -gnatRj [Ada] Fix invalid JSON for derived variant record with -gnatRj 0 0 0 2021-07-09 Pierre-Marie de Rodat New
[Ada] Fix typo in comment related to derived discriminated types [Ada] Fix typo in comment related to derived discriminated types 0 0 0 2021-07-09 Pierre-Marie de Rodat New
[Ada] Add paragraph about representation changes and Scalar_Storage_Order [Ada] Add paragraph about representation changes and Scalar_Storage_Order 0 0 0 2021-07-09 Pierre-Marie de Rodat New
[Ada] aarch64-rtems6: use wraplf variant for a-nallfl [Ada] aarch64-rtems6: use wraplf variant for a-nallfl 0 0 0 2021-07-09 Pierre-Marie de Rodat New
[Ada] Initialize local variables related to static expression functions [Ada] Initialize local variables related to static expression functions 0 0 0 2021-07-09 Pierre-Marie de Rodat New
[Ada] Inconsistency between declaration and body of predicate functions [Ada] Inconsistency between declaration and body of predicate functions 0 0 0 2021-07-09 Pierre-Marie de Rodat New
[Ada] Incremental patch for restriction No_Dynamic_Accessibility_Checks [Ada] Incremental patch for restriction No_Dynamic_Accessibility_Checks 0 0 0 2021-07-09 Pierre-Marie de Rodat New
[Ada] Update internal documentation of debugging information [Ada] Update internal documentation of debugging information 0 0 0 2021-07-09 Pierre-Marie de Rodat New
[Ada] Reorder preanalysis of static expression functions [Ada] Reorder preanalysis of static expression functions 0 0 0 2021-07-09 Pierre-Marie de Rodat New
[Ada] Decouple analysis of static expression functions from GNATprove [Ada] Decouple analysis of static expression functions from GNATprove 0 0 0 2021-07-09 Pierre-Marie de Rodat New
[Ada] Avoid repeated computing of type of expression functions [Ada] Avoid repeated computing of type of expression functions 0 0 0 2021-07-09 Pierre-Marie de Rodat New
[Ada] Fix comment related to analysis of expression functions [Ada] Fix comment related to analysis of expression functions 0 0 0 2021-07-09 Pierre-Marie de Rodat New
[Ada] Avoid repeated calls in analysis of expression functions [Ada] Avoid repeated calls in analysis of expression functions 0 0 0 2021-07-09 Pierre-Marie de Rodat New
[Ada] Refine types of local variables in analysis of expression functions [Ada] Refine types of local variables in analysis of expression functions 0 0 0 2021-07-09 Pierre-Marie de Rodat New
[Ada] Remove an unnecessary local constant [Ada] Remove an unnecessary local constant 0 0 0 2021-07-09 Pierre-Marie de Rodat New
[Ada] Avoid unnecessary call in preanalysis without freezing [Ada] Avoid unnecessary call in preanalysis without freezing 0 0 0 2021-07-09 Pierre-Marie de Rodat New
[Ada] Tune detection of illegal occurrences of target_name [Ada] Tune detection of illegal occurrences of target_name 0 0 0 2021-07-08 Pierre-Marie de Rodat New
[Ada] Diagnose properly illegal uses of Target_Name [Ada] Diagnose properly illegal uses of Target_Name 0 0 0 2021-07-08 Pierre-Marie de Rodat New
[Ada] Remove Unknown_ functions [Ada] Remove Unknown_ functions 0 0 0 2021-07-08 Pierre-Marie de Rodat New
[Ada] Use encoded names only with -fgnat-encodings=all [Ada] Use encoded names only with -fgnat-encodings=all 0 0 0 2021-07-08 Pierre-Marie de Rodat New
[Ada] Transient scope cleanup [Ada] Transient scope cleanup 0 0 0 2021-07-08 Pierre-Marie de Rodat New
[Ada] Rename sigtramp-vxworks-target.inc to sigtramp-vxworks-target.h [Ada] Rename sigtramp-vxworks-target.inc to sigtramp-vxworks-target.h 0 0 0 2021-07-08 Pierre-Marie de Rodat New
[Ada] Duplicated D lines in ali files [Ada] Duplicated D lines in ali files 0 0 0 2021-07-08 Pierre-Marie de Rodat New
[Ada] Spurious style message on missing overriding indicator [Ada] Spurious style message on missing overriding indicator 0 0 0 2021-07-08 Pierre-Marie de Rodat New
[Ada] AI12-0156 Use subtype indication in generalized iterators [Ada] AI12-0156 Use subtype indication in generalized iterators 0 0 0 2021-07-08 Pierre-Marie de Rodat New
[Ada] Spurious warning in generic instance [Ada] Spurious warning in generic instance 0 0 0 2021-07-08 Pierre-Marie de Rodat New
[Ada] Fix violation of No_Implicit_Loops restriction for enumeration type [Ada] Fix violation of No_Implicit_Loops restriction for enumeration type 0 0 0 2021-07-08 Pierre-Marie de Rodat New
[Ada] Simplify redundant checks for non-empty lists [Ada] Simplify redundant checks for non-empty lists 0 0 0 2021-07-08 Pierre-Marie de Rodat New
[Ada] Remove redundant condition for listing compilation units [Ada] Remove redundant condition for listing compilation units 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 2021-07-08 Pierre-Marie de Rodat New
[Ada] Unsynchronized concurrent access to a Boolean variable [Ada] Unsynchronized concurrent access to a Boolean variable 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 2021-07-08 Pierre-Marie de Rodat New
[Ada] Revert meaning of -gnatd_b [Ada] Revert meaning of -gnatd_b 0 0 0 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 0 0 0 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 0 0 0 2021-07-08 Pierre-Marie de Rodat New
[Ada] Simplify string manipulation related to preprocessing [Ada] Simplify string manipulation related to preprocessing 0 0 0 2021-07-08 Pierre-Marie de Rodat New
[Ada] Remove unused define [Ada] Remove unused define 0 0 0 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 0 0 0 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 0 0 0 2021-07-07 Pierre-Marie de Rodat New
[Ada] Front-end inlining and instantiations of UC [Ada] Front-end inlining and instantiations of UC 0 0 0 2021-07-07 Pierre-Marie de Rodat New
[Ada] Keepalive control on Windows [Ada] Keepalive control on Windows 0 0 0 2021-07-07 Pierre-Marie de Rodat New
[Ada] Optimize away certain elaboration checks [Ada] Optimize away certain elaboration checks 0 0 0 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 0 0 0 2021-07-07 Pierre-Marie de Rodat New
[Ada] Minor code cleanup [Ada] Minor code cleanup 0 0 0 2021-07-07 Pierre-Marie de Rodat New
[Ada] Code cleanups in System.Atomic_Counters [Ada] Code cleanups in System.Atomic_Counters 0 0 0 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 0 0 0 2021-07-07 Pierre-Marie de Rodat New
[Ada] Fix location of errors about volatile compatibility [Ada] Fix location of errors about volatile compatibility 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 2021-07-07 Pierre-Marie de Rodat New
[Ada] Timeout correction on Get_Socket_Option [Ada] Timeout correction on Get_Socket_Option 0 0 0 2021-07-07 Pierre-Marie de Rodat New
[Ada] Unchecked_Convert_To: set Parent [Ada] Unchecked_Convert_To: set Parent 0 0 0 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 0 0 0 2021-07-07 Pierre-Marie de Rodat New
[Ada] Reduce scope of local variables [Ada] Reduce scope of local variables 0 0 0 2021-07-07 Pierre-Marie de Rodat New
[Ada] Simplify code by reusing List_Length [Ada] Simplify code by reusing List_Length 0 0 0 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 0 0 0 2021-07-07 Pierre-Marie de Rodat New
[Ada] Linker_Section_Pragma cleanup [Ada] Linker_Section_Pragma cleanup 0 0 0 2021-07-07 Pierre-Marie de Rodat New
[Ada] Fix precondition of Cot for code analyzers [Ada] Fix precondition of Cot for code analyzers 0 0 0 2021-07-07 Pierre-Marie de Rodat New
[Ada] Replace chopped string copy with renaming [Ada] Replace chopped string copy with renaming 0 0 0 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 0 0 0 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 0 0 0 2021-07-07 Pierre-Marie de Rodat New
[Ada] Tune discovery of No_Elaboration_Code restriction [Ada] Tune discovery of No_Elaboration_Code restriction 0 0 0 2021-07-07 Pierre-Marie de Rodat New
[Ada] Simplify iteration over pending instantiations [Ada] Simplify iteration over pending instantiations 0 0 0 2021-07-07 Pierre-Marie de Rodat New
[Ada] Transient scope cleanup [Ada] Transient scope cleanup 0 0 0 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 0 0 0 2021-07-07 Pierre-Marie de Rodat New
[Ada] Initialize Current_Error_Node [Ada] Initialize Current_Error_Node 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 2021-07-06 Pierre-Marie de Rodat New
[Ada] Handle malformed command line on Win32 [Ada] Handle malformed command line on Win32 0 0 0 2021-07-06 Pierre-Marie de Rodat New
[Ada] Simplify code by removing local constant [Ada] Simplify code by removing local constant 0 0 0 2021-07-06 Pierre-Marie de Rodat New
[Ada] Replace a question mark comment with assertion [Ada] Replace a question mark comment with assertion 0 0 0 2021-07-06 Pierre-Marie de Rodat New
[Ada] Simplify returning from Enclosing_Comp_Unit_Node [Ada] Simplify returning from Enclosing_Comp_Unit_Node 0 0 0 2021-07-06 Pierre-Marie de Rodat New
[Ada] Simplify unit loading with membership tests [Ada] Simplify unit loading with membership tests 0 0 0 2021-07-06 Pierre-Marie de Rodat New
[Ada] Simplify dependency on System [Ada] Simplify dependency on System 0 0 0 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 0 0 0 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 0 0 0 2021-07-06 Pierre-Marie de Rodat New
« 1 2 3 419 20 »