Show patches with: State = Action Required       |    Archived = No       |   126613 patches
« 1 2 ... 713 714 715 … 1266 1267 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Crash on aggregate for limited type in extended return [Ada] Crash on aggregate for limited type in extended return - - - - --- 2019-07-10 Pierre-Marie de Rodat New
[Ada] Crash on address clause involving controlled objects. - - - - --- 2015-10-20 Arnaud Charlet New
[Ada] Crash on actual that is an instance of a generic child unit [Ada] Crash on actual that is an instance of a generic child unit - - - - --- 2017-10-09 Pierre-Marie de Rodat New
[Ada] Crash on access-to-object in SPARK [Ada] Crash on access-to-object in SPARK - - - - --- 2017-11-08 Pierre-Marie de Rodat New
[Ada] Crash on a nested aggregate containing controlled objects [Ada] Crash on a nested aggregate containing controlled objects - - - - --- 2021-06-17 Pierre-Marie de Rodat New
[Ada] Crash on a Storage_Size aspect depending on attr. of another type [Ada] Crash on a Storage_Size aspect depending on attr. of another type - - - - --- 2019-08-20 Pierre-Marie de Rodat New
[Ada] Crash on SPARK_Mode with illegal mode [Ada] Crash on SPARK_Mode with illegal mode - - - - --- 2017-11-09 Pierre-Marie de Rodat New
[Ada] Crash on Loop_Entry for while_loop involving substrings [Ada] Crash on Loop_Entry for while_loop involving substrings - - - - --- 2019-08-20 Pierre-Marie de Rodat New
[Ada] Crash on Indefinite_Hashed_Maps with -gnata -gnateV [Ada] Crash on Indefinite_Hashed_Maps with -gnata -gnateV - - - - --- 2018-07-16 Pierre-Marie de Rodat New
[Ada] Crash on Image and Value attributes [Ada] Crash on Image and Value attributes - - - - --- 2019-07-08 Pierre-Marie de Rodat New
[Ada] Crash on Descriptor_Size attribute [Ada] Crash on Descriptor_Size attribute - - - - --- 2019-12-12 Pierre-Marie de Rodat New
[Ada] Crash on 'Img attribute [Ada] Crash on 'Img attribute - - - - --- 2019-07-09 Pierre-Marie de Rodat New
[Ada] Crash in task body reference to discriminant [Ada] Crash in task body reference to discriminant - - - - --- 2022-05-13 Pierre-Marie de Rodat New
[Ada] Crash in tagged type constructor with task components [Ada] Crash in tagged type constructor with task components - - - - --- 2020-06-16 Pierre-Marie de Rodat New
[Ada] Crash in tagged type constructor with task components [Ada] Crash in tagged type constructor with task components - - - - --- 2020-06-16 Pierre-Marie de Rodat New
[Ada] Crash in tagged type constructor with task components [Ada] Crash in tagged type constructor with task components - - - - --- 2020-06-17 Pierre-Marie de Rodat New
[Ada] Crash in interface derivation with null primitive [Ada] Crash in interface derivation with null primitive - - - - --- 2019-07-08 Pierre-Marie de Rodat New
[Ada] Crash in expression function defined in protected object [Ada] Crash in expression function defined in protected object - - - - --- 2020-10-19 Pierre-Marie de Rodat New
[Ada] Crash in compile-only mode with dynamic predicates. - - - - --- 2015-10-20 Arnaud Charlet New
[Ada] Crash in class-wide pre/postconditions [Ada] Crash in class-wide pre/postconditions - - - - --- 2022-01-06 Pierre-Marie de Rodat New
[Ada] Crash in class-wide pre/postconditions [Ada] Crash in class-wide pre/postconditions - - - - --- 2022-01-07 Pierre-Marie de Rodat New
[Ada] Crash in C++ constructor without external and link name [Ada] Crash in C++ constructor without external and link name - - - - --- 2019-07-22 Pierre-Marie de Rodat New
[Ada] Crash freezing declaration that will raise constraint error [Ada] Crash freezing declaration that will raise constraint error - - - - --- 2022-05-17 Pierre-Marie de Rodat New
[Ada] Crash due to missing freeze nodes in transient scope [Ada] Crash due to missing freeze nodes in transient scope - - - - --- 2019-07-01 Pierre-Marie de Rodat New
[Ada] Crash building VSS with compiler built with assertions [Ada] Crash building VSS with compiler built with assertions - - - - --- 2022-05-18 Pierre-Marie de Rodat New
[Ada] Crahs on indexing operation with named associations - - - - --- 2015-11-18 Arnaud Charlet New
[Ada] Coverage analysis of select statements - - - - --- 2012-07-16 Arnaud Charlet New
[Ada] Cover all cases of constant objects for ALFA section in ALI files - - - - --- 2011-09-05 Arnaud Charlet New
[Ada] Couple of tweaks to help in LTO mode [Ada] Couple of tweaks to help in LTO mode - - - - --- 2020-05-08 Eric Botcazou New
[Ada] Couple of small tweaks related to integer conversions [Ada] Couple of small tweaks related to integer conversions - - - - --- 2020-06-17 Pierre-Marie de Rodat New
[Ada] Couple of small preparatory adjustments [Ada] Couple of small preparatory adjustments - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Couple of small consistency tweaks [Ada] Couple of small consistency tweaks - - - - --- 2022-05-16 Pierre-Marie de Rodat New
[Ada] Couple of small cleanups for Cloned_Subtype [Ada] Couple of small cleanups for Cloned_Subtype - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Couple of small adjustments to cross-unit inlining - - - - --- 2012-05-15 Arnaud Charlet New
[Ada] Couple of minor tweaks to Eval_Fat.Succ [Ada] Couple of minor tweaks to Eval_Fat.Succ - - - - --- 2021-04-29 Pierre-Marie de Rodat New
[Ada] Couple of minor tweaks - - - - --- 2012-10-02 Eric Botcazou New
[Ada] Couple of adjustments to special return mechanism - - - - --- 2015-06-19 Eric Botcazou New
[Ada] Correctly set Last when calling Text_IO.Get_Line on empty string - - - - --- 2016-05-02 Arnaud Charlet New
[Ada] Correctly round Value attribute for floating point in more cases [Ada] Correctly round Value attribute for floating point in more cases - - - - --- 2022-09-06 Marc Poulhiès New
[Ada] Correctly reject record aggregate using brackets [Ada] Correctly reject record aggregate using brackets - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Correctly mark subprogram as not always inlined in GNATprove mode [Ada] Correctly mark subprogram as not always inlined in GNATprove mode - - - - --- 2020-12-14 Pierre-Marie de Rodat New
[Ada] Correctly ignore Assertion_Policy in modes CodePeer and GNATprove [Ada] Correctly ignore Assertion_Policy in modes CodePeer and GNATprove - - - - --- 2018-05-30 Pierre-Marie de Rodat New
[Ada] Correctly annotate negative values for the front-end - - - - --- 2016-11-13 Eric Botcazou New
[Ada] Correction to aggregates in instance bodies - - - - --- 2011-09-01 Arnaud Charlet New
[Ada] Correct wrong generation of ALFA cross-references - - - - --- 2011-08-04 Arnaud Charlet New
[Ada] Correct various bad choices in Alfa mode - - - - --- 2011-08-31 Arnaud Charlet New
[Ada] Correct usage of Default_Aspect_Value in scalar types - - - - --- 2013-10-10 Arnaud Charlet New
[Ada] Correct unique name of entities for formal verification - - - - --- 2011-08-05 Arnaud Charlet New
[Ada] Correct time zone in GNAT.Calendar.Time_IO.Value [Ada] Correct time zone in GNAT.Calendar.Time_IO.Value - - - - --- 2020-07-06 Pierre-Marie de Rodat New
[Ada] Correct some anmolies in the handling of Atomic - - - - --- 2015-05-22 Arnaud Charlet New
[Ada] Correct references in Alfa mode for use of renamings - - - - --- 2011-09-19 Arnaud Charlet New
[Ada] Correct project search path when using switch -aP - - - - --- 2013-04-24 Arnaud Charlet New
[Ada] Correct possible double qualification of names in formal mode - - - - --- 2012-11-06 Arnaud Charlet New
[Ada] Correct placement and checking of Test_Case pragma - - - - --- 2011-08-04 Arnaud Charlet New
[Ada] Correct order of evaluation of pre- and postcondition - - - - --- 2011-08-04 Arnaud Charlet New
[Ada] Correct object path when binding extending SALs - - - - --- 2011-08-29 Arnaud Charlet New
[Ada] Correct multi-precision division algorithm used for universal integers - - - - --- 2012-12-05 Arnaud Charlet New
[Ada] Correct failure to detect Invariant'Class for untagged type - - - - --- 2014-07-31 Arnaud Charlet New
[Ada] Correct error handling in Initialize - - - - --- 2011-10-13 Arnaud Charlet New
[Ada] Correct ALFA xrefs for separates and pre/post - - - - --- 2011-08-05 Arnaud Charlet New
[Ada] Correct A'First (N) where N is an object name [Ada] Correct A'First (N) where N is an object name - - - - --- 2021-06-18 Pierre-Marie de Rodat New
[Ada] Copy-on-write version of Ada.Containers.Indefinite_Holders - - - - --- 2013-10-10 Arnaud Charlet New
[Ada] Copy representation aspects from type to constrained subtype [Ada] Copy representation aspects from type to constrained subtype - - - - --- 2017-09-08 Arnaud Charlet New
[Ada] Copy of Unchecked_Union derived discriminated types [Ada] Copy of Unchecked_Union derived discriminated types - - - - --- 2017-09-29 Pierre-Marie de Rodat New
[Ada] Cope with scalar subtypes that have a non-scalar basetype. [Ada] Cope with scalar subtypes that have a non-scalar basetype. - - - - --- 2022-09-06 Marc Poulhiès New
[Ada] Coordinate front-end and middle-end floating-point settings - - - - --- 2013-05-24 Eric Botcazou New
[Ada] Convert Ada front-end to automatic dependencies - - - - --- 2013-10-13 Eric Botcazou New
[Ada] Convert Ada front-end to automatic dependencies - - - - --- 2013-10-23 Rainer Orth New
[Ada] Conversion routines between GNAT.OS_Lib.OS_Time and long integer [Ada] Conversion routines between GNAT.OS_Lib.OS_Time and long integer - - - - --- 2019-08-19 Pierre-Marie de Rodat New
[Ada] Conversion of arithmetic expression to wider type flagged as redundant - - - - --- 2010-09-09 Arnaud Charlet New
[Ada] Convention for operations of generlc formals with unknown discriminants - - - - --- 2013-01-02 Arnaud Charlet New
[Ada] Controlled finalization for references in Ada 2012 containers - - - - --- 2012-02-17 Arnaud Charlet New
[Ada] Control over error message details for Contract_Cases - - - - --- 2013-04-25 Arnaud Charlet New
[Ada] Contracts on protected entries and task units - - - - --- 2015-10-26 Arnaud Charlet New
[Ada] Contracts on imported subprograms - - - - --- 2012-07-17 Arnaud Charlet New
[Ada] Contract_Cases on entries - - - - --- 2015-11-12 Arnaud Charlet New
[Ada] Continued work on adding tags for warning messages - - - - --- 2013-01-02 Arnaud Charlet New
[Ada] Continue decontruction of SPARK frontend cross-references [Ada] Continue decontruction of SPARK frontend cross-references - - - - --- 2017-11-08 Pierre-Marie de Rodat New
[Ada] Containment of finalization actions in short circuit operators - - - - --- 2013-10-17 Arnaud Charlet New
[Ada] Container Indexing over a derived container type - - - - --- 2014-07-18 Arnaud Charlet New
[Ada] Constraints on class-wide types are ignored - - - - --- 2013-09-10 Arnaud Charlet New
[Ada] Constraint_Error raised for slice indexed by logical negation with -gnato - - - - --- 2011-09-02 Arnaud Charlet New
[Ada] Constraint_Error on spurious ambiguity in instance - - - - --- 2016-04-20 Arnaud Charlet New
[Ada] Constraint_Error on spurious ambiguity in instance - - - - --- 2016-04-20 Arnaud Charlet New
[Ada] Constraint_Error in Task_Wrapper and -u0 [Ada] Constraint_Error in Task_Wrapper and -u0 - - - - --- 2020-11-26 Pierre-Marie de Rodat New
[Ada] Constraint is ignored on constrained access record component [Ada] Constraint is ignored on constrained access record component - - - - --- 2019-12-12 Pierre-Marie de Rodat New
[Ada] Constraint checks on exit from function calls with out parameters - - - - --- 2011-11-21 Arnaud Charlet New
[Ada] Constants without variable input are not hidden state - - - - --- 2015-05-22 Arnaud Charlet New
[Ada] Constants no longer synchronised if they are access-to-variable [Ada] Constants no longer synchronised if they are access-to-variable - - - - --- 2020-10-16 Pierre-Marie de Rodat New
[Ada] Constants are non-static if they fail a predicate check - - - - --- 2014-07-18 Arnaud Charlet New
[Ada] Constants and hidden state - - - - --- 2015-05-22 Arnaud Charlet New
[Ada] Constant-folding and mutable discriminants - - - - --- 2010-08-05 Arnaud Charlet New
[Ada] Constant-folding and discriminants - - - - --- 2010-09-09 Arnaud Charlet New
[Ada] Consistently use explicit Entity_Id type instead of alias [Ada] Consistently use explicit Entity_Id type instead of alias - - - - --- 2020-11-25 Pierre-Marie de Rodat New
[Ada] Consistently use Validated_View for Valid_Scalars on records [Ada] Consistently use Validated_View for Valid_Scalars on records - - - - --- 2021-06-30 Pierre-Marie de Rodat New
[Ada] Consistently generate debug info for elaboration variables [Ada] Consistently generate debug info for elaboration variables - - - - --- 2021-05-21 Eric Botcazou New
[Ada] Consistent wording for missing -gnat2020 switch [Ada] Consistent wording for missing -gnat2020 switch - - - - --- 2020-12-17 Pierre-Marie de Rodat New
[Ada] Consistent tree decoration to import C++ classes - - - - --- 2012-07-17 Arnaud Charlet New
[Ada] Consistent target names - - - - --- 2011-11-23 Arnaud Charlet New
[Ada] Consistent suppression for warnings inside null loops [Ada] Consistent suppression for warnings inside null loops - - - - --- 2022-01-07 Pierre-Marie de Rodat New
« 1 2 ... 713 714 715 … 1266 1267 »