Show patches with: Submitter = Marc Poulhiès       |    State = Action Required       |    Archived = No       |   1377 patches
« 1 2 3 4 … 13 14 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[COMMITTED,13/13] ada: Use static allocation for small dynamic string concatenations in more cases [COMMITTED,01/13] ada: Document that -gnatdJ is unused - - - - --- 2024-07-02 Marc Poulhiès New
[COMMITTED,12/13] ada: Fix generic renaming table low bound on reset [COMMITTED,01/13] ada: Document that -gnatdJ is unused - - - - --- 2024-07-02 Marc Poulhiès New
[COMMITTED,11/13] ada: Compiler accepts an illegal Unchecked_Access attribute reference [COMMITTED,01/13] ada: Document that -gnatdJ is unused - - - - --- 2024-07-02 Marc Poulhiès New
[COMMITTED,10/13] ada: Use clause (or use type clause) in a protected operation sometimes ignored. [COMMITTED,01/13] ada: Document that -gnatdJ is unused - - - - --- 2024-07-02 Marc Poulhiès New
[COMMITTED,09/13] ada: Put_Image aspect spec ignored for null extension. [COMMITTED,01/13] ada: Document that -gnatdJ is unused - - - - --- 2024-07-02 Marc Poulhiès New
[COMMITTED,08/13] ada: Allow mutably tagged types to work with qualified expressions [COMMITTED,01/13] ada: Document that -gnatdJ is unused - - - - --- 2024-07-02 Marc Poulhiès New
[COMMITTED,07/13] ada: Bug box for expression function with list comprehension [COMMITTED,01/13] ada: Document that -gnatdJ is unused - - - - --- 2024-07-02 Marc Poulhiès New
[COMMITTED,06/13] ada: Call memcmp instead of Compare_Array_Unsigned_8 and... [COMMITTED,01/13] ada: Document that -gnatdJ is unused - - - - --- 2024-07-02 Marc Poulhiès New
[COMMITTED,05/13] ada: Fix analysis of Extensions_Visible [COMMITTED,01/13] ada: Document that -gnatdJ is unused - - - - --- 2024-07-02 Marc Poulhiès New
[COMMITTED,04/13] ada: Fix bogus error on allocator in instantiation with private derived types [COMMITTED,01/13] ada: Document that -gnatdJ is unused - - - - --- 2024-07-02 Marc Poulhiès New
[COMMITTED,03/13] ada: Miscomputed bounds for inner null array aggregates [COMMITTED,01/13] ada: Document that -gnatdJ is unused - - - - --- 2024-07-02 Marc Poulhiès New
[COMMITTED,02/13] ada: Fix crash on box-initialized component with No_Default_Initialization [COMMITTED,01/13] ada: Document that -gnatdJ is unused - - - - --- 2024-07-02 Marc Poulhiès New
[COMMITTED,01/13] ada: Document that -gnatdJ is unused [COMMITTED,01/13] ada: Document that -gnatdJ is unused - - - - --- 2024-07-02 Marc Poulhiès New
[COMMITTED,7/7] ada: Remove last uses of System.Address_Operations in runtime library [COMMITTED,1/7] ada: Implement first half of Generalized Finalization - - - - --- 2024-06-27 Marc Poulhiès New
[COMMITTED,6/7] ada: Reject ambiguous function calls in interpolated string expressions [COMMITTED,1/7] ada: Implement first half of Generalized Finalization - - - - --- 2024-06-27 Marc Poulhiès New
[COMMITTED,5/7] ada: Add missing dimension information for target names [COMMITTED,1/7] ada: Implement first half of Generalized Finalization - - - - --- 2024-06-27 Marc Poulhiès New
[COMMITTED,4/7] ada: Fix array-manipulating code in Mdll [COMMITTED,1/7] ada: Implement first half of Generalized Finalization - - - - --- 2024-06-27 Marc Poulhiès New
[COMMITTED,3/7] ada: Bug using user defined string literals with interpolated strings [COMMITTED,1/7] ada: Implement first half of Generalized Finalization - - - - --- 2024-06-27 Marc Poulhiès New
[COMMITTED,2/7] ada: Overridden operation field not correctly set for controlling result wrappers [COMMITTED,1/7] ada: Implement first half of Generalized Finalization - - - - --- 2024-06-27 Marc Poulhiès New
[COMMITTED,1/7] ada: Implement first half of Generalized Finalization [COMMITTED,1/7] ada: Implement first half of Generalized Finalization - - - - --- 2024-06-27 Marc Poulhiès New
[COMMITTED,22/22] ada: Fix internal error on protected type with -gnatc -gnatR [COMMITTED,01/22] ada: Spurious style error with mutiple square brackets - - - - --- 2024-06-21 Marc Poulhiès New
[COMMITTED,21/22] ada: Fix bogus Address Sanitizer stack-buffer-overflow on packed array copy [COMMITTED,01/22] ada: Spurious style error with mutiple square brackets - - - - --- 2024-06-21 Marc Poulhiès New
[COMMITTED,20/22] ada: Fix bogus Address Sanitizer stack-buffer-overflow on packed record equality [COMMITTED,01/22] ada: Spurious style error with mutiple square brackets - - - - --- 2024-06-21 Marc Poulhiès New
[COMMITTED,19/22] ada: Implement fast modulo reduction for nonbinary modular multiplication [COMMITTED,01/22] ada: Spurious style error with mutiple square brackets - - - - --- 2024-06-21 Marc Poulhiès New
[COMMITTED,18/22] ada: Implement fast modulo reduction for nonbinary modular multiplication [COMMITTED,01/22] ada: Spurious style error with mutiple square brackets - - - - --- 2024-06-21 Marc Poulhiès New
[COMMITTED,17/22] ada: Reject ambiguous function calls in interpolated string expressions [COMMITTED,01/22] ada: Spurious style error with mutiple square brackets - - - - --- 2024-06-21 Marc Poulhiès New
[COMMITTED,16/22] ada: Apply fixes to Examine_Array_Bounds [COMMITTED,01/22] ada: Spurious style error with mutiple square brackets - - - - --- 2024-06-21 Marc Poulhiès New
[COMMITTED,15/22] ada: Fix crash in GNATbind during error reporting [COMMITTED,01/22] ada: Spurious style error with mutiple square brackets - - - - --- 2024-06-21 Marc Poulhiès New
[COMMITTED,14/22] ada: Crash when using user defined string literals [COMMITTED,01/22] ada: Spurious style error with mutiple square brackets - - - - --- 2024-06-21 Marc Poulhiès New
[COMMITTED,13/22] ada: Change error message on invalid RTS path [COMMITTED,01/22] ada: Spurious style error with mutiple square brackets - - - - --- 2024-06-21 Marc Poulhiès New
[COMMITTED,12/22] ada: Small cleanup in processing of primitive operations [COMMITTED,01/22] ada: Spurious style error with mutiple square brackets - - - - --- 2024-06-21 Marc Poulhiès New
[COMMITTED,11/22] ada: Revert conditional installation of signal handlers on VxWorks [COMMITTED,01/22] ada: Spurious style error with mutiple square brackets - - - - --- 2024-06-21 Marc Poulhiès New
[COMMITTED,10/22] ada: Cannot override inherited function with controlling result [COMMITTED,01/22] ada: Spurious style error with mutiple square brackets - - - - --- 2024-06-21 Marc Poulhiès New
[COMMITTED,09/22] ada: Fix missing index check with declare expression [COMMITTED,01/22] ada: Spurious style error with mutiple square brackets - - - - --- 2024-06-21 Marc Poulhiès New
[COMMITTED,08/22] ada: Fix internal error on case expression used as index of array component [COMMITTED,01/22] ada: Spurious style error with mutiple square brackets - - - - --- 2024-06-21 Marc Poulhiès New
[COMMITTED,07/22] ada: Fix incorrect handling of packed array with aliased composite components [COMMITTED,01/22] ada: Spurious style error with mutiple square brackets - - - - --- 2024-06-21 Marc Poulhiès New
[COMMITTED,06/22] ada: Generic formal/actual matching -- misc cleanup [COMMITTED,01/22] ada: Spurious style error with mutiple square brackets - - - - --- 2024-06-21 Marc Poulhiès New
[COMMITTED,05/22] ada: Fix gnatcheck violation reported after a recent cleanup [COMMITTED,01/22] ada: Spurious style error with mutiple square brackets - - - - --- 2024-06-21 Marc Poulhiès New
[COMMITTED,04/22] ada: Predefined arithmetic operators incorrectly treated as directly visible [COMMITTED,01/22] ada: Spurious style error with mutiple square brackets - - - - --- 2024-06-21 Marc Poulhiès New
[COMMITTED,03/22] ada: Fix assertion failure on predicate involving access parameter [COMMITTED,01/22] ada: Spurious style error with mutiple square brackets - - - - --- 2024-06-21 Marc Poulhiès New
[COMMITTED,02/22] ada: Fix for Default_Component_Value with declare expressions [COMMITTED,01/22] ada: Spurious style error with mutiple square brackets - - - - --- 2024-06-21 Marc Poulhiès New
[COMMITTED,01/22] ada: Spurious style error with mutiple square brackets [COMMITTED,01/22] ada: Spurious style error with mutiple square brackets - - - - --- 2024-06-21 Marc Poulhiès New
[COMMITTED,30/30] ada: Reference to nonexistent operator in reduction expression accepted [COMMITTED,01/30] ada: Fix list of attributes defined by Ada 2022 - - - - --- 2024-06-20 Marc Poulhiès New
[COMMITTED,29/30] ada: Fix checking of SPARK RM on ghost with concurrent part [COMMITTED,01/30] ada: Fix list of attributes defined by Ada 2022 - - - - --- 2024-06-20 Marc Poulhiès New
[COMMITTED,28/30] ada: Rewrite generic formal/actual matching [COMMITTED,01/30] ada: Fix list of attributes defined by Ada 2022 - - - - --- 2024-06-20 Marc Poulhiès New
[COMMITTED,27/30] ada: Replace "All" argument to Extensions_Allowed pragma with "All_Extensions" [COMMITTED,01/30] ada: Fix list of attributes defined by Ada 2022 - - - - --- 2024-06-20 Marc Poulhiès New
[COMMITTED,26/30] ada: Crash on selected component of formal derived type in generic instance [COMMITTED,01/30] ada: Fix list of attributes defined by Ada 2022 - - - - --- 2024-06-20 Marc Poulhiès New
[COMMITTED,25/30] ada: Fix inlining of fixed-lower-bound array for GNATprove [COMMITTED,01/30] ada: Fix list of attributes defined by Ada 2022 - - - - --- 2024-06-20 Marc Poulhiès New
[COMMITTED,24/30] ada: Fix assertion failure during analysis of instantiation of formal package [COMMITTED,01/30] ada: Fix list of attributes defined by Ada 2022 - - - - --- 2024-06-20 Marc Poulhiès New
[COMMITTED,23/30] ada: Fix composition of primitive equality for untagged records with variant part [COMMITTED,01/30] ada: Fix list of attributes defined by Ada 2022 - - - - --- 2024-06-20 Marc Poulhiès New
[COMMITTED,22/30] ada: New pragma to default all interrupts to system. [COMMITTED,01/30] ada: Fix list of attributes defined by Ada 2022 - - - - --- 2024-06-20 Marc Poulhiès New
[COMMITTED,21/30] ada: Fix bogus error with "=" operator on array of private unchecked union [COMMITTED,01/30] ada: Fix list of attributes defined by Ada 2022 - - - - --- 2024-06-20 Marc Poulhiès New
[COMMITTED,20/30] ada: Fix crash on real literal in declare expression of expression function [COMMITTED,01/30] ada: Fix list of attributes defined by Ada 2022 - - - - --- 2024-06-20 Marc Poulhiès New
[COMMITTED,19/30] ada: Enforce strict alignment for array types with aliased component [COMMITTED,01/30] ada: Fix list of attributes defined by Ada 2022 - - - - --- 2024-06-20 Marc Poulhiès New
[COMMITTED,18/30] ada: Update Bit Ordering references in GNAT Reference Manual [COMMITTED,01/30] ada: Fix list of attributes defined by Ada 2022 - - - - --- 2024-06-20 Marc Poulhiès New
[COMMITTED,17/30] ada: Add documentation for Subprogram_Variant aspect and pragma [COMMITTED,01/30] ada: Fix list of attributes defined by Ada 2022 - - - - --- 2024-06-20 Marc Poulhiès New
[COMMITTED,16/30] ada: Streamline propagation of controlled flags on types [COMMITTED,01/30] ada: Fix list of attributes defined by Ada 2022 - - - - --- 2024-06-20 Marc Poulhiès New
[COMMITTED,15/30] ada: Remove redundant conditions from freezing code [COMMITTED,01/30] ada: Fix list of attributes defined by Ada 2022 - - - - --- 2024-06-20 Marc Poulhiès New
[COMMITTED,14/30] ada: Fix style in freezing code [COMMITTED,01/30] ada: Fix list of attributes defined by Ada 2022 - - - - --- 2024-06-20 Marc Poulhiès New
[COMMITTED,13/30] ada: Remove Max_Entry_Queue_Depth pragma/aspect [COMMITTED,01/30] ada: Fix list of attributes defined by Ada 2022 - - - - --- 2024-06-20 Marc Poulhiès New
[COMMITTED,12/30] ada: Couple of minor fixes in GNAT Reference Manual [COMMITTED,01/30] ada: Fix list of attributes defined by Ada 2022 - - - - --- 2024-06-20 Marc Poulhiès New
[COMMITTED,11/30] ada: Add Dump_Buffers hooks for code coverage [COMMITTED,01/30] ada: Fix list of attributes defined by Ada 2022 - - - - --- 2024-06-20 Marc Poulhiès New
[COMMITTED,10/30] ada: Do not compute Has_Controlled_Component twice during freezing [COMMITTED,01/30] ada: Fix list of attributes defined by Ada 2022 - - - - --- 2024-06-20 Marc Poulhiès New
[COMMITTED,09/30] ada: Fix minor issues in comments [COMMITTED,01/30] ada: Fix list of attributes defined by Ada 2022 - - - - --- 2024-06-20 Marc Poulhiès New
[COMMITTED,08/30] ada: Document -gnatd_w for CCG [COMMITTED,01/30] ada: Fix list of attributes defined by Ada 2022 - - - - --- 2024-06-20 Marc Poulhiès New
[COMMITTED,07/30] ada: Change messages for -gnatw.v to warnings [COMMITTED,01/30] ada: Fix list of attributes defined by Ada 2022 - - - - --- 2024-06-20 Marc Poulhiès New
[COMMITTED,06/30] ada: Convert -gnatw.n messages to warnings [COMMITTED,01/30] ada: Fix list of attributes defined by Ada 2022 - - - - --- 2024-06-20 Marc Poulhiès New
[COMMITTED,05/30] ada: Add switch for suppressing info messages [COMMITTED,01/30] ada: Fix list of attributes defined by Ada 2022 - - - - --- 2024-06-20 Marc Poulhiès New
[COMMITTED,04/30] ada: Treat Info-Warnings as Info messages [COMMITTED,01/30] ada: Fix list of attributes defined by Ada 2022 - - - - --- 2024-06-20 Marc Poulhiès New
[COMMITTED,03/30] ada: Update documentation for 'Super [COMMITTED,01/30] ada: Fix list of attributes defined by Ada 2022 - - - - --- 2024-06-20 Marc Poulhiès New
[COMMITTED,02/30] ada: Improve preprocessor error handling. [COMMITTED,01/30] ada: Fix list of attributes defined by Ada 2022 - - - - --- 2024-06-20 Marc Poulhiès New
[COMMITTED,01/30] ada: Fix list of attributes defined by Ada 2022 [COMMITTED,01/30] ada: Fix list of attributes defined by Ada 2022 - - - - --- 2024-06-20 Marc Poulhiès New
[COMMITTED,16/16] ada: Do not include target-specific makefile fragments [COMMITTED,01/16] ada: Remove unused name of aspect from Snames - - - - --- 2024-06-14 Marc Poulhiès New
[COMMITTED,15/16] ada: Fix return mechanism reported by -gnatRm [COMMITTED,01/16] ada: Remove unused name of aspect from Snames - - - - --- 2024-06-14 Marc Poulhiès New
[COMMITTED,14/16] ada: Skip subprogram body entities inside scopes [COMMITTED,01/16] ada: Remove unused name of aspect from Snames - - - - --- 2024-06-14 Marc Poulhiès New
[COMMITTED,13/16] ada: Do not create null GCC thunks [COMMITTED,01/16] ada: Remove unused name of aspect from Snames - - - - --- 2024-06-14 Marc Poulhiès New
[COMMITTED,12/16] ada: Typo and indentation fix [COMMITTED,01/16] ada: Remove unused name of aspect from Snames - - - - --- 2024-06-14 Marc Poulhiès New
[COMMITTED,11/16] ada: Fix parts of classification of aspects [COMMITTED,01/16] ada: Remove unused name of aspect from Snames - - - - --- 2024-06-14 Marc Poulhiès New
[COMMITTED,10/16] ada: Bad tree built for Obj.Discrim_Dep_Component'Loop_Entry in assertion [COMMITTED,01/16] ada: Remove unused name of aspect from Snames - - - - --- 2024-06-14 Marc Poulhiès New
[COMMITTED,09/16] ada: Simplify handling of VxWorks-specific error codes for ENOENT [COMMITTED,01/16] ada: Remove unused name of aspect from Snames - - - - --- 2024-06-14 Marc Poulhiès New
[COMMITTED,08/16] ada: Minor tweak in Snames [COMMITTED,01/16] ada: Remove unused name of aspect from Snames - - - - --- 2024-06-14 Marc Poulhiès New
[COMMITTED,07/16] ada: Add prototype for mutably tagged types [COMMITTED,01/16] ada: Remove unused name of aspect from Snames - - - - --- 2024-06-14 Marc Poulhiès New
[COMMITTED,06/16] ada: Crash checking accessibility level on private type [COMMITTED,01/16] ada: Remove unused name of aspect from Snames - - - - --- 2024-06-14 Marc Poulhiès New
[COMMITTED,05/16] ada: Minor tweaks to processing of Aggregate aspect [COMMITTED,01/16] ada: Remove unused name of aspect from Snames - - - - --- 2024-06-14 Marc Poulhiès New
[COMMITTED,04/16] ada: Missing initialization of multidimensional array using sliding [COMMITTED,01/16] ada: Remove unused name of aspect from Snames - - - - --- 2024-06-14 Marc Poulhiès New
[COMMITTED,03/16] ada: Couple of small cleanups in semantic analysis of aspects [COMMITTED,01/16] ada: Remove unused name of aspect from Snames - - - - --- 2024-06-14 Marc Poulhiès New
[COMMITTED,02/16] ada: Allow implicit dereferenced for uses of 'Super [COMMITTED,01/16] ada: Remove unused name of aspect from Snames - - - - --- 2024-06-14 Marc Poulhiès New
[COMMITTED,01/16] ada: Remove unused name of aspect from Snames [COMMITTED,01/16] ada: Remove unused name of aspect from Snames - - - - --- 2024-06-14 Marc Poulhiès New
[COMMITTED,30/30] ada: Compiler goes into loop [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New
[COMMITTED,29/30] ada: Remove -gnatdJ switch [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New
[COMMITTED,28/30] ada: Fix segmentation fault on slice of array with Unbounded_String component [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New
[COMMITTED,27/30] ada: Remove Iterable from list of GNAT-specific attributes [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New
[COMMITTED,26/30] ada: Fix test for giving hint on ambiguous aggregate [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New
[COMMITTED,25/30] ada: Missing postcondition runtime check in inherited primitive [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New
[COMMITTED,24/30] ada: Revert changing a GNATProve mode message to a non-warning [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New
[COMMITTED,23/30] ada: Deep copy of an expression sometimes fails to copy entities [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New
[COMMITTED,22/30] ada: Minor cleanups in generic formal matching [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New
[COMMITTED,21/30] ada: Remove message about goto rewritten as a loop [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New
[COMMITTED,20/30] ada: Remove warning insertion characters from info messages [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New
[COMMITTED,19/30] ada: Convert an info message to a continuation [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New
« 1 2 3 4 … 13 14 »