Show patches with: Archived = No       |   126714 patches
« 1 2 ... 670 671 672 … 1267 1268 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Spurious output on optimized default-initialized limited aggregate - - - - --- 2014-10-20 Arnaud Charlet 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] Spurious non-callable warning on prefixed call in class condition [Ada] Spurious non-callable warning on prefixed call in class condition - - - - --- 2022-07-06 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] Spurious inlining error with function completed by an expression function - - - - --- 2016-04-18 Arnaud Charlet New
[Ada] Spurious initialization of element iterators in "for of" loops [Ada] Spurious initialization of element iterators in "for of" loops - - - - --- 2021-07-06 Pierre-Marie de Rodat New
[Ada] Spurious ineffective with clause warnings on use type clause [Ada] Spurious ineffective with clause warnings on use type clause - - - - --- 2020-06-03 Pierre-Marie de Rodat New
[Ada] Spurious ineffective use_type_clause warning on private type [Ada] Spurious ineffective use_type_clause warning on private type - - - - --- 2017-10-14 Pierre-Marie de Rodat New
[Ada] Spurious ineffective use_clause warning on use in boolean condition [Ada] Spurious ineffective use_clause warning on use in boolean condition - - - - --- 2017-11-16 Pierre-Marie de Rodat New
[Ada] Spurious ineffective use_clause warning on class-wide type [Ada] Spurious ineffective use_clause warning on class-wide type - - - - --- 2017-11-08 Pierre-Marie de Rodat New
[Ada] Spurious ineffective use_clause warning [Ada] Spurious ineffective use_clause warning - - - - --- 2017-10-20 Pierre-Marie de Rodat New
[Ada] Spurious ineffective use_clause warning [Ada] Spurious ineffective use_clause warning - - - - --- 2018-09-26 Pierre-Marie de Rodat New
[Ada] Spurious ineffective use_clause warning [Ada] Spurious ineffective use_clause warning - - - - --- 2019-09-18 Pierre-Marie de Rodat New
[Ada] Spurious errors with generalized iterators - - - - --- 2016-04-21 Arnaud Charlet New
[Ada] Spurious errors with complex slice expression - - - - --- 2011-08-02 Arnaud Charlet New
[Ada] Spurious errors with -gnatE and -gnatwl - - - - --- 2015-10-26 Arnaud Charlet New
[Ada] Spurious errors on tagged types with renamed subprograms [Ada] Spurious errors on tagged types with renamed subprograms - - - - --- 2020-10-23 Pierre-Marie de Rodat New
[Ada] Spurious errors on tag indeterminate calls. - - - - --- 2016-04-18 Arnaud Charlet New
[Ada] Spurious errors on instances of formal packages with defaults. - - - - --- 2016-10-12 Arnaud Charlet New
[Ada] Spurious errors on inherited class-wide preconditions - - - - --- 2016-07-07 Arnaud Charlet New
[Ada] Spurious errors on extension aggregate for limited type - - - - --- 2014-11-20 Arnaud Charlet New
[Ada] Spurious errors on dynamic predicates and private declarations. [Ada] Spurious errors on dynamic predicates and private declarations. - - - - --- 2017-09-07 Arnaud Charlet New
[Ada] Spurious errors on derived untagged types with partial constraints [Ada] Spurious errors on derived untagged types with partial constraints - - - - --- 2017-09-06 Arnaud Charlet New
[Ada] Spurious errors on aspect specifications in generic units [Ada] Spurious errors on aspect specifications in generic units - - - - --- 2018-12-11 Pierre-Marie de Rodat New
[Ada] Spurious errors on aggregates in instances - - - - --- 2011-08-31 Arnaud Charlet New
[Ada] Spurious error with unqualified aggregate in instantiation. [Ada] Spurious error with unqualified aggregate in instantiation. - - - - --- 2017-09-18 Pierre-Marie de Rodat New
[Ada] Spurious error with static predicate in generic unit [Ada] Spurious error with static predicate in generic unit - - - - --- 2019-07-03 Pierre-Marie de Rodat New
[Ada] Spurious error with private overriding of overloaded subprogram [Ada] Spurious error with private overriding of overloaded subprogram - - - - --- 2017-12-05 Pierre-Marie de Rodat New
[Ada] Spurious error with predicate on type derived from unconstrained array - - - - --- 2016-06-22 Arnaud Charlet New
[Ada] Spurious error with predicate and class-wide object [Ada] Spurious error with predicate and class-wide object - - - - --- 2017-10-09 Pierre-Marie de Rodat New
[Ada] Spurious error with pragma Thread_Local_Storage [Ada] Spurious error with pragma Thread_Local_Storage - - - - --- 2018-12-11 Pierre-Marie de Rodat New
[Ada] Spurious error with overloaded operation and exponention operand - - - - --- 2011-08-29 Arnaud Charlet New
[Ada] Spurious error with null Abstract_State [Ada] Spurious error with null Abstract_State - - - - --- 2018-07-16 Pierre-Marie de Rodat New
[Ada] Spurious error with formal incomplete types [Ada] Spurious error with formal incomplete types - - - - --- 2017-09-06 Arnaud Charlet New
[Ada] Spurious error with expression function returning anonymous access [Ada] Spurious error with expression function returning anonymous access - - - - --- 2017-10-09 Pierre-Marie de Rodat New
[Ada] Spurious error with component of unchecked_union type [Ada] Spurious error with component of unchecked_union type - - - - --- 2021-05-07 Pierre-Marie de Rodat New
[Ada] Spurious error when using current instance of type [Ada] Spurious error when using current instance of type - - - - --- 2022-01-06 Pierre-Marie de Rodat New
[Ada] Spurious error when instance of generic is used as formal package [Ada] Spurious error when instance of generic is used as formal package - - - - --- 2019-07-09 Pierre-Marie de Rodat New
[Ada] Spurious error reported by pragma Compile_Time_Error [Ada] Spurious error reported by pragma Compile_Time_Error - - - - --- 2019-07-08 Pierre-Marie de Rodat New
[Ada] Spurious error private subtype derivation [Ada] Spurious error private subtype derivation - - - - --- 2019-07-01 Pierre-Marie de Rodat New
[Ada] Spurious error passing access to class-wide interface type [Ada] Spurious error passing access to class-wide interface type - - - - --- 2019-07-22 Pierre-Marie de Rodat New
[Ada] Spurious error on withed Ghost unit - - - - --- 2016-07-06 Arnaud Charlet New
[Ada] Spurious error on variable in private child package body - - - - --- 2016-04-27 Arnaud Charlet New
[Ada] Spurious error on user-defined literal and operator [Ada] Spurious error on user-defined literal and operator - - - - --- 2021-10-25 Pierre-Marie de Rodat New
[Ada] Spurious error on unused Part_Of constituent [Ada] Spurious error on unused Part_Of constituent - - - - --- 2018-07-17 Pierre-Marie de Rodat New
[Ada] Spurious error on the placement of aspect Global [Ada] Spurious error on the placement of aspect Global - - - - --- 2018-07-31 Pierre-Marie de Rodat New
[Ada] Spurious error on synchronous refinement [Ada] Spurious error on synchronous refinement - - - - --- 2018-05-21 Pierre-Marie de Rodat New
[Ada] Spurious error on subtypes of private tagged types - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Spurious error on renaming of type conversion with invariant. - - - - --- 2016-10-12 Arnaud Charlet New
[Ada] Spurious error on referene to subcoponrnt in dynamic predicate [Ada] Spurious error on referene to subcoponrnt in dynamic predicate - - - - --- 2018-01-11 Pierre-Marie de Rodat New
[Ada] Spurious error on read of out parameter in Ada_83 mode [Ada] Spurious error on read of out parameter in Ada_83 mode - - - - --- 2017-11-09 Pierre-Marie de Rodat New
[Ada] Spurious error on qualified prefix in Pack.Func'Result [Ada] Spurious error on qualified prefix in Pack.Func'Result - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Spurious error on protected call in inherited postcondition [Ada] Spurious error on protected call in inherited postcondition - - - - --- 2021-05-07 Pierre-Marie de Rodat New
[Ada] Spurious error on private type in ghost expression function [Ada] Spurious error on private type in ghost expression function - - - - --- 2020-06-19 Pierre-Marie de Rodat New
[Ada] Spurious error on private task derivation [Ada] Spurious error on private task derivation - - - - --- 2018-05-24 Pierre-Marie de Rodat New
[Ada] Spurious error on private subtype of derived access type [Ada] Spurious error on private subtype of derived access type - - - - --- 2019-07-22 Pierre-Marie de Rodat New
[Ada] Spurious error on private extension with predicate [Ada] Spurious error on private extension with predicate - - - - --- 2018-09-26 Pierre-Marie de Rodat New
[Ada] Spurious error on prefixed call in an instantiation [Ada] Spurious error on prefixed call in an instantiation - - - - --- 2018-07-17 Pierre-Marie de Rodat New
[Ada] Spurious error on predicate of subtype in generic [Ada] Spurious error on predicate of subtype in generic - - - - --- 2019-07-03 Pierre-Marie de Rodat New
[Ada] Spurious error on predicate of local private type. - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Spurious error on pragma Unreferenced [Ada] Spurious error on pragma Unreferenced - - - - --- 2017-11-09 Pierre-Marie de Rodat New
[Ada] Spurious error on pragma Independent_Components [Ada] Spurious error on pragma Independent_Components - - - - --- 2018-05-24 Pierre-Marie de Rodat New
[Ada] Spurious error on partial parameterization [Ada] Spurious error on partial parameterization - - - - --- 2017-10-20 Pierre-Marie de Rodat New
[Ada] Spurious error on parameterless acccess_to_subprogram [Ada] Spurious error on parameterless acccess_to_subprogram - - - - --- 2020-07-10 Pierre-Marie de Rodat New
[Ada] Spurious error on overriding protected function in instance [Ada] Spurious error on overriding protected function in instance - - - - --- 2018-08-21 Pierre-Marie de Rodat New
[Ada] Spurious error on overriding of privately inherited primitive [Ada] Spurious error on overriding of privately inherited primitive - - - - --- 2017-11-08 Pierre-Marie de Rodat New
[Ada] Spurious error on overriding controlled primitive [Ada] Spurious error on overriding controlled primitive - - - - --- 2019-12-13 Pierre-Marie de Rodat New
[Ada] Spurious error on overloaded equality in postcondition [Ada] Spurious error on overloaded equality in postcondition - - - - --- 2019-07-10 Pierre-Marie de Rodat New
[Ada] Spurious error on non-default C++ constructor [Ada] Spurious error on non-default C++ constructor - - - - --- 2019-07-04 Pierre-Marie de Rodat New
[Ada] Spurious error on nested instantiation [Ada] Spurious error on nested instantiation - - - - --- 2019-08-13 Pierre-Marie de Rodat New
[Ada] Spurious error on missing SPARK_Mode annotation with inlining - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Spurious error on local instantiation of pure generic unit - - - - --- 2014-10-10 Arnaud Charlet New
[Ada] Spurious error on legal use of abstract state constituent - - - - --- 2015-10-27 Arnaud Charlet New
[Ada] Spurious error on legal synchronized constituent [Ada] Spurious error on legal synchronized constituent - - - - --- 2018-05-30 Pierre-Marie de Rodat New
[Ada] Spurious error on iterator over container with modified private part [Ada] Spurious error on iterator over container with modified private part - - - - --- 2020-11-30 Pierre-Marie de Rodat New
[Ada] Spurious error on interface conversion under ZFP [Ada] Spurious error on interface conversion under ZFP - - - - --- 2018-09-26 Pierre-Marie de Rodat New
[Ada] Spurious error on instantiations with Taft_Amendment types and tasks [Ada] Spurious error on instantiations with Taft_Amendment types and tasks - - - - --- 2020-06-09 Pierre-Marie de Rodat New
[Ada] Spurious error on instantiation with type with unknown discriminants [Ada] Spurious error on instantiation with type with unknown discriminants - - - - --- 2018-05-23 Pierre-Marie de Rodat New
[Ada] Spurious error on instantiation and limited_with_clause [Ada] Spurious error on instantiation and limited_with_clause - - - - --- 2019-07-04 Pierre-Marie de Rodat New
[Ada] Spurious error on instance with predicated actual [Ada] Spurious error on instance with predicated actual - - - - --- 2020-11-25 Pierre-Marie de Rodat New
[Ada] Spurious error on inst. of partially defaulted formal package [Ada] Spurious error on inst. of partially defaulted formal package - - - - --- 2019-07-01 Pierre-Marie de Rodat New
[Ada] Spurious error on indexed call as prefix of a call [Ada] Spurious error on indexed call as prefix of a call - - - - --- 2018-05-21 Pierre-Marie de Rodat New
[Ada] Spurious error on incomplete tagged formal parameter [Ada] Spurious error on incomplete tagged formal parameter - - - - --- 2019-07-04 Pierre-Marie de Rodat New
[Ada] Spurious error on imported subprogram with precondition [Ada] Spurious error on imported subprogram with precondition - - - - --- 2018-05-24 Pierre-Marie de Rodat New
[Ada] Spurious error on freezing of tagged types in SPARK [Ada] Spurious error on freezing of tagged types in SPARK - - - - --- 2022-05-18 Pierre-Marie de Rodat New
[Ada] Spurious error on formal package with overloaded subprograms [Ada] Spurious error on formal package with overloaded subprograms - - - - --- 2020-11-26 Pierre-Marie de Rodat New
[Ada] Spurious error on formal package with Inline_Always [Ada] Spurious error on formal package with Inline_Always - - - - --- 2017-09-08 Arnaud Charlet New
[Ada] Spurious error on fixed-point operation whose operands are expressions [Ada] Spurious error on fixed-point operation whose operands are expressions - - - - --- 2018-05-25 Pierre-Marie de Rodat New
[Ada] Spurious error on equality operator on incomplete type [Ada] Spurious error on equality operator on incomplete type - - - - --- 2017-12-15 Pierre-Marie de Rodat New
[Ada] Spurious error on early call region of tagged type [Ada] Spurious error on early call region of tagged type - - - - --- 2018-05-21 Pierre-Marie de Rodat New
[Ada] Spurious error on dynamic predicate in a generic context [Ada] Spurious error on dynamic predicate in a generic context - - - - --- 2019-07-03 Pierre-Marie de Rodat New
[Ada] Spurious error on discriminant of incomplete type [Ada] Spurious error on discriminant of incomplete type - - - - --- 2019-07-10 Pierre-Marie de Rodat New
[Ada] Spurious error on derived type with unknown discriminants and predicate - - - - --- 2016-06-22 Arnaud Charlet New
[Ada] Spurious error on dependent expression that is an array [Ada] Spurious error on dependent expression that is an array - - - - --- 2018-12-03 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] Spurious error on deferred constant in expression function - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Spurious error on default parameter in protected operation [Ada] Spurious error on default parameter in protected operation - - - - --- 2018-07-31 Pierre-Marie de Rodat New
[Ada] Spurious error on convention of anonymous access-to-subprogram type - - - - --- 2017-01-23 Arnaud Charlet New
[Ada] Spurious error on container instantiation with predicated array type - - - - --- 2016-07-06 Arnaud Charlet New
[Ada] Spurious error on container indexing that is in-out parameter in call - - - - --- 2017-04-25 Arnaud Charlet New
« 1 2 ... 670 671 672 … 1267 1268 »