Show patches with: State = Action Required       |    Archived = No       |   127406 patches
« 1 2 ... 573 574 575 … 1274 1275 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Handle malformed command line on Win32 [Ada] Handle malformed command line on Win32 - - - - --- 2021-07-06 Pierre-Marie de Rodat New
[Ada] Handle new At_End expansion during unnesting [Ada] Handle new At_End expansion during unnesting - - - - --- 2022-09-06 Marc Poulhiès New
[Ada] Handle new inequality errors in Ada 2012 more completely - - - - --- 2014-01-22 Arnaud Charlet New
[Ada] Handle non-default C++ constructor call of non-tagged type - - - - --- 2011-09-01 Arnaud Charlet New
[Ada] Handle non-standard booleans in if_expression condition [Ada] Handle non-standard booleans in if_expression condition - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Handle others better for string aggregates - - - - --- 2013-04-11 Arnaud Charlet New
[Ada] Handle pragmas that come from aspects for GNATprove [Ada] Handle pragmas that come from aspects for GNATprove - - - - --- 2018-08-21 Pierre-Marie de Rodat New
[Ada] Handle properly user_defined literals given by operators. [Ada] Handle properly user_defined literals given by operators. - - - - --- 2021-10-04 Pierre-Marie de Rodat New
[Ada] Handle range check for float Pre/Succ attributes - - - - --- 2014-06-13 Arnaud Charlet New
[Ada] Handle secondary stack memory allocations alignment [Ada] Handle secondary stack memory allocations alignment - - - - --- 2022-07-06 Pierre-Marie de Rodat New
[Ada] Handle some warning situations with Address aspect - - - - --- 2013-10-10 Arnaud Charlet New
[Ada] Handling of (illegal) null record unchecked union - - - - --- 2012-06-12 Arnaud Charlet New
[Ada] Handling of -vPx with incorrect x - - - - --- 2012-10-01 Arnaud Charlet New
[Ada] Handling of Default_Storage_Pool in generics and instantiations. - - - - --- 2014-10-31 Arnaud Charlet New
[Ada] Handling of Invariant aspect on type completions - - - - --- 2012-10-05 Arnaud Charlet New
[Ada] Handling of SPARK aspects/pragmas on subprogram body stubs - - - - --- 2014-02-25 Arnaud Charlet New
[Ada] Handling of all-digits host names - - - - --- 2016-06-20 Arnaud Charlet New
[Ada] Handling of attribute definition clauses for ASIS with GNSA - - - - --- 2016-05-02 Arnaud Charlet New
[Ada] Handling of child instances within a sibling - - - - --- 2010-09-09 Arnaud Charlet New
[Ada] Handling of deferred references with nested prefixed calls - - - - --- 2014-05-21 Arnaud Charlet New
[Ada] Handling of elaboration warnings [Ada] Handling of elaboration warnings - - - - --- 2017-11-16 Pierre-Marie de Rodat New
[Ada] Handling of function calls to predefined operators in ASIS - - - - --- 2014-11-20 Arnaud Charlet New
[Ada] Handling of generalized indexing in ASIS - - - - --- 2014-02-24 Arnaud Charlet New
[Ada] Handling of implicit dereference in instantiations - - - - --- 2014-10-31 Arnaud Charlet New
[Ada] Handling of implicit dereferences in generic units. - - - - --- 2010-06-14 Arnaud Charlet New
[Ada] Handling of inherited and explicit postconditions [Ada] Handling of inherited and explicit postconditions - - - - --- 2017-09-06 Arnaud Charlet New
[Ada] Handling of library unit renamings in with_clauses - - - - --- 2012-02-22 Arnaud Charlet New
[Ada] Handling of null refinements in aspect/pragma Refined_Global - - - - --- 2013-10-14 Arnaud Charlet New
[Ada] Handling of object declarations with aggregates and specified alignment. - - - - --- 2015-05-12 Arnaud Charlet New
[Ada] Handling of overloaded indexing functions - - - - --- 2015-11-13 Arnaud Charlet New
[Ada] Handling of pragma Predicate [Ada] Handling of pragma Predicate - - - - --- 2018-01-11 Pierre-Marie de Rodat New
[Ada] Handling of pragma Preelaborable_Initialization for generic types - - - - --- 2010-10-22 Arnaud Charlet New
[Ada] Handling of predicate type errors in generics - - - - --- 2010-10-22 Arnaud Charlet New
[Ada] Handling up-level references in loops within library-level declarations [Ada] Handling up-level references in loops within library-level declarations - - - - --- 2019-10-10 Pierre-Marie de Rodat New
[Ada] Handling up-level references in protected entries and freeze nodes [Ada] Handling up-level references in protected entries and freeze nodes - - - - --- 2019-12-12 Pierre-Marie de Rodat New
[Ada] Hang on compilation of unit with type extension in body [Ada] Hang on compilation of unit with type extension in body - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Hang on cond expression as actual for anonymous access formal [Ada] Hang on cond expression as actual for anonymous access formal - - - - --- 2020-10-20 Pierre-Marie de Rodat New
[Ada] Hang on conditional expression as actual [Ada] Hang on conditional expression as actual - - - - --- 2020-07-07 Pierre-Marie de Rodat New
[Ada] Hang on expansion of library-level instantiation [Ada] Hang on expansion of library-level instantiation - - - - --- 2019-07-04 Pierre-Marie de Rodat New
[Ada] Hang on generic declaration with ambiguous formal package [Ada] Hang on generic declaration with ambiguous formal package - - - - --- 2020-07-06 Pierre-Marie de Rodat New
[Ada] Hang on loop in generic with subtype indication specifying a range [Ada] Hang on loop in generic with subtype indication specifying a range - - - - --- 2019-08-12 Pierre-Marie de Rodat New
[Ada] Hashed container Cursor type predefined equality non-conformance [Ada] Hashed container Cursor type predefined equality non-conformance - - - - --- 2021-04-28 Pierre-Marie de Rodat New
[Ada] Heap objects constrained by their initial value - - - - --- 2010-06-14 Arnaud Charlet New
[Ada] Help the backend to identify safe-to-reevaluate variables - - - - --- 2011-08-02 Arnaud Charlet New
[Ada] Hidden state detection - - - - --- 2013-04-25 Arnaud Charlet New
[Ada] Housekeeping work in gigi - - - - --- 2016-01-18 Eric Botcazou New
[Ada] Housekeeping work in gigi - - - - --- 2015-09-14 Eric Botcazou New
[Ada] Housekeeping work in gigi - - - - --- 2015-06-26 Eric Botcazou New
[Ada] Housekeeping work in gigi (29/n) - - - - --- 2010-09-19 Eric Botcazou New
[Ada] Housekeeping work in gigi (30/n) - - - - --- 2010-10-09 Eric Botcazou New
[Ada] Housekeeping work in gigi (31/n) - - - - --- 2011-07-24 Eric Botcazou New
[Ada] Housekeeping work in gigi (32/n) - - - - --- 2011-08-30 Eric Botcazou New
[Ada] Housekeeping work in gigi (33/n) - - - - --- 2011-09-11 Eric Botcazou New
[Ada] Housekeeping work in gigi (34/n) - - - - --- 2011-09-11 Eric Botcazou New
[Ada] Housekeeping work in gigi (35/n) - - - - --- 2011-09-11 Eric Botcazou New
[Ada] Housekeeping work in gigi (36/n) - - - - --- 2011-09-25 Eric Botcazou New
[Ada] Housekeeping work in gigi (37/n) - - - - --- 2011-09-26 Eric Botcazou New
[Ada] Housekeeping work in gigi (38/n) - - - - --- 2011-09-26 Eric Botcazou New
[Ada] Housekeeping work in gigi (39/n) - - - - --- 2011-10-12 Eric Botcazou New
[Ada] Housekeeping work in gigi (40/n) - - - - --- 2011-10-20 Eric Botcazou New
[Ada] Housekeeping work in gigi (41/n) - - - - --- 2011-11-20 Eric Botcazou New
[Ada] Housekeeping work in gigi (bis) - - - - --- 2016-01-18 Eric Botcazou New
[Ada] ICE during unnesting when nested subprograms have address taken [Ada] ICE during unnesting when nested subprograms have address taken - - - - --- 2020-06-02 Pierre-Marie de Rodat New
[Ada] ICE handling discriminant-dependent index constraint for access component [Ada] ICE handling discriminant-dependent index constraint for access component - - - - --- 2022-09-06 Marc Poulhiès 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] If-expressions and the capture of local values - - - - --- 2013-04-11 Arnaud Charlet New
[Ada] Ignore Optimize_Alignment (Space) for packed variable length record - - - - --- 2012-10-29 Arnaud Charlet New
[Ada] Ignore Optimize_Alignment (Space) for packed variable length record - - - - --- 2012-10-29 Arnaud Charlet New
[Ada] Ignore Predicate_Failure in GNATprove mode [Ada] Ignore Predicate_Failure in GNATprove mode - - - - --- 2022-05-19 Pierre-Marie de Rodat New
[Ada] Ignore again errors when running gen_il-main [Ada] Ignore again errors when running gen_il-main - - - - --- 2021-06-30 Pierre-Marie de Rodat New
[Ada] Ignore both Global and Refined_Global in CodePeer mode [Ada] Ignore both Global and Refined_Global in CodePeer mode - - - - --- 2017-09-12 Arnaud Charlet New
[Ada] Ignore container types for aggregates if not in Ada_2020 [Ada] Ignore container types for aggregates if not in Ada_2020 - - - - --- 2020-10-23 Pierre-Marie de Rodat New
[Ada] Ignore exceptions in task termination handlers [Ada] Ignore exceptions in task termination handlers - - - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Ignore external calls from instances for elaboration [Ada] Ignore external calls from instances for elaboration - - - - --- 2017-12-15 Pierre-Marie de Rodat New
[Ada] Ignore file and unit names when collecting SPARK cross-references [Ada] Ignore file and unit names when collecting SPARK cross-references - - - - --- 2017-11-08 Pierre-Marie de Rodat New
[Ada] Ignore missing ALI files in GNATprove mode [Ada] Ignore missing ALI files in GNATprove mode - - - - --- 2019-09-17 Pierre-Marie de Rodat New
[Ada] Ignore pragmas Compile_Time_Error/Warning in GNATprove mode [Ada] Ignore pragmas Compile_Time_Error/Warning in GNATprove mode - - - - --- 2018-10-09 Pierre-Marie de Rodat New
[Ada] Ignore pragmas Inline/Inline_Always in GNATprove mode - - - - --- 2014-10-23 Arnaud Charlet New
[Ada] Ignore pragmas when looking for unreachable code - - - - --- 2012-04-26 Arnaud Charlet New
[Ada] Ignore references to renamed Standard constants in Alfa mode - - - - --- 2011-09-19 Arnaud Charlet New
[Ada] Ignore subprogram address in ownership checking [Ada] Ignore subprogram address in ownership checking - - - - --- 2019-08-21 Pierre-Marie de Rodat New
[Ada] Ignore switches for controlling frontend warnings in GNATprove mode [Ada] Ignore switches for controlling frontend warnings in GNATprove mode - - - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Ignore volatile restrictions in preanalysis [Ada] Ignore volatile restrictions in preanalysis - - - - --- 2021-06-16 Pierre-Marie de Rodat New
[Ada] Ignore_Pragma causes errors in the run-time system - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Illegal call on abstract operator - - - - --- 2011-12-12 Arnaud Charlet New
[Ada] Illegal calls in entry call alternatives - - - - --- 2012-11-06 Arnaud Charlet New
[Ada] Illegal component clause for inherited component in extension - - - - --- 2013-01-03 Arnaud Charlet New
[Ada] Illegal constituent in state refinement - - - - --- 2013-10-17 Arnaud Charlet New
[Ada] Illegal copy of limited object [Ada] Illegal copy of limited object - - - - --- 2018-05-31 Pierre-Marie de Rodat New
[Ada] Illegal declarations of deferred constants - - - - --- 2014-10-23 Arnaud Charlet New
[Ada] Illegal deferred constant causes stack overflow [Ada] Illegal deferred constant causes stack overflow - - - - --- 2018-07-16 Pierre-Marie de Rodat New
[Ada] Illegal external aspects not detected - - - - --- 2014-07-30 Arnaud Charlet New
[Ada] Illegal formal objects associated with anonymous acc-to-subp args [Ada] Illegal formal objects associated with anonymous acc-to-subp args - - - - --- 2018-09-26 Pierre-Marie de Rodat New
[Ada] Illegal forward reference in pragma Postcondition - - - - --- 2013-01-02 Arnaud Charlet New
[Ada] Illegal iterators over arrays - - - - --- 2011-09-05 Arnaud Charlet New
[Ada] Illegal limited function call accepted in a type conversion [Ada] Illegal limited function call accepted in a type conversion - - - - --- 2019-08-20 Pierre-Marie de Rodat New
[Ada] Illegal overriding indicators not flagged for procedure named Initialize - - - - --- 2016-10-12 Arnaud Charlet New
[Ada] Illegal prefix in array attributes - - - - --- 2013-01-02 Arnaud Charlet New
[Ada] Illegal program not detected, self renames, PR15846 - - - - --- 2012-01-24 Arnaud Charlet New
[Ada] Illegal program not detected, self renames, PR15846 - - - - --- 2012-01-11 coopht@gmail.com New
« 1 2 ... 573 574 575 … 1274 1275 »