Show patches with: Submitter = Pierre-Marie de Rodat       |    State = Action Required       |    Archived = No       |   3078 patches
« 1 2 ... 8 9 10 … 30 31 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Add Package_Body helper routine to be used in GNATprove [Ada] Add Package_Body helper routine to be used in GNATprove - - - - --- 2021-09-22 Pierre-Marie de Rodat New
[Ada] Fix infinite loop in compilation of illegal code [Ada] Fix infinite loop in compilation of illegal code - - - - --- 2021-09-22 Pierre-Marie de Rodat New
[Ada] More precise analysis of function renamings in GNATprove [Ada] More precise analysis of function renamings in GNATprove - - - - --- 2021-09-22 Pierre-Marie de Rodat New
[Ada] Removal of technical debt [Ada] Removal of technical debt - - - - --- 2021-09-22 Pierre-Marie de Rodat New
[Ada] Fix access to predicated parent in Itype [Ada] Fix access to predicated parent in Itype - - - - --- 2021-09-22 Pierre-Marie de Rodat New
[Ada] Allow more cases of import with Relaxed_RM_Semantics [Ada] Allow more cases of import with Relaxed_RM_Semantics - - - - --- 2021-09-22 Pierre-Marie de Rodat New
[Ada] Improve performance for case-insensitive regular expressions [Ada] Improve performance for case-insensitive regular expressions - - - - --- 2021-09-22 Pierre-Marie de Rodat New
[Ada] Remove System.Img_Enum_New unit [Ada] Remove System.Img_Enum_New unit - - - - --- 2021-09-22 Pierre-Marie de Rodat New
[Ada] Fix obsolete comments/name referring to girder discriminants [Ada] Fix obsolete comments/name referring to girder discriminants - - - - --- 2021-09-22 Pierre-Marie de Rodat New
[Ada] VxWorks inconsistent use of return type (Int_Unlock) [Ada] VxWorks inconsistent use of return type (Int_Unlock) - - - - --- 2021-09-22 Pierre-Marie de Rodat New
[Ada] VxWorks inconsistent use of return type (vx_freq_t) [Ada] VxWorks inconsistent use of return type (vx_freq_t) - - - - --- 2021-09-22 Pierre-Marie de Rodat New
[Ada] Replace use of 'Image with use of Error_Msg_Uint [Ada] Replace use of 'Image with use of Error_Msg_Uint - - - - --- 2021-09-22 Pierre-Marie de Rodat New
[Ada] Generate temporary for if-expression with -fpreserve-control-flow [Ada] Generate temporary for if-expression with -fpreserve-control-flow - - - - --- 2021-09-22 Pierre-Marie de Rodat New
[Ada] Fix imprecise wording for error on scalar storage order [Ada] Fix imprecise wording for error on scalar storage order - - - - --- 2021-09-22 Pierre-Marie de Rodat New
[Ada] Make Ada.Task_Initialization compatible with No_Elaboration_Code_All [Ada] Make Ada.Task_Initialization compatible with No_Elaboration_Code_All - - - - --- 2021-09-22 Pierre-Marie de Rodat New
[Ada] Change message format on missing return [Ada] Change message format on missing return - - - - --- 2021-09-22 Pierre-Marie de Rodat New
[Ada] Mark gnatfind and gnatxref obsolete [Ada] Mark gnatfind and gnatxref obsolete - - - - --- 2021-09-22 Pierre-Marie de Rodat New
[Ada] Add some comments in init.c about the lynx178 signal handler [Ada] Add some comments in init.c about the lynx178 signal handler - - - - --- 2021-09-21 Pierre-Marie de Rodat New
[Ada] Rename "optional" node subtypes that allow Empty [Ada] Rename "optional" node subtypes that allow Empty - - - - --- 2021-09-21 Pierre-Marie de Rodat New
[Ada] Spurious dynamic accessibility check on allocator [Ada] Spurious dynamic accessibility check on allocator - - - - --- 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 - - - - --- 2021-09-21 Pierre-Marie de Rodat New
[Ada] Add "optional" node subtypes that allow Empty [Ada] Add "optional" node subtypes that allow Empty - - - - --- 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 - - - - --- 2021-09-21 Pierre-Marie de Rodat New
[Ada] Fix regression in ACATS bdd2006 and bdd2007 [Ada] Fix regression in ACATS bdd2006 and bdd2007 - - - - --- 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 - - - - --- 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 - - - - --- 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) - - - - --- 2021-09-21 Pierre-Marie de Rodat New
[Ada] Remove if_expression [Ada] Remove if_expression - - - - --- 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 - - - - --- 2021-09-21 Pierre-Marie de Rodat New
[Ada] Follow-up tweaks to System.Dwarf_Line [Ada] Follow-up tweaks to System.Dwarf_Line - - - - --- 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 - - - - --- 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 - - - - --- 2021-09-21 Pierre-Marie de Rodat New
[Ada] rtems: add 128bit support for aarch64 [Ada] rtems: add 128bit support for aarch64 - - - - --- 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 - - - - --- 2021-09-21 Pierre-Marie de Rodat New
[Ada] Interface behaves differently from abstract tagged null [Ada] Interface behaves differently from abstract tagged null - - - - --- 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 - - - - --- 2021-09-21 Pierre-Marie de Rodat New
[Ada] Update comment for Error_Msg_Internal [Ada] Update comment for Error_Msg_Internal - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 2021-09-20 Pierre-Marie de Rodat New
[Ada] Fix shadowing in conditions for inlining [Ada] Fix shadowing in conditions for inlining - - - - --- 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. - - - - --- 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 - - - - --- 2021-09-20 Pierre-Marie de Rodat New
[Ada] Cleanups related to building of dispatch tables [Ada] Cleanups related to building of dispatch tables - - - - --- 2021-09-20 Pierre-Marie de Rodat New
[Ada] Accept volatile properties on constant objects [Ada] Accept volatile properties on constant objects - - - - --- 2021-09-20 Pierre-Marie de Rodat New
[Ada] Adjust latest change for ELF platforms [Ada] Adjust latest change for ELF platforms - - - - --- 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 - - - - --- 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 - - - - --- 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. - - - - --- 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 - - - - --- 2021-09-20 Pierre-Marie de Rodat New
[Ada] Fix condition in op interpretation resolution [Ada] Fix condition in op interpretation resolution - - - - --- 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 - - - - --- 2021-09-20 Pierre-Marie de Rodat New
[Ada] Fix assertion in GNATprove_Mode [Ada] Fix assertion in GNATprove_Mode - - - - --- 2021-09-20 Pierre-Marie de Rodat New
[Ada] Small cleanup in System.Dwarf_Line [Ada] Small cleanup in System.Dwarf_Line - - - - --- 2021-09-20 Pierre-Marie de Rodat New
[Ada] Only assign type to op if compatible [Ada] Only assign type to op if compatible - - - - --- 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 - - - - --- 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 - - - - --- 2021-09-20 Pierre-Marie de Rodat New
[Ada] Work around CodePeer bug by declaring variable [Ada] Work around CodePeer bug by declaring variable - - - - --- 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 - - - - --- 2021-09-20 Pierre-Marie de Rodat New
[Ada] usage.adb: make -gnatw.c description clearer [Ada] usage.adb: make -gnatw.c description clearer - - - - --- 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 - - - - --- 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 - - - - --- 2021-07-12 Pierre-Marie de Rodat New
[Ada] Duplicate Size/Value_Size clause [Ada] Duplicate Size/Value_Size clause - - - - --- 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 - - - - --- 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 - - - - --- 2021-07-09 Pierre-Marie de Rodat New
[Ada] Fix crash on type extensions with discriminants [Ada] Fix crash on type extensions with discriminants - - - - --- 2021-07-09 Pierre-Marie de Rodat New
[Ada] Add missed OS constant values [Ada] Add missed OS constant values - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 2021-07-09 Pierre-Marie de Rodat New
[Ada] Crash on inlined separate subprogram [Ada] Crash on inlined separate subprogram - - - - --- 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 - - - - --- 2021-07-09 Pierre-Marie de Rodat New
[Ada] Fix layout of contracts [Ada] Fix layout of contracts - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 2021-07-09 Pierre-Marie de Rodat New
[Ada] Update internal documentation of debugging information [Ada] Update internal documentation of debugging information - - - - --- 2021-07-09 Pierre-Marie de Rodat New
[Ada] Reorder preanalysis of static expression functions [Ada] Reorder preanalysis of static expression functions - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 2021-07-09 Pierre-Marie de Rodat New
[Ada] Remove an unnecessary local constant [Ada] Remove an unnecessary local constant - - - - --- 2021-07-09 Pierre-Marie de Rodat New
[Ada] Avoid unnecessary call in preanalysis without freezing [Ada] Avoid unnecessary call in preanalysis without freezing - - - - --- 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 - - - - --- 2021-07-08 Pierre-Marie de Rodat New
[Ada] Diagnose properly illegal uses of Target_Name [Ada] Diagnose properly illegal uses of Target_Name - - - - --- 2021-07-08 Pierre-Marie de Rodat New
[Ada] Remove Unknown_ functions [Ada] Remove Unknown_ functions - - - - --- 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 - - - - --- 2021-07-08 Pierre-Marie de Rodat New
[Ada] Transient scope cleanup [Ada] Transient scope cleanup - - - - --- 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 - - - - --- 2021-07-08 Pierre-Marie de Rodat New
[Ada] Duplicated D lines in ali files [Ada] Duplicated D lines in ali files - - - - --- 2021-07-08 Pierre-Marie de Rodat New
[Ada] Spurious style message on missing overriding indicator [Ada] Spurious style message on missing overriding indicator - - - - --- 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 - - - - --- 2021-07-08 Pierre-Marie de Rodat New
[Ada] Spurious warning in generic instance [Ada] Spurious warning in generic instance - - - - --- 2021-07-08 Pierre-Marie de Rodat New
« 1 2 ... 8 9 10 … 30 31 »