Show patches with: Archived = No       |   126794 patches
« 1 2 ... 555 556 557 … 1267 1268 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Crash on interface equality covered by a renaming declaration [Ada] Crash on interface equality covered by a renaming declaration - - - - --- 2018-11-14 Pierre-Marie de Rodat New
[Ada] Crash on iterated_component_association in expression function [Ada] Crash on iterated_component_association in expression function - - - - --- 2018-01-11 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] Crash on misplaced First operation for GNAT iterable type [Ada] Crash on misplaced First operation for GNAT iterable type - - - - --- 2018-12-11 Pierre-Marie de Rodat New
[Ada] Crash on missing full view of controlled private type - - - - --- 2017-01-12 Arnaud Charlet New
[Ada] Crash on mutable record component with box initialization [Ada] Crash on mutable record component with box initialization - - - - --- 2017-09-18 Pierre-Marie de Rodat New
[Ada] Crash on named actual in postcondition for generic subprogram [Ada] Crash on named actual in postcondition for generic subprogram - - - - --- 2019-07-08 Pierre-Marie de Rodat New
[Ada] Crash on nesting of subunits with bodies acting as specs [Ada] Crash on nesting of subunits with bodies acting as specs - - - - --- 2018-12-11 Pierre-Marie de Rodat New
[Ada] Crash on object initialization that is call to expression function [Ada] Crash on object initialization that is call to expression function - - - - --- 2019-08-19 Pierre-Marie de Rodat New
[Ada] Crash on object of protected type with defaulted access component [Ada] Crash on object of protected type with defaulted access component - - - - --- 2021-10-20 Pierre-Marie de Rodat New
[Ada] Crash on overloaded function call with limited view - - - - --- 2017-01-20 Arnaud Charlet New
[Ada] Crash on overloaded function call with limited view - - - - --- 2016-10-12 Arnaud Charlet New
[Ada] Crash on overriding of an abstract primitive on an incomplete type [Ada] Crash on overriding of an abstract primitive on an incomplete type - - - - --- 2021-06-17 Pierre-Marie de Rodat New
[Ada] Crash on partial initialization of controlled component [Ada] Crash on partial initialization of controlled component - - - - --- 2018-05-22 Pierre-Marie de Rodat New
[Ada] Crash on potential access-before-elaboration in ZFP [Ada] Crash on potential access-before-elaboration in ZFP - - - - --- 2017-10-09 Pierre-Marie de Rodat New
[Ada] Crash on pragma Compile_Time_Warning with declared string constant [Ada] Crash on pragma Compile_Time_Warning with declared string constant - - - - --- 2018-05-22 Pierre-Marie de Rodat New
[Ada] Crash on precondition involving quantified expression [Ada] Crash on precondition involving quantified expression - - - - --- 2019-08-14 Pierre-Marie de Rodat New
[Ada] Crash on precondition, discriminant and protected objects [Ada] Crash on precondition, discriminant and protected objects - - - - --- 2020-10-20 Pierre-Marie de Rodat New
[Ada] Crash on predicate in full view in a generic unit [Ada] Crash on predicate in full view in a generic unit - - - - --- 2019-09-19 Pierre-Marie de Rodat New
[Ada] Crash on predicate involving qualified expression in instance [Ada] Crash on predicate involving qualified expression in instance - - - - --- 2018-05-23 Pierre-Marie de Rodat New
[Ada] Crash on predicated constrained out_parameter [Ada] Crash on predicated constrained out_parameter - - - - --- 2021-04-29 Pierre-Marie de Rodat New
[Ada] Crash on private enumeration type when compiling with -gnatVa - - - - --- 2012-07-23 Arnaud Charlet New
[Ada] Crash on processing external property - - - - --- 2014-02-06 Arnaud Charlet New
[Ada] Crash on protected type entry family [Ada] Crash on protected type entry family - - - - --- 2018-06-11 Pierre-Marie de Rodat New
[Ada] Crash on protected type with self-referential component [Ada] Crash on protected type with self-referential component - - - - --- 2019-07-11 Pierre-Marie de Rodat New
[Ada] Crash on quantified expression in disabled assertion [Ada] Crash on quantified expression in disabled assertion - - - - --- 2019-08-14 Pierre-Marie de Rodat New
[Ada] Crash on quantified expressions containing 'Old in postconditions - - - - --- 2011-08-31 Arnaud Charlet 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 return of raise expression [Ada] Crash on return of raise expression - - - - --- 2018-05-24 Pierre-Marie de Rodat New
[Ada] Crash on right shift operator for signed integers [Ada] Crash on right shift operator for signed integers - - - - --- 2020-11-25 Pierre-Marie de Rodat New
[Ada] Crash on string concatenation [Ada] Crash on string concatenation - - - - --- 2017-09-08 Arnaud Charlet New
[Ada] Crash on subprogram instantiation in nested package [Ada] Crash on subprogram instantiation in nested package - - - - --- 2017-12-15 Pierre-Marie de Rodat New
[Ada] Crash on subtype of fixed-point type [Ada] Crash on subtype of fixed-point type - - - - --- 2020-10-15 Pierre-Marie de Rodat New
[Ada] Crash on tagged equality [Ada] Crash on tagged equality - - - - --- 2018-11-14 Pierre-Marie de Rodat New
[Ada] Crash on task declaration with Restriction_Warning (No_Tasking) [Ada] Crash on task declaration with Restriction_Warning (No_Tasking) - - - - --- 2020-11-26 Pierre-Marie de Rodat New
[Ada] Crash on timed entry call with a delay given by a type conversion [Ada] Crash on timed entry call with a delay given by a type conversion - - - - --- 2019-07-08 Pierre-Marie de Rodat New
[Ada] Crash on transient classwide limited view on RHS of short-circuit - - - - --- 2014-07-16 Arnaud Charlet New
[Ada] Crash on unconstrained unchecked union declaration - - - - --- 2014-10-20 Arnaud Charlet New
[Ada] Crash on universal case expression in fixed-point division [Ada] Crash on universal case expression in fixed-point division - - - - --- 2019-09-18 Pierre-Marie de Rodat New
[Ada] Crash on unnesting unnamed blocks [Ada] Crash on unnesting unnamed blocks - - - - --- 2020-12-15 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] Crash on use of 'Old - - - - --- 2011-08-29 Arnaud Charlet New
[Ada] Crash on use of Compile_Time_Error in a generic package [Ada] Crash on use of Compile_Time_Error in a generic package - - - - --- 2017-11-09 Pierre-Marie de Rodat New
[Ada] Crash on use of Loop_Entry, Result, and Old as actuals [Ada] Crash on use of Loop_Entry, Result, and Old as actuals - - - - --- 2019-12-12 Pierre-Marie de Rodat New
[Ada] Crash on use of generic formal package [Ada] Crash on use of generic formal package - - - - --- 2018-11-14 Pierre-Marie de Rodat New
[Ada] Crash on validity check on actual with type conversion [Ada] Crash on validity check on actual with type conversion - - - - --- 2017-10-09 Pierre-Marie de Rodat New
[Ada] Crash overriding the equality operator - - - - --- 2010-06-22 Arnaud Charlet New
[Ada] Crash processing SPARK annotate aspect [Ada] Crash processing SPARK annotate aspect - - - - --- 2018-08-21 Pierre-Marie de Rodat New
[Ada] Crash processing Valid_Scalars whose evaluation is always true [Ada] Crash processing Valid_Scalars whose evaluation is always true - - - - --- 2018-05-23 Pierre-Marie de Rodat New
[Ada] Crash processing abstract state aspect of a package [Ada] Crash processing abstract state aspect of a package - - - - --- 2018-07-17 Pierre-Marie de Rodat New
[Ada] Crash processing comparison of composite objects - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Crash processing discriminants of private subtype - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Crash processing nested aggregate in constant declaration - - - - --- 2011-08-29 Arnaud Charlet New
[Ada] Crash processing private type whose parent is an interface type - - - - --- 2010-09-09 Arnaud Charlet New
[Ada] Crash processing sources under GNATprove debug mode [Ada] Crash processing sources under GNATprove debug mode - - - - --- 2018-07-16 Pierre-Marie de Rodat New
[Ada] Crash when an exception handler is executed with -gnatdk [Ada] Crash when an exception handler is executed with -gnatdk - - - - --- 2020-07-06 Pierre-Marie de Rodat New
[Ada] Crash when issuing warning on uninitialized value [Ada] Crash when issuing warning on uninitialized value - - - - --- 2017-09-06 Arnaud Charlet New
[Ada] Crash when processing attribute Loop_Entry - - - - --- 2013-02-06 Arnaud Charlet New
[Ada] Crash while processing illegal state refinement - - - - --- 2014-07-17 Arnaud Charlet New
[Ada] Crash with Inline_Always on a function with an extended return [Ada] Crash with Inline_Always on a function with an extended return - - - - --- 2018-06-11 Pierre-Marie de Rodat New
[Ada] Crash with big strings in System.OS_Lib.Normalize_Pathname - - - - --- 2014-01-29 Arnaud Charlet New
[Ada] Crash with declare expression used in a postcondition [Ada] Crash with declare expression used in a postcondition - - - - --- 2021-04-28 Pierre-Marie de Rodat New
[Ada] Crash with private types and renamed discriminants [Ada] Crash with private types and renamed discriminants - - - - --- 2018-05-22 Pierre-Marie de Rodat New
[Ada] Crash/infinite loop on program with multiple visibility errors [Ada] Crash/infinite loop on program with multiple visibility errors - - - - --- 2019-07-09 Pierre-Marie de Rodat New
[Ada] Create a new internal profile - - - - --- 2016-10-12 Arnaud Charlet New
[Ada] Create constrained itypes for nested record aggregates [Ada] Create constrained itypes for nested record aggregates - - - - --- 2020-06-11 Pierre-Marie de Rodat New
[Ada] Create explicit ghost mirror unit for big integers [Ada] Create explicit ghost mirror unit for big integers - - - - --- 2021-11-10 Pierre-Marie de Rodat New
[Ada] Create internal type for null array aggregate as an itype [Ada] Create internal type for null array aggregate as an itype - - - - --- 2022-09-05 Marc Poulhiès New
[Ada] Create new attribute Finalization_Size for header of control objects - - - - --- 2017-01-06 Arnaud Charlet New
[Ada] Create new unbounded functional sequence [Ada] Create new unbounded functional sequence - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Create object file for ignored ghost compilation unit [Ada] Create object file for ignored ghost compilation unit - - - - --- 2021-12-01 Pierre-Marie de Rodat New
[Ada] Create the Find_Name_In_Path helper - - - - --- 2011-11-04 Arnaud Charlet New
[Ada] Cross-Reference information for build-in-place objects - - - - --- 2010-09-10 Arnaud Charlet New
[Ada] Cross-reference information for expression functions that are completions - - - - --- 2012-02-22 Arnaud Charlet New
[Ada] DSA code generation reorganization - - - - --- 2011-09-19 Arnaud Charlet New
[Ada] DSA helpers for tagged types - - - - --- 2010-10-05 Arnaud Charlet New
[Ada] Dangling cursor checks in Element function [Ada] Dangling cursor checks in Element function - - - - --- 2018-06-11 Pierre-Marie de Rodat New
[Ada] Deadlock when protected procedure propagates an exception - - - - --- 2017-04-28 Arnaud Charlet New
[Ada] Deal with derived record types in Has_Compatible_Representation [Ada] Deal with derived record types in Has_Compatible_Representation - - - - --- 2022-05-17 Pierre-Marie de Rodat New
[Ada] Deal with empty input in __gnat_decode - - - - --- 2012-01-23 Arnaud Charlet New
[Ada] Deal with enumeration types with very large size [Ada] Deal with enumeration types with very large size - - - - --- 2020-06-19 Pierre-Marie de Rodat New
[Ada] Deal with references for Alfa mode through multiple renamings - - - - --- 2011-09-19 Arnaud Charlet New
[Ada] Deal with second specific superflat case in Optimize_Length_Comparison [Ada] Deal with second specific superflat case in Optimize_Length_Comparison - - - - --- 2020-06-17 Pierre-Marie de Rodat New
[Ada] Deallocation of a class-wide object with unknown discriminants - - - - --- 2011-11-23 Arnaud Charlet New
[Ada] Deallocation of a single allocated object (PR ada/47880) - - - - --- 2011-08-04 Arnaud Charlet New
[Ada] Deallocation of controlled type implementing interface types [Ada] Deallocation of controlled type implementing interface types - - - - --- 2019-12-13 Pierre-Marie de Rodat New
[Ada] Debug info not available on subp having a class-wide precondition [Ada] Debug info not available on subp having a class-wide precondition - - - - --- 2020-06-03 Pierre-Marie de Rodat New
[Ada] Debug information for code generated for pragma Check - - - - --- 2013-01-02 Arnaud Charlet New
[Ada] Debug information for limited class-wide objects - - - - --- 2015-10-20 Arnaud Charlet New
[Ada] Debugging information for inlined predefined units - - - - --- 2014-11-20 Arnaud Charlet 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] Declare expressions [Ada] Declare expressions - - - - --- 2020-06-16 Pierre-Marie de Rodat New
[Ada] Deconstruct 'F' as a prefix for an ALI data [Ada] Deconstruct 'F' as a prefix for an ALI data - - - - --- 2018-07-31 Pierre-Marie de Rodat New
[Ada] Deconstruct a VMS utility routine which is only used by GNATprove [Ada] Deconstruct a VMS utility routine which is only used by GNATprove - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Deconstruct always-false calls to Withed_Body in Walk_Library_Items [Ada] Deconstruct always-false calls to Withed_Body in Walk_Library_Items - - - - --- 2018-07-16 Pierre-Marie de Rodat New
[Ada] Deconstruct dead wrappers added for external axiomatization [Ada] Deconstruct dead wrappers added for external axiomatization - - - - --- 2022-01-05 Pierre-Marie de Rodat New
[Ada] Deconstruct deferred references [Ada] Deconstruct deferred references - - - - --- 2022-05-30 Pierre-Marie de Rodat New
[Ada] Deconstruct storing SPARK cross-references in the ALI files [Ada] Deconstruct storing SPARK cross-references in the ALI files - - - - --- 2017-11-08 Pierre-Marie de Rodat New
[Ada] Deconstruct unused Withed_Body filed of N_With_Clause node [Ada] Deconstruct unused Withed_Body filed of N_With_Clause node - - - - --- 2018-07-16 Pierre-Marie de Rodat New
[Ada] Decorate iterated_component_association in SPARK expansion [Ada] Decorate iterated_component_association in SPARK expansion - - - - --- 2020-10-23 Pierre-Marie de Rodat New
« 1 2 ... 555 556 557 … 1267 1268 »