Show patches with: Submitter = Marc Poulhiès       |    State = Action Required       |   463 patches
« 1 2 … 2 3 4 5 »
Patch Series A/R/T S/W/F Date Submitter Delegate State
[Ada] Lock_Free aspect takes precedence over Ceiling_Locking locking policy [Ada] Lock_Free aspect takes precedence over Ceiling_Locking locking policy - - - --- 2022-09-12 Marc Poulhiès New
[Ada] Do not mark user parameters of protected subprograms as artificial [Ada] Do not mark user parameters of protected subprograms as artificial - - - --- 2022-09-12 Marc Poulhiès New
[Ada] Fix issues with compiling ACATS test for user-defined literals [Ada] Fix issues with compiling ACATS test for user-defined literals - - - --- 2022-09-12 Marc Poulhiès New
[Ada] Remove a no-longer-correct comment [Ada] Remove a no-longer-correct comment - - - --- 2022-09-12 Marc Poulhiès New
[Ada] Fix bugs in check-related warnings. [Ada] Fix bugs in check-related warnings. - - - --- 2022-09-12 Marc Poulhiès New
[Ada] Disable Support_Atomic_Primitives on x86_64 VxWorks [Ada] Disable Support_Atomic_Primitives on x86_64 VxWorks - - - --- 2022-09-12 Marc Poulhiès New
[Ada] Disable Support_Atomic_Primitives on QNX and VxWorks targets [Ada] Disable Support_Atomic_Primitives on QNX and VxWorks targets - - - --- 2022-09-12 Marc Poulhiès New
[Ada] Fix problematic line debug info attached to call to finalizer [Ada] Fix problematic line debug info attached to call to finalizer - - - --- 2022-09-06 Marc Poulhiès New
[Ada] Fix internal error on double renaming of private constant [Ada] Fix internal error on double renaming of private constant - - - --- 2022-09-06 Marc Poulhiès New
[Ada] Fix missing name for access type in generic instantiation [Ada] Fix missing name for access type in generic instantiation - - - --- 2022-09-06 Marc Poulhiès New
[Ada] Disable lock free protected implementation if target lacks support [Ada] Disable lock free protected implementation if target lacks support - - - --- 2022-09-06 Marc Poulhiès New
[Ada] Restore missing Aggregate aspect for Ada.Containers.Ordered_Sets.Set [Ada] Restore missing Aggregate aspect for Ada.Containers.Ordered_Sets.Set - - - --- 2022-09-06 Marc Poulhiès New
[Ada] Fix formal parameters list for secondary stack allocation procedure [Ada] Fix formal parameters list for secondary stack allocation procedure - - - --- 2022-09-06 Marc Poulhiès New
[Ada] Retain Has_Private_View flag for actuals of inlined subprograms [Ada] Retain Has_Private_View flag for actuals of inlined subprograms - - - --- 2022-09-06 Marc Poulhiès New
[Ada] Slice length computation bug in Generic_Bounded_Length generics [Ada] Slice length computation bug in Generic_Bounded_Length generics - - - --- 2022-09-06 Marc Poulhiès New
[Ada] Improve documentation of validation checking control switches [Ada] Improve documentation of validation checking control switches - - - --- 2022-09-06 Marc Poulhiès 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] Fix comment about mapping of parameters and inlining static funcs [Ada] Fix comment about mapping of parameters and inlining static funcs - - - --- 2022-09-06 Marc Poulhiès New
[Ada] Cleanup unnecessary shadowing in expansion of attribute Old [Ada] Cleanup unnecessary shadowing in expansion of attribute Old - - - --- 2022-09-06 Marc Poulhiès New
[Ada] Fix a bug in the contract of formal ordered sets [Ada] Fix a bug in the contract of formal ordered sets - - - --- 2022-09-06 Marc Poulhiès 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] Document change to legality checks for Inox case statements [Ada] Document change to legality checks for Inox case statements - - - --- 2022-09-06 Marc Poulhiès New
[Ada] Temporarily simplify legality checks for Inox case statements [Ada] Temporarily simplify legality checks for Inox case statements - - - --- 2022-09-06 Marc Poulhiès New
[Ada] Tune message for illegal aspect Relaxed_Initialization [Ada] Tune message for illegal aspect Relaxed_Initialization - - - --- 2022-09-06 Marc Poulhiès New
[Ada] Bad Valid_Scalars result if signed int component type signed has partial view. [Ada] Bad Valid_Scalars result if signed int component type signed has partial view. - - - --- 2022-09-06 Marc Poulhiès 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] Add formal verification dependencies to libgnat [Ada] Add formal verification dependencies to libgnat - - - --- 2022-09-06 Marc Poulhiès 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] Improve detection of illegal Iterable aspects [Ada] Improve detection of illegal Iterable aspects - - - --- 2022-09-06 Marc Poulhiès New
[Ada] Move check for null array aggregates to expansion [Ada] Move check for null array aggregates to expansion - - - --- 2022-09-05 Marc Poulhiès New
[Ada] Fix inconsistent building of itypes for null array aggregates [Ada] Fix inconsistent building of itypes for null array aggregates - - - --- 2022-09-05 Marc Poulhiès New
[Ada] Fix insertion of a runtime check for null array aggregate [Ada] Fix insertion of a runtime check for null array aggregate - - - --- 2022-09-05 Marc Poulhiès New
[Ada] Cleanup iteration over aggregate component associations [Ada] Cleanup iteration over aggregate component associations - - - --- 2022-09-05 Marc Poulhiès New
[Ada] Remove VMS specific routine that is no longer referenced [Ada] Remove VMS specific routine that is no longer referenced - - - --- 2022-09-05 Marc Poulhiès New
[Ada] Single-element Append performance improvement [Ada] Single-element Append performance improvement - - - --- 2022-09-05 Marc Poulhiès New
[Ada] Create internal type for null array aggregate as an itype [Ada] Create internal type for null array aggregate as an itype - - - --- 2022-09-05 Marc Poulhiès New
[Ada] Remove no longer referenced GNATprove utility routine for itypes [Ada] Remove no longer referenced GNATprove utility routine for itypes - - - --- 2022-09-05 Marc Poulhiès New
[Ada] Bad Default_Initial_Condition check for a not-default-initialized object [Ada] Bad Default_Initial_Condition check for a not-default-initialized object - - - --- 2022-09-05 Marc Poulhiès New
[Ada] Fix detection of unused warning suppression [Ada] Fix detection of unused warning suppression - - - --- 2022-09-05 Marc Poulhiès New
[Ada] Small cleanup in body of System.Value_R [Ada] Small cleanup in body of System.Value_R - - - --- 2022-09-05 Marc Poulhiès New
[Ada] Fix bogus discriminant check failure for type with predicate [Ada] Fix bogus discriminant check failure for type with predicate - - - --- 2022-09-05 Marc Poulhiès New
[Ada] Detect expansion of iterated component associations into loops [Ada] Detect expansion of iterated component associations into loops - - - --- 2022-09-05 Marc Poulhiès New
[Ada] Fix double identifiers in iterated component association [Ada] Fix double identifiers in iterated component association - - - --- 2022-09-05 Marc Poulhiès New
[Ada] Suppress warnings in trivial subprograms with finalization [Ada] Suppress warnings in trivial subprograms with finalization - - - --- 2022-09-05 Marc Poulhiès New
[Ada] Secondary stack and i-c* [Ada] Secondary stack and i-c* - - - --- 2022-09-05 Marc Poulhiès New
[Ada] Enable Error_Msg_GNAT_Extension for mixed decl/stmts [Ada] Enable Error_Msg_GNAT_Extension for mixed decl/stmts - - - --- 2022-09-05 Marc Poulhiès New
[Ada] Fix resolution of iterated component association [Ada] Fix resolution of iterated component association - - - --- 2022-09-05 Marc Poulhiès New
[Ada] Cleanup analysis of iterator specifications [Ada] Cleanup analysis of iterator specifications - - - --- 2022-09-05 Marc Poulhiès New
[Ada] Cleanup resolution of aggregates with mixed component associations [Ada] Cleanup resolution of aggregates with mixed component associations - - - --- 2022-09-05 Marc Poulhiès New
[Ada] Cleanup resolution of iterated component association [Ada] Cleanup resolution of iterated component association - - - --- 2022-09-05 Marc Poulhiès New
[Ada] Cleanup analysis of quantified expressions with empty ranges [Ada] Cleanup analysis of quantified expressions with empty ranges - - - --- 2022-09-05 Marc Poulhiès New
[Ada] New gnatbind switch -k [Ada] New gnatbind switch -k - - - --- 2022-09-05 Marc Poulhiès New
[Ada] Cleanup expansion of attribute Priority [Ada] Cleanup expansion of attribute Priority - - - --- 2022-09-05 Marc Poulhiès New
[Ada] Remove excessive guards against inserting empty lists of actions [Ada] Remove excessive guards against inserting empty lists of actions - - - --- 2022-09-05 Marc Poulhiès New
[Ada] Improve pretty-printing of iterated component associations [Ada] Improve pretty-printing of iterated component associations - - - --- 2022-09-05 Marc Poulhiès New
[Ada] Fix syntax in documentation [Ada] Fix syntax in documentation - - - --- 2022-09-05 Marc Poulhiès New
[Ada] Adjust previous change to Expand_Subtype_From_Expr [Ada] Adjust previous change to Expand_Subtype_From_Expr - - - --- 2022-09-02 Marc Poulhiès New
[Ada] Error on return of object whose full view has undefaulted discriminants [Ada] Error on return of object whose full view has undefaulted discriminants - - - --- 2022-09-02 Marc Poulhiès New
[Ada] Fix crash on declaration of overaligned array with constraints [Ada] Fix crash on declaration of overaligned array with constraints - - - --- 2022-09-02 Marc Poulhiès New
[Ada] Add loop variants to Ada.Strings.Search and Ada.Strings.Maps [Ada] Add loop variants to Ada.Strings.Search and Ada.Strings.Maps - - - --- 2022-09-02 Marc Poulhiès New
[Ada] Fix proof of runtime unit System.Exp_Mod [Ada] Fix proof of runtime unit System.Exp_Mod - - - --- 2022-09-02 Marc Poulhiès New
[Ada] Fix proof of runtime unit System.Wid_* [Ada] Fix proof of runtime unit System.Wid_* - - - --- 2022-09-02 Marc Poulhiès New
[Ada] Recover proof of Scaled_Divide in System.Arith_64 [Ada] Recover proof of Scaled_Divide in System.Arith_64 - - - --- 2022-09-02 Marc Poulhiès New
« 1 2 … 2 3 4 5 »