Show patches with: State = Action Required       |    Archived = No       |   19969 patches
« 1 2 ... 144 145 146199 200 »
Patch Series S/W/F Date Submitter Delegate State
[Ada] Simplify iteration over formal parameters for aliasing error [Ada] Simplify iteration over formal parameters for aliasing error 0 0 0 2020-06-11 Pierre-Marie de Rodat New
[Ada] Remove useless code in Backend_Processing_Possible [Ada] Remove useless code in Backend_Processing_Possible 0 0 0 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 0 0 0 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 0 0 0 2020-06-11 Pierre-Marie de Rodat New
[Ada] Skip unnecessary iterations over constraint expressions [Ada] Skip unnecessary iterations over constraint expressions 0 0 0 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 0 0 0 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 0 0 0 2020-06-11 Pierre-Marie de Rodat New
[Ada] Make Object Specific Dispatch tables constant [Ada] Make Object Specific Dispatch tables constant 0 0 0 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 0 0 0 2020-06-11 Pierre-Marie de Rodat New
[Ada] Put_Image attribute [Ada] Put_Image attribute 0 0 0 2020-06-11 Pierre-Marie de Rodat New
[Ada] Refine type for sorting case-choices tables [Ada] Refine type for sorting case-choices tables 0 0 0 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 0 0 0 2020-06-11 Pierre-Marie de Rodat New
[Ada] Put_Image attribute [Ada] Put_Image attribute 0 0 0 2020-06-11 Pierre-Marie de Rodat New
[Ada] Create constrained itypes for nested record aggregates [Ada] Create constrained itypes for nested record aggregates 0 0 0 2020-06-11 Pierre-Marie de Rodat New
[Ada] Remove unreferenced GNATprove utility routine Get_Low_Bound [Ada] Remove unreferenced GNATprove utility routine Get_Low_Bound 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 2020-06-10 Pierre-Marie de Rodat New
[Ada] Add missing Sloc on new explicit dereferences [Ada] Add missing Sloc on new explicit dereferences 0 0 0 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 0 0 0 2020-06-10 Pierre-Marie de Rodat New
[Ada] Remove obsolete code in Resolve_Call [Ada] Remove obsolete code in Resolve_Call 0 0 0 2020-06-10 Pierre-Marie de Rodat New
[Ada] Classwide controlled obj not dispatching [Ada] Classwide controlled obj not dispatching 0 0 0 2020-06-10 Pierre-Marie de Rodat New
[Ada] Improve code generated for dynamic discriminated aggregate [Ada] Improve code generated for dynamic discriminated aggregate 0 0 0 2020-06-10 Pierre-Marie de Rodat New
[Ada] Insert explicit dereferences when building actual subtype [Ada] Insert explicit dereferences when building actual subtype 0 0 0 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 0 0 0 2020-06-10 Pierre-Marie de Rodat New
[Ada] Ada 202x AI12-0192 "requires late initialization" [Ada] Ada 202x AI12-0192 "requires late initialization" 0 0 0 2020-06-10 Pierre-Marie de Rodat New
[Ada] Simplify detection of static membership choices [Ada] Simplify detection of static membership choices 0 0 0 2020-06-10 Pierre-Marie de Rodat New
[Ada] Fix assertion failure on functions with contracts [Ada] Fix assertion failure on functions with contracts 0 0 0 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 0 0 0 2020-06-10 Pierre-Marie de Rodat New
[Ada] Implement AI12-0162 Memberships and Unchecked_Unions [Ada] Implement AI12-0162 Memberships and Unchecked_Unions 0 0 0 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 0 0 0 2020-06-10 Pierre-Marie de Rodat New
[Ada] Remove Determine_License [Ada] Remove Determine_License 0 0 0 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 0 0 0 2020-06-10 Pierre-Marie de Rodat New
[Ada] Reject illegal bodies for null procedures [Ada] Reject illegal bodies for null procedures 0 0 0 2020-06-10 Pierre-Marie de Rodat New
[Ada] Incorrect accessibility checks on functions calls [Ada] Incorrect accessibility checks on functions calls 0 0 0 2020-06-10 Pierre-Marie de Rodat New
[Ada] Expand more others aggregates statically [Ada] Expand more others aggregates statically 0 0 0 2020-06-09 Pierre-Marie de Rodat New
[Ada] Small enhancement in XEinfo utility [Ada] Small enhancement in XEinfo utility 0 0 0 2020-06-09 Pierre-Marie de Rodat New
[Ada] Small cleanup in Einfo unit [Ada] Small cleanup in Einfo unit 0 0 0 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 0 0 0 2020-06-09 Pierre-Marie de Rodat New
[Ada] Propagate DIC, Invariant and Predicate attributes to views [Ada] Propagate DIC, Invariant and Predicate attributes to views 0 0 0 2020-06-09 Pierre-Marie de Rodat New
[Ada] Remove kludge for AI05-0087 [Ada] Remove kludge for AI05-0087 0 0 0 2020-06-09 Pierre-Marie de Rodat New
[Ada] Improve handling of null unbounded strings [Ada] Improve handling of null unbounded strings 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 2020-06-09 Pierre-Marie de Rodat New
[Ada] Code clean ups and comments updates [Ada] Code clean ups and comments updates 0 0 0 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 0 0 0 2020-06-09 Pierre-Marie de Rodat New
[Ada] Ada2020: AI12-0301 Predicates and Default_Value [Ada] Ada2020: AI12-0301 Predicates and Default_Value 0 0 0 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 0 0 0 2020-06-09 Pierre-Marie de Rodat New
[Ada] Add debugging message [Ada] Add debugging message 0 0 0 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 0 0 0 2020-06-09 Pierre-Marie de Rodat New
[Ada] Membership test against a non-excluding subtype [Ada] Membership test against a non-excluding subtype 0 0 0 2020-06-09 Pierre-Marie de Rodat New
[Ada] Crash on exit statement within predicated loop [Ada] Crash on exit statement within predicated loop 0 0 0 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 0 0 0 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 0 0 0 2020-06-09 Pierre-Marie de Rodat New
[Ada] Disable assertion regarding Body_Before_Spec_Edge [Ada] Disable assertion regarding Body_Before_Spec_Edge 0 0 0 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 0 0 0 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 0 0 0 2020-06-09 Pierre-Marie de Rodat New
[Ada] Implement AI12-0073 (Ravenscar disallows Synchronous_Barriers) [Ada] Implement AI12-0073 (Ravenscar disallows Synchronous_Barriers) 0 0 0 2020-06-08 Pierre-Marie de Rodat New
[Ada] Better code generation for nested aggregates [Ada] Better code generation for nested aggregates 0 0 0 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 0 0 0 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 0 0 0 2020-06-08 Pierre-Marie de Rodat New
[Ada] Remove the Has_Dynamic_Range_Check flag [Ada] Remove the Has_Dynamic_Range_Check flag 0 0 0 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 0 0 0 2020-06-08 Pierre-Marie de Rodat New
[Ada] AI12-0204 Renaming of a prefixed view [Ada] AI12-0204 Renaming of a prefixed view 0 0 0 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 0 0 0 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) 0 0 0 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 0 0 0 2020-06-08 Pierre-Marie de Rodat New
[Ada] Implement AI12-0291 (Jorvik profile) [Ada] Implement AI12-0291 (Jorvik profile) 0 0 0 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 0 0 0 2020-06-08 Pierre-Marie de Rodat New
[Ada] AI12-0226 Make objects more consistent [Ada] AI12-0226 Make objects more consistent 0 0 0 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 0 0 0 2020-06-08 Pierre-Marie de Rodat New
[Ada] Implement AI12-0290 (Simple_Barriers restriction) [Ada] Implement AI12-0290 (Simple_Barriers restriction) 0 0 0 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 0 0 0 2020-06-08 Pierre-Marie de Rodat New
[Ada] Fix handling of 'Enum_Rep and renamings [Ada] Fix handling of 'Enum_Rep and renamings 0 0 0 2020-06-08 Pierre-Marie de Rodat New
[Ada] Spurious error on call to controlled primitive [Ada] Spurious error on call to controlled primitive 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 2020-06-08 Pierre-Marie de Rodat New
[Ada] AI12-0309 Missing checks for pragma Suppress [Ada] AI12-0309 Missing checks for pragma Suppress 0 0 0 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 0 0 0 2020-06-08 Pierre-Marie de Rodat New
[Ada] Support 'Reduce under -gnatX [Ada] Support 'Reduce under -gnatX 0 0 0 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 0 0 0 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 0 0 0 2020-06-05 Pierre-Marie de Rodat New
[Ada] Optimize Normalize_Pathname [Ada] Optimize Normalize_Pathname 0 0 0 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 0 0 0 2020-06-05 Pierre-Marie de Rodat New
[Ada] Fix incorrect initialization for array of non-standard enumeration type [Ada] Fix incorrect initialization for array of non-standard enumeration type 0 0 0 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 0 0 0 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 0 0 0 2020-06-05 Pierre-Marie de Rodat New
[Ada] AI12-0144 Make Discrete_Random more flexible [Ada] AI12-0144 Make Discrete_Random more flexible 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 2020-06-05 Pierre-Marie de Rodat New
[Ada] Simplify iteration over components [Ada] Simplify iteration over components 0 0 0 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 0 0 0 2020-06-05 Pierre-Marie de Rodat New
[Ada] Put_Image attribute [Ada] Put_Image attribute 0 0 0 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 0 0 0 2020-06-05 Pierre-Marie de Rodat New
[Ada] AI12-0207 Convention of anonymous access types [Ada] AI12-0207 Convention of anonymous access types 0 0 0 2020-06-05 Pierre-Marie de Rodat New
[Ada] Assertion_Policy (Ignore) ignores invariants [Ada] Assertion_Policy (Ignore) ignores invariants 0 0 0 2020-06-05 Pierre-Marie de Rodat New
« 1 2 ... 144 145 146199 200 »