Show patches with: Submitter = Pierre-Marie de Rodat       |    State = Action Required       |    Archived = No       |   2041 patches
« 1 2 3 420 21 »
Patch Series S/W/F Date Submitter Delegate State
[Ada] Add some comments in init.c about the lynx178 signal handler [Ada] Add some comments in init.c about the lynx178 signal handler 0 0 0 2021-09-21 Pierre-Marie de Rodat New
[Ada] Rename "optional" node subtypes that allow Empty [Ada] Rename "optional" node subtypes that allow Empty 0 0 0 2021-09-21 Pierre-Marie de Rodat New
[Ada] Spurious dynamic accessibility check on allocator [Ada] Spurious dynamic accessibility check on allocator 0 0 0 2021-09-21 Pierre-Marie de Rodat New
[Ada] SCOs: generate 'P' decisions for [Type_]Invariant pragmas [Ada] SCOs: generate 'P' decisions for [Type_]Invariant pragmas 0 0 0 2021-09-21 Pierre-Marie de Rodat New
[Ada] Add "optional" node subtypes that allow Empty [Ada] Add "optional" node subtypes that allow Empty 0 0 0 2021-09-21 Pierre-Marie de Rodat New
[Ada] bindgen: support additional features on targets suppressing the standard lib [Ada] bindgen: support additional features on targets suppressing the standard lib 0 0 0 2021-09-21 Pierre-Marie de Rodat New
[Ada] Fix regression in ACATS bdd2006 and bdd2007 [Ada] Fix regression in ACATS bdd2006 and bdd2007 0 0 0 2021-09-21 Pierre-Marie de Rodat New
[Ada] Set related expression for external DISCR symbols in Build_Temporary [Ada] Set related expression for external DISCR symbols in Build_Temporary 0 0 0 2021-09-21 Pierre-Marie de Rodat New
[Ada] Crash on build of Initialization procedure for derived container [Ada] Crash on build of Initialization procedure for derived container 0 0 0 2021-09-21 Pierre-Marie de Rodat New
[Ada] Add assertions to Uintp (UI_Is_In_Int_Range) [Ada] Add assertions to Uintp (UI_Is_In_Int_Range) 0 0 0 2021-09-21 Pierre-Marie de Rodat New
[Ada] Remove if_expression [Ada] Remove if_expression 0 0 0 2021-09-21 Pierre-Marie de Rodat New
[Ada] Small optimization to DWARF 5 mode in System.Dwarf_Line [Ada] Small optimization to DWARF 5 mode in System.Dwarf_Line 0 0 0 2021-09-21 Pierre-Marie de Rodat New
[Ada] Follow-up tweaks to System.Dwarf_Line [Ada] Follow-up tweaks to System.Dwarf_Line 0 0 0 2021-09-21 Pierre-Marie de Rodat New
[Ada] exp_pakd.adb: work around spurious Codepeer warnings [Ada] exp_pakd.adb: work around spurious Codepeer warnings 0 0 0 2021-09-21 Pierre-Marie de Rodat New
[Ada] Fix ignored dynamic predicates specified through "predicate" aspect [Ada] Fix ignored dynamic predicates specified through "predicate" aspect 0 0 0 2021-09-21 Pierre-Marie de Rodat New
[Ada] rtems: add 128bit support for aarch64 [Ada] rtems: add 128bit support for aarch64 0 0 0 2021-09-21 Pierre-Marie de Rodat New
[Ada] Presence of abstract operator function causes resolution problems [Ada] Presence of abstract operator function causes resolution problems 0 0 0 2021-09-21 Pierre-Marie de Rodat New
[Ada] Interface behaves differently from abstract tagged null [Ada] Interface behaves differently from abstract tagged null 0 0 0 2021-09-21 Pierre-Marie de Rodat New
[Ada] Enforce legality rule for Predicate_Failure aspect specifications [Ada] Enforce legality rule for Predicate_Failure aspect specifications 0 0 0 2021-09-21 Pierre-Marie de Rodat New
[Ada] Update comment for Error_Msg_Internal [Ada] Update comment for Error_Msg_Internal 0 0 0 2021-09-21 Pierre-Marie de Rodat New
[Ada] Exception raised on empty file in GNATprove mode [Ada] Exception raised on empty file in GNATprove mode 0 0 0 2021-09-21 Pierre-Marie de Rodat New
[Ada] Refine patch for spurious link error involving discriminated types [Ada] Refine patch for spurious link error involving discriminated types 0 0 0 2021-09-21 Pierre-Marie de Rodat New
[Ada] Remove "with GNAT.OS_Lib;" from libgnat/a-stbufi.ads [Ada] Remove "with GNAT.OS_Lib;" from libgnat/a-stbufi.ads 0 0 0 2021-09-21 Pierre-Marie de Rodat New
[Ada] Remove redundant checks for non-empty list of aspects [Ada] Remove redundant checks for non-empty list of aspects 0 0 0 2021-09-20 Pierre-Marie de Rodat New
[Ada] Fix shadowing in conditions for inlining [Ada] Fix shadowing in conditions for inlining 0 0 0 2021-09-20 Pierre-Marie de Rodat New
[Ada] Use OS_Time for interface to TZ functions. [Ada] Use OS_Time for interface to TZ functions. 0 0 0 2021-09-20 Pierre-Marie de Rodat New
[Ada] Accept volatile expressions as non-scalar actual parameters [Ada] Accept volatile expressions as non-scalar actual parameters 0 0 0 2021-09-20 Pierre-Marie de Rodat New
[Ada] Cleanups related to building of dispatch tables [Ada] Cleanups related to building of dispatch tables 0 0 0 2021-09-20 Pierre-Marie de Rodat New
[Ada] Accept volatile properties on constant objects [Ada] Accept volatile properties on constant objects 0 0 0 2021-09-20 Pierre-Marie de Rodat New
[Ada] Adjust latest change for ELF platforms [Ada] Adjust latest change for ELF platforms 0 0 0 2021-09-20 Pierre-Marie de Rodat New
[Ada] Add support for PE-COFF PIE to System.Dwarf_Line [Ada] Add support for PE-COFF PIE to System.Dwarf_Line 0 0 0 2021-09-20 Pierre-Marie de Rodat New
[Ada] Fix repeated generation of dispatch tables in CodePeer mode [Ada] Fix repeated generation of dispatch tables in CodePeer mode 0 0 0 2021-09-20 Pierre-Marie de Rodat New
[Ada] Spurious link error with child unit and different Assertion modes. [Ada] Spurious link error with child unit and different Assertion modes. 0 0 0 2021-09-20 Pierre-Marie de Rodat New
[Ada] Refine types of local constants that store Etype results [Ada] Refine types of local constants that store Etype results 0 0 0 2021-09-20 Pierre-Marie de Rodat New
[Ada] Fix condition in op interpretation resolution [Ada] Fix condition in op interpretation resolution 0 0 0 2021-09-20 Pierre-Marie de Rodat New
[Ada] Don't examine all discriminants when looking for the first one [Ada] Don't examine all discriminants when looking for the first one 0 0 0 2021-09-20 Pierre-Marie de Rodat New
[Ada] Fix assertion in GNATprove_Mode [Ada] Fix assertion in GNATprove_Mode 0 0 0 2021-09-20 Pierre-Marie de Rodat New
[Ada] Small cleanup in System.Dwarf_Line [Ada] Small cleanup in System.Dwarf_Line 0 0 0 2021-09-20 Pierre-Marie de Rodat New
[Ada] Only assign type to op if compatible [Ada] Only assign type to op if compatible 0 0 0 2021-09-20 Pierre-Marie de Rodat New
[Ada] Spurious accessibility error on allocator in generic instance [Ada] Spurious accessibility error on allocator in generic instance 0 0 0 2021-09-20 Pierre-Marie de Rodat New
[Ada] Refactor scan_backend_switch to share logic across backends [Ada] Refactor scan_backend_switch to share logic across backends 0 0 0 2021-09-20 Pierre-Marie de Rodat New
[Ada] Work around CodePeer bug by declaring variable [Ada] Work around CodePeer bug by declaring variable 0 0 0 2021-09-20 Pierre-Marie de Rodat New
[Ada] Move Build_And_Insert_Cuda_Initialization to Expand_CUDA_Package [Ada] Move Build_And_Insert_Cuda_Initialization to Expand_CUDA_Package 0 0 0 2021-09-20 Pierre-Marie de Rodat New
[Ada] usage.adb: make -gnatw.c description clearer [Ada] usage.adb: make -gnatw.c description clearer 0 0 0 2021-09-20 Pierre-Marie de Rodat New
[Ada] Remove inappropriate test from Is_By_Reference_Type [Ada] Remove inappropriate test from Is_By_Reference_Type 0 0 0 2021-09-20 Pierre-Marie de Rodat New
[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
« 1 2 3 420 21 »