Show patches with: Submitter = Pierre-Marie de Rodat       |    State = Action Required       |    Archived = No       |   3078 patches
« 1 2 ... 19 20 21 … 30 31 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Fix assertion failure on entry call through unchecked conversion [Ada] Fix assertion failure on entry call through unchecked conversion - - - - --- 2020-06-11 Pierre-Marie de Rodat New
[Ada] Iterate with procedural version of Next routine where possible [Ada] Iterate with procedural version of Next routine where possible - - - - --- 2020-06-11 Pierre-Marie de Rodat New
[Ada] Fix wrong access to large bit-packed arrays with reverse SSO [Ada] Fix wrong access to large bit-packed arrays with reverse SSO - - - - --- 2020-06-11 Pierre-Marie de Rodat New
[Ada] Avoid "others => <>" association in resolved record aggregates [Ada] Avoid "others => <>" association in resolved record aggregates - - - - --- 2020-06-11 Pierre-Marie de Rodat New
[Ada] Generate predicate checks for on assignments in records [Ada] Generate predicate checks for on assignments in records - - - - --- 2020-06-11 Pierre-Marie de Rodat New
[Ada] Put_Image attribute [Ada] Put_Image attribute - - - - --- 2020-06-11 Pierre-Marie de Rodat New
[Ada] Move duplicated routines for building itypes to Sem_Util [Ada] Move duplicated routines for building itypes to Sem_Util - - - - --- 2020-06-11 Pierre-Marie de Rodat New
[Ada] Remove a dubious optimization for Object Specific Data dispatching [Ada] Remove a dubious optimization for Object Specific Data dispatching - - - - --- 2020-06-11 Pierre-Marie de Rodat New
[Ada] Simplify iteration over formal parameters for aliasing error [Ada] Simplify iteration over formal parameters for aliasing error - - - - --- 2020-06-11 Pierre-Marie de Rodat New
[Ada] AI12-0356 Root_Storage_Pool_With_Subpools & Preelaborable_Init [Ada] AI12-0356 Root_Storage_Pool_With_Subpools & Preelaborable_Init - - - - --- 2020-06-11 Pierre-Marie de Rodat New
[Ada] Fix unnesting crash with Predicate_Failure/no pred [Ada] Fix unnesting crash with Predicate_Failure/no pred - - - - --- 2020-06-11 Pierre-Marie de Rodat New
[Ada] Make Object Specific Dispatch tables constant [Ada] Make Object Specific Dispatch tables constant - - - - --- 2020-06-11 Pierre-Marie de Rodat New
[Ada] Refine type for sorting case-choices tables [Ada] Refine type for sorting case-choices tables - - - - --- 2020-06-11 Pierre-Marie de Rodat New
[Ada] Skip unnecessary iterations over constraint expressions [Ada] Skip unnecessary iterations over constraint expressions - - - - --- 2020-06-11 Pierre-Marie de Rodat 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] Put_Image attribute [Ada] Put_Image attribute - - - - --- 2020-06-11 Pierre-Marie de Rodat New
[Ada] Missing accessibility error on object in type conversion [Ada] Missing accessibility error on object in type conversion - - - - --- 2020-06-11 Pierre-Marie de Rodat New
[Ada] Remove useless code in Backend_Processing_Possible [Ada] Remove useless code in Backend_Processing_Possible - - - - --- 2020-06-11 Pierre-Marie de Rodat New
[Ada] Ada 202x AI12-0192 "requires late initialization" [Ada] Ada 202x AI12-0192 "requires late initialization" - - - - --- 2020-06-10 Pierre-Marie de Rodat New
[Ada] Ada_2020 AI12-0220: Pre/Postconditions on Access_To_Subprogram types [Ada] Ada_2020 AI12-0220: Pre/Postconditions on Access_To_Subprogram types - - - - --- 2020-06-10 Pierre-Marie de Rodat New
[Ada] Remove obsolete code in Resolve_Call [Ada] Remove obsolete code in Resolve_Call - - - - --- 2020-06-10 Pierre-Marie de Rodat New
[Ada] Add missing Sloc on new explicit dereferences [Ada] Add missing Sloc on new explicit dereferences - - - - --- 2020-06-10 Pierre-Marie de Rodat New
[Ada] Insert explicit dereferences when building actual subtype [Ada] Insert explicit dereferences when building actual subtype - - - - --- 2020-06-10 Pierre-Marie de Rodat New
[Ada] Implement AI12-0162 Memberships and Unchecked_Unions [Ada] Implement AI12-0162 Memberships and Unchecked_Unions - - - - --- 2020-06-10 Pierre-Marie de Rodat New
[Ada] Revert workaround for expansion of Enum_Rep in GNATprove mode [Ada] Revert workaround for expansion of Enum_Rep in GNATprove mode - - - - --- 2020-06-10 Pierre-Marie de Rodat New
[Ada] AI12-0311 New checks for language-defined units [Ada] AI12-0311 New checks for language-defined units - - - - --- 2020-06-10 Pierre-Marie de Rodat New
[Ada] Fold Enum_Rep attribute in evaluation and not in expansion [Ada] Fold Enum_Rep attribute in evaluation and not in expansion - - - - --- 2020-06-10 Pierre-Marie de Rodat New
[Ada] Disable unwanted warnings in Assertion_Policy(Ignore) mode [Ada] Disable unwanted warnings in Assertion_Policy(Ignore) mode - - - - --- 2020-06-10 Pierre-Marie de Rodat New
[Ada] Additional warnings on overlapping actuals of composite types [Ada] Additional warnings on overlapping actuals of composite types - - - - --- 2020-06-10 Pierre-Marie de Rodat New
[Ada] Don't build equivalent record aggregate if type has predicates [Ada] Don't build equivalent record aggregate if type has predicates - - - - --- 2020-06-10 Pierre-Marie de Rodat New
[Ada] Remove unreferenced GNATprove utility routine Get_Low_Bound [Ada] Remove unreferenced GNATprove utility routine Get_Low_Bound - - - - --- 2020-06-10 Pierre-Marie de Rodat New
[Ada] Fix assertion failure on functions with contracts [Ada] Fix assertion failure on functions with contracts - - - - --- 2020-06-10 Pierre-Marie de Rodat New
[Ada] Simplify detection of static membership choices [Ada] Simplify detection of static membership choices - - - - --- 2020-06-10 Pierre-Marie de Rodat New
[Ada] Classwide controlled obj not dispatching [Ada] Classwide controlled obj not dispatching - - - - --- 2020-06-10 Pierre-Marie de Rodat New
[Ada] Improve code generated for dynamic discriminated aggregate [Ada] Improve code generated for dynamic discriminated aggregate - - - - --- 2020-06-10 Pierre-Marie de Rodat New
[Ada] Fix incorrect insertion of post-call actions in if-expression [Ada] Fix incorrect insertion of post-call actions in if-expression - - - - --- 2020-06-10 Pierre-Marie de Rodat New
[Ada] Incorrect accessibility checks on functions calls [Ada] Incorrect accessibility checks on functions calls - - - - --- 2020-06-10 Pierre-Marie de Rodat New
[Ada] Reject illegal bodies for null procedures [Ada] Reject illegal bodies for null procedures - - - - --- 2020-06-10 Pierre-Marie de Rodat New
[Ada] Remove Determine_License [Ada] Remove Determine_License - - - - --- 2020-06-10 Pierre-Marie de Rodat New
[Ada] Propagate DIC, Invariant and Predicate attributes to views [Ada] Propagate DIC, Invariant and Predicate attributes to views - - - - --- 2020-06-09 Pierre-Marie de Rodat New
[Ada] Code clean ups and comments updates [Ada] Code clean ups and comments updates - - - - --- 2020-06-09 Pierre-Marie de Rodat New
[Ada] Ada2020 AI12-0282: Shared variable control aspects in generics [Ada] Ada2020 AI12-0282: Shared variable control aspects in generics - - - - --- 2020-06-09 Pierre-Marie de Rodat New
[Ada] Small enhancement in XEinfo utility [Ada] Small enhancement in XEinfo utility - - - - --- 2020-06-09 Pierre-Marie de Rodat New
[Ada] Remove kludge for AI05-0087 [Ada] Remove kludge for AI05-0087 - - - - --- 2020-06-09 Pierre-Marie de Rodat New
[Ada] Spurious overlap error on zero-sized arrays with -gnateV [Ada] Spurious overlap error on zero-sized arrays with -gnateV - - - - --- 2020-06-09 Pierre-Marie de Rodat New
[Ada] Small cleanup in Einfo unit [Ada] Small cleanup in Einfo unit - - - - --- 2020-06-09 Pierre-Marie de Rodat New
[Ada] Implement AI12-0028: Import of variadic C functions [Ada] Implement AI12-0028: Import of variadic C functions - - - - --- 2020-06-09 Pierre-Marie de Rodat New
[Ada] Expand more others aggregates statically [Ada] Expand more others aggregates statically - - - - --- 2020-06-09 Pierre-Marie de Rodat New
[Ada] Fix wrong type being used for range check generation [Ada] Fix wrong type being used for range check generation - - - - --- 2020-06-09 Pierre-Marie de Rodat New
[Ada] Missing check on private overriding of dispatching primitive [Ada] Missing check on private overriding of dispatching primitive - - - - --- 2020-06-09 Pierre-Marie de Rodat New
[Ada] Improve handling of null unbounded strings [Ada] Improve handling of null unbounded strings - - - - --- 2020-06-09 Pierre-Marie de Rodat New
[Ada] Improve handling of aggregates in Side_Effect_Free [Ada] Improve handling of aggregates in Side_Effect_Free - - - - --- 2020-06-09 Pierre-Marie de Rodat New
[Ada] Annotate Ada.Synchronous_Barriers with SPARK_Mode => Off [Ada] Annotate Ada.Synchronous_Barriers with SPARK_Mode => Off - - - - --- 2020-06-09 Pierre-Marie de Rodat New
[Ada] Membership test against a non-excluding subtype [Ada] Membership test against a non-excluding subtype - - - - --- 2020-06-09 Pierre-Marie de Rodat New
[Ada] Crash on exit statement within predicated loop [Ada] Crash on exit statement within predicated loop - - - - --- 2020-06-09 Pierre-Marie de Rodat New
[Ada] gnatbind: Correct assertions in Add_Edge_Kind_Check [Ada] gnatbind: Correct assertions in Add_Edge_Kind_Check - - - - --- 2020-06-09 Pierre-Marie de Rodat New
[Ada] Add debugging message [Ada] Add debugging message - - - - --- 2020-06-09 Pierre-Marie de Rodat New
[Ada] Disable assertion regarding Body_Before_Spec_Edge [Ada] Disable assertion regarding Body_Before_Spec_Edge - - - - --- 2020-06-09 Pierre-Marie de Rodat New
[Ada] Ada2020: AI12-0301 Predicates and Default_Value [Ada] Ada2020: AI12-0301 Predicates and Default_Value - - - - --- 2020-06-09 Pierre-Marie de Rodat New
[Ada] Ada2020 AI12-0282: Shared variable control aspects in generics [Ada] Ada2020 AI12-0282: Shared variable control aspects in generics - - - - --- 2020-06-09 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] Remove bypass for instance bodies from Is_Visible_Component [Ada] Remove bypass for instance bodies from Is_Visible_Component - - - - --- 2020-06-09 Pierre-Marie de Rodat New
[Ada] Refine implementation of AI05-0149 missing conversion checks [Ada] Refine implementation of AI05-0149 missing conversion checks - - - - --- 2020-06-09 Pierre-Marie de Rodat New
[Ada] Implement AI12-0073 (Ravenscar disallows Synchronous_Barriers) [Ada] Implement AI12-0073 (Ravenscar disallows Synchronous_Barriers) - - - - --- 2020-06-08 Pierre-Marie de Rodat New
[Ada] Port a modified expansion of Enum_Rep from GNAT to GNATprove [Ada] Port a modified expansion of Enum_Rep from GNAT to GNATprove - - - - --- 2020-06-08 Pierre-Marie de Rodat New
[Ada] Issue with unnesting of 'First/Last and renaming [Ada] Issue with unnesting of 'First/Last and renaming - - - - --- 2020-06-08 Pierre-Marie de Rodat New
[Ada] Fix handling of 'Enum_Rep and renamings [Ada] Fix handling of 'Enum_Rep and renamings - - - - --- 2020-06-08 Pierre-Marie de Rodat New
[Ada] Implement AI12-0291 (Jorvik profile) [Ada] Implement AI12-0291 (Jorvik profile) - - - - --- 2020-06-08 Pierre-Marie de Rodat New
[Ada] Remove the Has_Dynamic_Range_Check flag [Ada] Remove the Has_Dynamic_Range_Check flag - - - - --- 2020-06-08 Pierre-Marie de Rodat New
[Ada] AI12-0204 Renaming of a prefixed view [Ada] AI12-0204 Renaming of a prefixed view - - - - --- 2020-06-08 Pierre-Marie de Rodat New
[Ada] AI12-0085 Missing aspect cases for Remote_Types [Ada] AI12-0085 Missing aspect cases for Remote_Types - - - - --- 2020-06-08 Pierre-Marie de Rodat New
[Ada] Restore Snames.Name_SPARK as it used in the GNATprove backend [Ada] Restore Snames.Name_SPARK as it used in the GNATprove backend - - - - --- 2020-06-08 Pierre-Marie de Rodat New
[Ada] Spurious error on call to controlled primitive [Ada] Spurious error on call to controlled primitive - - - - --- 2020-06-08 Pierre-Marie de Rodat New
[Ada] Silence spurious warning on instances of formal vectors [Ada] Silence spurious warning on instances of formal vectors - - - - --- 2020-06-08 Pierre-Marie de Rodat New
[Ada] Implement AI12-0290 (Simple_Barriers restriction) [Ada] Implement AI12-0290 (Simple_Barriers restriction) - - - - --- 2020-06-08 Pierre-Marie de Rodat New
[Ada] Implement predicate checks on qualified expressions (AI12-0100) [Ada] Implement predicate checks on qualified expressions (AI12-0100) - - - - --- 2020-06-08 Pierre-Marie de Rodat New
[Ada] Do not warn on partial access to atomic object with address clause [Ada] Do not warn on partial access to atomic object with address clause - - - - --- 2020-06-08 Pierre-Marie de Rodat New
[Ada] Better code generation for nested aggregates [Ada] Better code generation for nested aggregates - - - - --- 2020-06-08 Pierre-Marie de Rodat New
[Ada] AI12-0226 Make objects more consistent [Ada] AI12-0226 Make objects more consistent - - - - --- 2020-06-08 Pierre-Marie de Rodat New
[Ada] Reuse Get_Index_Subtype in the special expander for GNATprove [Ada] Reuse Get_Index_Subtype in the special expander for GNATprove - - - - --- 2020-06-08 Pierre-Marie de Rodat New
[Ada] Reuse standard expansion of 'First and 'Last in GNATprove mode [Ada] Reuse standard expansion of 'First and 'Last in GNATprove mode - - - - --- 2020-06-08 Pierre-Marie de Rodat New
[Ada] gnatbind: Deterministic No_Entry_Calls_In_Elaboration_Code messages [Ada] gnatbind: Deterministic No_Entry_Calls_In_Elaboration_Code messages - - - - --- 2020-06-08 Pierre-Marie de Rodat New
[Ada] Fix socket timeout correction for Windows Server 2019 case [Ada] Fix socket timeout correction for Windows Server 2019 case - - - - --- 2020-06-08 Pierre-Marie de Rodat New
[Ada] Ada_2020: shared variable control aspects on formal derived types [Ada] Ada_2020: shared variable control aspects on formal derived types - - - - --- 2020-06-08 Pierre-Marie de Rodat New
[Ada] AI12-0309 Missing checks for pragma Suppress [Ada] AI12-0309 Missing checks for pragma Suppress - - - - --- 2020-06-08 Pierre-Marie de Rodat New
[Ada] Add Depends contracts to Delete procedures of formal containers [Ada] Add Depends contracts to Delete procedures of formal containers - - - - --- 2020-06-08 Pierre-Marie de Rodat New
[Ada] Support 'Reduce under -gnatX [Ada] Support 'Reduce under -gnatX - - - - --- 2020-06-05 Pierre-Marie de Rodat New
[Ada] Fix punctuation in description of Enum_Rep attribute [Ada] Fix punctuation in description of Enum_Rep attribute - - - - --- 2020-06-05 Pierre-Marie de Rodat New
[Ada] Add note about gnatcov reliance on thunk names [Ada] Add note about gnatcov reliance on thunk names - - - - --- 2020-06-05 Pierre-Marie de Rodat New
[Ada] Fix assertion failure on double rederivation of private type [Ada] Fix assertion failure on double rederivation of private type - - - - --- 2020-06-05 Pierre-Marie de Rodat New
[Ada] Optimize Normalize_Pathname [Ada] Optimize Normalize_Pathname - - - - --- 2020-06-05 Pierre-Marie de Rodat New
[Ada] Make the Has_Dynamic_Range_Check flag obsolete [Ada] Make the Has_Dynamic_Range_Check flag obsolete - - - - --- 2020-06-05 Pierre-Marie de Rodat New
[Ada] AI12-0237 Getting the representation of an enumeration value [Ada] AI12-0237 Getting the representation of an enumeration value - - - - --- 2020-06-05 Pierre-Marie de Rodat New
[Ada] AI12-0144 Make Discrete_Random more flexible [Ada] AI12-0144 Make Discrete_Random more flexible - - - - --- 2020-06-05 Pierre-Marie de Rodat New
[Ada] Assertion_Policy (Ignore) ignores invariants [Ada] Assertion_Policy (Ignore) ignores invariants - - - - --- 2020-06-05 Pierre-Marie de Rodat New
[Ada] Move routine for detecting special Text_IO packages from GNATprove [Ada] Move routine for detecting special Text_IO packages from GNATprove - - - - --- 2020-06-05 Pierre-Marie de Rodat New
[Ada] Spurious error on address clause in task body [Ada] Spurious error on address clause in task body - - - - --- 2020-06-05 Pierre-Marie de Rodat New
[Ada] Do not create an empty list of nodes that confuses GNATprove [Ada] Do not create an empty list of nodes that confuses GNATprove - - - - --- 2020-06-05 Pierre-Marie de Rodat New
[Ada] Add No_Truncation flag on view conversion for GNAT-LLVM [Ada] Add No_Truncation flag on view conversion for GNAT-LLVM - - - - --- 2020-06-05 Pierre-Marie de Rodat New
[Ada] Add missing Global contract to Ada.Containers.Functional_Vectors [Ada] Add missing Global contract to Ada.Containers.Functional_Vectors - - - - --- 2020-06-05 Pierre-Marie de Rodat New
« 1 2 ... 19 20 21 … 30 31 »