Show patches with: Series = [COMMITTED,01/35] ada: Add support for 'Object_Size to pragma Compile_Time_{Warning, Error}       |    State = Action Required       |    Archived = No       |   35 patches
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[COMMITTED,35/35] ada: Improve deriving initial sizes for container aggregates [COMMITTED,01/35] ada: Add support for 'Object_Size to pragma Compile_Time_{Warning, Error} - - - - --- 2024-05-17 Marc Poulhiès New
[COMMITTED,34/35] ada: Remove outdated workaround in aggregate expansion [COMMITTED,01/35] ada: Add support for 'Object_Size to pragma Compile_Time_{Warning, Error} - - - - --- 2024-05-17 Marc Poulhiès New
[COMMITTED,33/35] ada: Start the initialization of the tasking runtime earlier [COMMITTED,01/35] ada: Add support for 'Object_Size to pragma Compile_Time_{Warning, Error} - - - - --- 2024-05-17 Marc Poulhiès New
[COMMITTED,32/35] ada: Improve test for unprocessed preprocessor directives [COMMITTED,01/35] ada: Add support for 'Object_Size to pragma Compile_Time_{Warning, Error} - - - - --- 2024-05-17 Marc Poulhiès New
[COMMITTED,31/35] ada: Restore dependency on System.OS_Interface in System.Task_Primitives [COMMITTED,01/35] ada: Add support for 'Object_Size to pragma Compile_Time_{Warning, Error} - - - - --- 2024-05-17 Marc Poulhiès New
[COMMITTED,30/35] ada: Further adjustments coming from aliasing considerations [COMMITTED,01/35] ada: Add support for 'Object_Size to pragma Compile_Time_{Warning, Error} - - - - --- 2024-05-17 Marc Poulhiès New
[COMMITTED,29/35] ada: Replace spinlocks with fully-fledged locks in finalization collections [COMMITTED,01/35] ada: Add support for 'Object_Size to pragma Compile_Time_{Warning, Error} - - - - --- 2024-05-17 Marc Poulhiès New
[COMMITTED,28/35] ada: Document secondary usage of Materialize_Entity flag [COMMITTED,01/35] ada: Add support for 'Object_Size to pragma Compile_Time_{Warning, Error} - - - - --- 2024-05-17 Marc Poulhiès New
[COMMITTED,27/35] ada: Bug in computing local restrictions inherited from enclosing scopes. [COMMITTED,01/35] ada: Add support for 'Object_Size to pragma Compile_Time_{Warning, Error} - - - - --- 2024-05-17 Marc Poulhiès New
[COMMITTED,26/35] ada: Factor out duplicated code in bodies of System.Task_Primitives.Operations [COMMITTED,01/35] ada: Add support for 'Object_Size to pragma Compile_Time_{Warning, Error} - - - - --- 2024-05-17 Marc Poulhiès New
[COMMITTED,25/35] ada: Fix for validity checking and conditional evaluation of 'Old [COMMITTED,01/35] ada: Add support for 'Object_Size to pragma Compile_Time_{Warning, Error} - - - - --- 2024-05-17 Marc Poulhiès New
[COMMITTED,24/35] ada: Do not query the modification time of a special file. [COMMITTED,01/35] ada: Add support for 'Object_Size to pragma Compile_Time_{Warning, Error} - - - - --- 2024-05-17 Marc Poulhiès New
[COMMITTED,23/35] ada: Disable Equivalent_Array_Aggregate optimization if predicates involved [COMMITTED,01/35] ada: Add support for 'Object_Size to pragma Compile_Time_{Warning, Error} - - - - --- 2024-05-17 Marc Poulhiès New
[COMMITTED,22/35] ada: Clarify code for aggregate warnings [COMMITTED,01/35] ada: Add support for 'Object_Size to pragma Compile_Time_{Warning, Error} - - - - --- 2024-05-17 Marc Poulhiès New
[COMMITTED,21/35] ada: Fix others error message location [COMMITTED,01/35] ada: Add support for 'Object_Size to pragma Compile_Time_{Warning, Error} - - - - --- 2024-05-17 Marc Poulhiès New
[COMMITTED,20/35] ada: Expose utility routine for processing of Depends contracts in SPARK [COMMITTED,01/35] ada: Add support for 'Object_Size to pragma Compile_Time_{Warning, Error} - - - - --- 2024-05-17 Marc Poulhiès New
[COMMITTED,19/35] ada: Couple of adjustments coming from aliasing considerations [COMMITTED,01/35] ada: Add support for 'Object_Size to pragma Compile_Time_{Warning, Error} - - - - --- 2024-05-17 Marc Poulhiès New
[COMMITTED,18/35] ada: gnatbind: subprogram spec no longer exists [COMMITTED,01/35] ada: Add support for 'Object_Size to pragma Compile_Time_{Warning, Error} - - - - --- 2024-05-17 Marc Poulhiès New
[COMMITTED,17/35] ada: Update docs for Resolve_Null_Array_Aggregate [COMMITTED,01/35] ada: Add support for 'Object_Size to pragma Compile_Time_{Warning, Error} - - - - --- 2024-05-17 Marc Poulhiès New
[COMMITTED,16/35] ada: Fix containers' Reference_Preserving_Key functions' memory leaks [COMMITTED,01/35] ada: Add support for 'Object_Size to pragma Compile_Time_{Warning, Error} - - - - --- 2024-05-17 Marc Poulhiès New
[COMMITTED,15/35] ada: correction to gnatbind-related cleanups [COMMITTED,01/35] ada: Add support for 'Object_Size to pragma Compile_Time_{Warning, Error} - - - - --- 2024-05-17 Marc Poulhiès New
[COMMITTED,14/35] ada: gnatbind-related cleanups [COMMITTED,01/35] ada: Add support for 'Object_Size to pragma Compile_Time_{Warning, Error} - - - - --- 2024-05-17 Marc Poulhiès New
[COMMITTED,13/35] ada: Make raise-gcc.c compatible with Clang [COMMITTED,01/35] ada: Add support for 'Object_Size to pragma Compile_Time_{Warning, Error} - - - - --- 2024-05-17 Marc Poulhiès New
[COMMITTED,12/35] ada: Fix crash caused by missing New_Copy_tree [COMMITTED,01/35] ada: Add support for 'Object_Size to pragma Compile_Time_{Warning, Error} - - - - --- 2024-05-17 Marc Poulhiès New
[COMMITTED,11/35] ada: Fix Constraint_Error on mutable assignment [COMMITTED,01/35] ada: Add support for 'Object_Size to pragma Compile_Time_{Warning, Error} - - - - --- 2024-05-17 Marc Poulhiès New
[COMMITTED,10/35] ada: Only record types with discriminants can be unconstrained [COMMITTED,01/35] ada: Add support for 'Object_Size to pragma Compile_Time_{Warning, Error} - - - - --- 2024-05-17 Marc Poulhiès New
[COMMITTED,09/35] ada: Simplify code for private types with unknown discriminants [COMMITTED,01/35] ada: Add support for 'Object_Size to pragma Compile_Time_{Warning, Error} - - - - --- 2024-05-17 Marc Poulhiès New
[COMMITTED,08/35] ada: Allow private items with unknown discriminants as Depends inputs [COMMITTED,01/35] ada: Add support for 'Object_Size to pragma Compile_Time_{Warning, Error} - - - - --- 2024-05-17 Marc Poulhiès New
[COMMITTED,07/35] ada: Tune detection of unconstrained and tagged items in Depends contract [COMMITTED,01/35] ada: Add support for 'Object_Size to pragma Compile_Time_{Warning, Error} - - - - --- 2024-05-17 Marc Poulhiès New
[COMMITTED,06/35] ada: Fix probable copy/paste error [COMMITTED,01/35] ada: Add support for 'Object_Size to pragma Compile_Time_{Warning, Error} - - - - --- 2024-05-17 Marc Poulhiès New
[COMMITTED,05/35] ada: Check subtype to avoid a precondition failure [COMMITTED,01/35] ada: Add support for 'Object_Size to pragma Compile_Time_{Warning, Error} - - - - --- 2024-05-17 Marc Poulhiès New
[COMMITTED,04/35] ada: Fix checking range constraints within composite types [COMMITTED,01/35] ada: Add support for 'Object_Size to pragma Compile_Time_{Warning, Error} - - - - --- 2024-05-17 Marc Poulhiès New
[COMMITTED,03/35] ada: Remove superfluous Relocate_Node calls [COMMITTED,01/35] ada: Add support for 'Object_Size to pragma Compile_Time_{Warning, Error} - - - - --- 2024-05-17 Marc Poulhiès New
[COMMITTED,02/35] ada: Small cleanup in aggregate expansion code [COMMITTED,01/35] ada: Add support for 'Object_Size to pragma Compile_Time_{Warning, Error} - - - - --- 2024-05-17 Marc Poulhiès New
[COMMITTED,01/35] ada: Add support for 'Object_Size to pragma Compile_Time_{Warning, Error} [COMMITTED,01/35] ada: Add support for 'Object_Size to pragma Compile_Time_{Warning, Error} - - - - --- 2024-05-17 Marc Poulhiès New