Show patches with: none      |   127814 patches
« 1 2 ... 358 359 360 … 1278 1279 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Fix shadowing in conditions for inlining [Ada] Fix shadowing in conditions for inlining - - - - --- 2021-09-20 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] 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] 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] 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] Update comment for Error_Msg_Internal [Ada] Update comment for Error_Msg_Internal - - - - --- 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] Interface behaves differently from abstract tagged null [Ada] Interface behaves differently from abstract tagged null - - - - --- 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] rtems: add 128bit support for aarch64 [Ada] rtems: add 128bit support for aarch64 - - - - --- 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] 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] Follow-up tweaks to System.Dwarf_Line [Ada] Follow-up tweaks to System.Dwarf_Line - - - - --- 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] Remove if_expression [Ada] Remove if_expression - - - - --- 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] 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] 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] Fix regression in ACATS bdd2006 and bdd2007 [Ada] Fix regression in ACATS bdd2006 and bdd2007 - - - - --- 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] Add "optional" node subtypes that allow Empty [Ada] Add "optional" node subtypes that allow Empty - - - - --- 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] Spurious dynamic accessibility check on allocator [Ada] Spurious dynamic accessibility check on allocator - - - - --- 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] 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] Mark gnatfind and gnatxref obsolete [Ada] Mark gnatfind and gnatxref obsolete - - - - --- 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] 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] 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] 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] 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] 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] 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] 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] Remove System.Img_Enum_New unit [Ada] Remove System.Img_Enum_New unit - - - - --- 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] 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] Fix access to predicated parent in Itype [Ada] Fix access to predicated parent in Itype - - - - --- 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] 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] 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] 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] VxWorks inconsistent use of return type (BOOL) [Ada] VxWorks inconsistent use of return type (BOOL) - - - - --- 2021-09-22 Pierre-Marie de Rodat New
[Ada] Add adequate guard before calling First_Rep_Item [Ada] Add adequate guard before calling First_Rep_Item - - - - --- 2021-09-22 Pierre-Marie de Rodat New
[Ada] More flexibility in preprocessor [Ada] More flexibility in preprocessor - - - - --- 2021-09-22 Pierre-Marie de Rodat New
[Ada] Update status of some attributes [Ada] Update status of some attributes - - - - --- 2021-09-22 Pierre-Marie de Rodat New
[Ada] Clarify parts of Ada.Strings.Unbounded in SPARK or not [Ada] Clarify parts of Ada.Strings.Unbounded in SPARK or not - - - - --- 2021-09-22 Pierre-Marie de Rodat New
[Ada] Fix conformance errors and erroneous code [Ada] Fix conformance errors and erroneous code - - - - --- 2021-09-22 Pierre-Marie de Rodat New
[Ada] Spurious error on deferred constant with predicate [Ada] Spurious error on deferred constant with predicate - - - - --- 2021-09-22 Pierre-Marie de Rodat New
[Ada] Reuse routines for detecting attributes Old and Result [Ada] Reuse routines for detecting attributes Old and Result - - - - --- 2021-09-22 Pierre-Marie de Rodat New
[Ada] Simplify contract of Ada.Strings.Fixed.Trim for proof [Ada] Simplify contract of Ada.Strings.Fixed.Trim for proof - - - - --- 2021-09-22 Pierre-Marie de Rodat New
[Ada] Remove global parameter in Global contracts of Ada.Strings.Bounded [Ada] Remove global parameter in Global contracts of Ada.Strings.Bounded - - - - --- 2021-09-23 Pierre-Marie de Rodat New
[Ada] Minimize parts of Ada.Strings.Fixed marked SPARK_Mode => Off [Ada] Minimize parts of Ada.Strings.Fixed marked SPARK_Mode => Off - - - - --- 2021-09-23 Pierre-Marie de Rodat New
[Ada] Remove Initializes contracts from Ada.Strings.Bounded [Ada] Remove Initializes contracts from Ada.Strings.Bounded - - - - --- 2021-09-23 Pierre-Marie de Rodat New
[Ada] If unnesting and relocating subprogram call, make new Parameter_Associations [Ada] If unnesting and relocating subprogram call, make new Parameter_Associations - - - - --- 2021-09-23 Pierre-Marie de Rodat New
[Ada] Follow-on efficiency improvements [Ada] Follow-on efficiency improvements - - - - --- 2021-09-23 Pierre-Marie de Rodat New
[Ada] Ada2022: implementation of AI12-0212 : iterator specs in array aggregates [Ada] Ada2022: implementation of AI12-0212 : iterator specs in array aggregates - - - - --- 2021-09-23 Pierre-Marie de Rodat New
[Ada] Wrappers of access-to-subprograms with pre/post conditions [Ada] Wrappers of access-to-subprograms with pre/post conditions - - - - --- 2021-09-23 Pierre-Marie de Rodat New
[Ada] Tune detection of internally generated positional aggregates [Ada] Tune detection of internally generated positional aggregates - - - - --- 2021-09-23 Pierre-Marie de Rodat New
[Ada] Adjust documentation of gnatsymbolize [Ada] Adjust documentation of gnatsymbolize - - - - --- 2021-09-23 Pierre-Marie de Rodat New
[Ada] Switch to SR0660 [Ada] Switch to SR0660 - - - - --- 2021-10-01 Pierre-Marie de Rodat New
[Ada] Fix CodePeer warnings [Ada] Fix CodePeer warnings - - - - --- 2021-10-01 Pierre-Marie de Rodat New
[Ada] No ABE check needed for an expression function call. [Ada] No ABE check needed for an expression function call. - - - - --- 2021-10-01 Pierre-Marie de Rodat New
[Ada] Improve error message for .ali file version mismatch [Ada] Improve error message for .ali file version mismatch - - - - --- 2021-10-01 Pierre-Marie de Rodat New
[Ada] Spurious range checks on aggregate with non-static bounds [Ada] Spurious range checks on aggregate with non-static bounds - - - - --- 2021-10-01 Pierre-Marie de Rodat New
[Ada] Support gmem.out longer than 2G on 32 bit platforms [Ada] Support gmem.out longer than 2G on 32 bit platforms - - - - --- 2021-10-01 Pierre-Marie de Rodat New
[Ada] Info. gathering in preparation for more efficiency improvements [Ada] Info. gathering in preparation for more efficiency improvements - - - - --- 2021-10-01 Pierre-Marie de Rodat New
[Ada] Fix bug in inherited user-defined-literal aspects for tagged types [Ada] Fix bug in inherited user-defined-literal aspects for tagged types - - - - --- 2021-10-01 Pierre-Marie de Rodat New
[Ada] Improve error message for .ali file version mismatch [Ada] Improve error message for .ali file version mismatch - - - - --- 2021-10-01 Pierre-Marie de Rodat New
[Ada] Fix deleting CodePeer files for non-ordinary units [Ada] Fix deleting CodePeer files for non-ordinary units - - - - --- 2021-10-01 Pierre-Marie de Rodat New
[Ada] Implementation of AI12-0212: iterator specs in array aggregates (II) [Ada] Implementation of AI12-0212: iterator specs in array aggregates (II) - - - - --- 2021-10-01 Pierre-Marie de Rodat New
[Ada] Add more node unions [Ada] Add more node unions - - - - --- 2021-10-01 Pierre-Marie de Rodat New
[Ada] Assert_Failure on derived type with inherited Default_Initial_Condition [Ada] Assert_Failure on derived type with inherited Default_Initial_Condition - - - - --- 2021-10-01 Pierre-Marie de Rodat New
[Ada] Stub CUDA_Device aspect [Ada] Stub CUDA_Device aspect - - - - --- 2021-10-01 Pierre-Marie de Rodat New
[Ada] Crash on renaming within declare expression [Ada] Crash on renaming within declare expression - - - - --- 2021-10-01 Pierre-Marie de Rodat New
[Ada] Crash on improper use of GNAT attribute Type_Key [Ada] Crash on improper use of GNAT attribute Type_Key - - - - --- 2021-10-01 Pierre-Marie de Rodat New
[Ada] Spurious warning about hiding in generic instantiation [Ada] Spurious warning about hiding in generic instantiation - - - - --- 2021-10-01 Pierre-Marie de Rodat New
[Ada] Add new debug switch -gnatd.8 [Ada] Add new debug switch -gnatd.8 - - - - --- 2021-10-01 Pierre-Marie de Rodat New
[Ada] Add missing guard before call to Interface_Present_In_Ancestor [Ada] Add missing guard before call to Interface_Present_In_Ancestor - - - - --- 2021-10-01 Pierre-Marie de Rodat New
[Ada] Document rounding mode assumed for dynamic floating-point computations [Ada] Document rounding mode assumed for dynamic floating-point computations - - - - --- 2021-10-01 Pierre-Marie de Rodat New
[Ada] Improved checking for invalid index values when accessing array elements [Ada] Improved checking for invalid index values when accessing array elements - - - - --- 2021-10-01 Pierre-Marie de Rodat New
[Ada] Empty CUDA_Global procedures when compiling for host [Ada] Empty CUDA_Global procedures when compiling for host - - - - --- 2021-10-01 Pierre-Marie de Rodat New
[Ada] Subprogram_Variant in ignored ghost code [Ada] Subprogram_Variant in ignored ghost code - - - - --- 2021-10-01 Pierre-Marie de Rodat New
[Ada] Improve checking for invalid index values when accessing array elements [Ada] Improve checking for invalid index values when accessing array elements - - - - --- 2021-10-04 Pierre-Marie de Rodat New
[Ada] Fix compiler internal error [Ada] Fix compiler internal error - - - - --- 2021-10-04 Pierre-Marie de Rodat New
[Ada] Emit debugging information for TSD object [Ada] Emit debugging information for TSD object - - - - --- 2021-10-04 Pierre-Marie de Rodat New
[Ada] VxWorks inconsistent use of return type Fixup [Ada] VxWorks inconsistent use of return type Fixup - - - - --- 2021-10-04 Pierre-Marie de Rodat New
[Ada] Spurious accessibility error on renamed expression [Ada] Spurious accessibility error on renamed expression - - - - --- 2021-10-04 Pierre-Marie de Rodat New
[Ada] Crash on allocator in alternative accessibility modes [Ada] Crash on allocator in alternative accessibility modes - - - - --- 2021-10-04 Pierre-Marie de Rodat New
[Ada] PR ada/102073 [Ada] PR ada/102073 - - - - --- 2021-10-04 Pierre-Marie de Rodat New
[Ada] Adjust documentation of -fdump-ada-spec in GNAT UG [Ada] Adjust documentation of -fdump-ada-spec in GNAT UG - - - - --- 2021-10-04 Pierre-Marie de Rodat New
[Ada] Spurious non-variable error on implicitly dereferenced in-mode formal [Ada] Spurious non-variable error on implicitly dereferenced in-mode formal - - - - --- 2021-10-04 Pierre-Marie de Rodat New
[Ada] Fix handling of 'Image acting as a prefix of a slice in CodePeer [Ada] Fix handling of 'Image acting as a prefix of a slice in CodePeer - - - - --- 2021-10-04 Pierre-Marie de Rodat New
[Ada] Fix missing check on slice with a subtype indication [Ada] Fix missing check on slice with a subtype indication - - - - --- 2021-10-04 Pierre-Marie de Rodat New
[Ada] Fix handling of slices with subtype names [Ada] Fix handling of slices with subtype names - - - - --- 2021-10-04 Pierre-Marie de Rodat New
[Ada] Declaration_Node for Itypes returns Empty or declaration [Ada] Declaration_Node for Itypes returns Empty or declaration - - - - --- 2021-10-04 Pierre-Marie de Rodat New
[Ada] Fix resolution of Declare_Expressions involving transient scopes [Ada] Fix resolution of Declare_Expressions involving transient scopes - - - - --- 2021-10-04 Pierre-Marie de Rodat New
[Ada] Fix for a static Leading_Part attribute raising constraint error [Ada] Fix for a static Leading_Part attribute raising constraint error - - - - --- 2021-10-04 Pierre-Marie de Rodat New
[Ada] Add Ada RM description of Ada.Strings.Bounded as comments in the spec [Ada] Add Ada RM description of Ada.Strings.Bounded as comments in the spec - - - - --- 2021-10-04 Pierre-Marie de Rodat New
[Ada] Fix comment about expansion of slices [Ada] Fix comment about expansion of slices - - - - --- 2021-10-04 Pierre-Marie de Rodat New
« 1 2 ... 358 359 360 … 1278 1279 »