Show patches with: Submitter = Pierre-Marie de Rodat       |    State = Action Required       |    Archived = No       |   582 patches
« 1 2 3 45 6 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Add "Global => null" contracts to Ada.Calendar routines [Ada] Add "Global => null" contracts to Ada.Calendar routines - - - - 0 0 0 2018-12-11 Pierre-Marie de Rodat New
[Ada] Spurious error with pragma Thread_Local_Storage [Ada] Spurious error with pragma Thread_Local_Storage - - - - 0 0 0 2018-12-11 Pierre-Marie de Rodat New
[Ada] Do not expand code inside ignored ghost bodies [Ada] Do not expand code inside ignored ghost bodies - - - - 0 0 0 2018-12-11 Pierre-Marie de Rodat New
[Ada] Crash on misplaced First operation for GNAT iterable type [Ada] Crash on misplaced First operation for GNAT iterable type - - - - 0 0 0 2018-12-11 Pierre-Marie de Rodat New
[Ada] Volatility, validity checks, and System.Aux_DEC [Ada] Volatility, validity checks, and System.Aux_DEC - - - - 0 0 0 2018-12-11 Pierre-Marie de Rodat New
[Ada] Improve error message when named number passed as global item [Ada] Improve error message when named number passed as global item - - - - 0 0 0 2018-12-11 Pierre-Marie de Rodat New
[Ada] Fix setting of Has_Predicate flag for aggregate subtypes [Ada] Fix setting of Has_Predicate flag for aggregate subtypes - - - - 0 0 0 2018-12-11 Pierre-Marie de Rodat New
[Ada] Plug small loophole with pathological packed array type [Ada] Plug small loophole with pathological packed array type - - - - 0 0 0 2018-12-11 Pierre-Marie de Rodat New
[Ada] gnatbind: ghost code with -gnatQ [Ada] gnatbind: ghost code with -gnatQ - - - - 0 0 0 2018-12-11 Pierre-Marie de Rodat New
[Ada] Missing predicate check on declaration with aggregate expression [Ada] Missing predicate check on declaration with aggregate expression - - - - 0 0 0 2018-12-11 Pierre-Marie de Rodat New
[Ada] Crash on generic instantiation in ignored Ghost context [Ada] Crash on generic instantiation in ignored Ghost context - - - - 0 0 0 2018-12-11 Pierre-Marie de Rodat New
[Ada] Crash on compilation unit function that builds in place [Ada] Crash on compilation unit function that builds in place - - - - 0 0 0 2018-12-11 Pierre-Marie de Rodat New
[Ada] Crash on ignored Ghost expression function [Ada] Crash on ignored Ghost expression function - - - - 0 0 0 2018-12-11 Pierre-Marie de Rodat New
[Ada] Remove vxlink and vxaddr2line from this repository [Ada] Remove vxlink and vxaddr2line from this repository - - - - 0 0 0 2018-12-11 Pierre-Marie de Rodat New
[Ada] Complete implementation of RM C.6(19) clause [Ada] Complete implementation of RM C.6(19) clause - - - - 0 0 0 2018-12-11 Pierre-Marie de Rodat New
[Ada] Stubs that complete generic subprogram do have a "prior declaration" [Ada] Stubs that complete generic subprogram do have a "prior declaration" - - - - 0 0 0 2018-12-11 Pierre-Marie de Rodat New
[Ada] Support access types in GNATprove [Ada] Support access types in GNATprove - - - - 0 0 0 2018-12-11 Pierre-Marie de Rodat New
[Ada] Better error message from GNATprove on illegal switch [Ada] Better error message from GNATprove on illegal switch - - - - 0 0 0 2018-12-11 Pierre-Marie de Rodat New
[Ada] Additionsal trasformations for unnesting in package bodies [Ada] Additionsal trasformations for unnesting in package bodies - - - - 0 0 0 2018-12-11 Pierre-Marie de Rodat New
[Ada] Remove vxworks*-crtbe-link.spec [Ada] Remove vxworks*-crtbe-link.spec - - - - 0 0 0 2018-12-11 Pierre-Marie de Rodat New
[Ada] Spurious visibility error on aspect Predicate [Ada] Spurious visibility error on aspect Predicate - - - - 0 0 0 2018-12-11 Pierre-Marie de Rodat New
[Ada] Fix an ICE on instantiated subprogram with -gnatc [Ada] Fix an ICE on instantiated subprogram with -gnatc - - - - 0 0 0 2018-12-11 Pierre-Marie de Rodat New
[Ada] Spurious errors on aspect specifications in generic units [Ada] Spurious errors on aspect specifications in generic units - - - - 0 0 0 2018-12-11 Pierre-Marie de Rodat New
[Ada] Crash on nesting of subunits with bodies acting as specs [Ada] Crash on nesting of subunits with bodies acting as specs - - - - 0 0 0 2018-12-11 Pierre-Marie de Rodat New
[Ada] Suppress call to Initial_Condition when the annotation is ignored [Ada] Suppress call to Initial_Condition when the annotation is ignored - - - - 0 0 0 2018-12-11 Pierre-Marie de Rodat New
[Ada] Fixes for various wrong and missing error messages on ACATS B85100[567] [Ada] Fixes for various wrong and missing error messages on ACATS B85100[567] - - - - 0 0 0 2018-12-03 Pierre-Marie de Rodat New
[Ada] Spurious error on dependent expression that is an array [Ada] Spurious error on dependent expression that is an array - - - - 0 0 0 2018-12-03 Pierre-Marie de Rodat New
[Ada] Add leap seconds for 2015 and 2016 [Ada] Add leap seconds for 2015 and 2016 - - - - 0 0 0 2018-12-03 Pierre-Marie de Rodat New
[Ada] Fix recent regression on array aggregate with dynamic subtype [Ada] Fix recent regression on array aggregate with dynamic subtype - - - - 0 0 0 2018-12-03 Pierre-Marie de Rodat New
[Ada] Fix internal error on package instantiation on private type [Ada] Fix internal error on package instantiation on private type - - - - 0 0 0 2018-12-03 Pierre-Marie de Rodat New
[Ada] Fix problematic overloading of operator in Ada 95 mode [Ada] Fix problematic overloading of operator in Ada 95 mode - - - - 0 0 0 2018-12-03 Pierre-Marie de Rodat New
[Ada] A task not executing an entry call consumes an Entry_Call slot [Ada] A task not executing an entry call consumes an Entry_Call slot - - - - 0 0 0 2018-12-03 Pierre-Marie de Rodat New
[Ada] Fix assertion failures with -gnatde and -gnatdv [Ada] Fix assertion failures with -gnatde and -gnatdv - - - - 0 0 0 2018-12-03 Pierre-Marie de Rodat New
[Ada] Gigi support for OpenACC pragmas [Ada] Gigi support for OpenACC pragmas - - - - 0 0 0 2018-12-03 Pierre-Marie de Rodat New
[Ada] Adjust the default MALLOC_OBSERVABLE_ALIGNMENT to 2 * POINTER_SIZE [Ada] Adjust the default MALLOC_OBSERVABLE_ALIGNMENT to 2 * POINTER_SIZE - - - - 0 0 0 2018-12-03 Pierre-Marie de Rodat New
[Ada] Missing check on if-expression [Ada] Missing check on if-expression - - - - 0 0 0 2018-12-03 Pierre-Marie de Rodat New
[Ada] Problem with boundary case of XOR operation and unnesting [Ada] Problem with boundary case of XOR operation and unnesting - - - - 0 0 0 2018-11-14 Pierre-Marie de Rodat New
[Ada] Fix small regression with others choice in array aggregate [Ada] Fix small regression with others choice in array aggregate - - - - 0 0 0 2018-11-14 Pierre-Marie de Rodat New
[Ada] Remove couple of recently added dead tests [Ada] Remove couple of recently added dead tests - - - - 0 0 0 2018-11-14 Pierre-Marie de Rodat New
[Ada] Spurious error on Ghost null procedure [Ada] Spurious error on Ghost null procedure - - - - 0 0 0 2018-11-14 Pierre-Marie de Rodat New
[Ada] More complete information level for -gnatR output [Ada] More complete information level for -gnatR output - - - - 0 0 0 2018-11-14 Pierre-Marie de Rodat New
[Ada] Crash on interface equality covered by a renaming declaration [Ada] Crash on interface equality covered by a renaming declaration - - - - 0 0 0 2018-11-14 Pierre-Marie de Rodat New
[Ada] Use of Suppress_Initialization with pragma Thread_Local_Storage [Ada] Use of Suppress_Initialization with pragma Thread_Local_Storage - - - - 0 0 0 2018-11-14 Pierre-Marie de Rodat New
[Ada] Missing constraint check on if-expression returning a string [Ada] Missing constraint check on if-expression returning a string - - - - 0 0 0 2018-11-14 Pierre-Marie de Rodat New
[Ada] Fix assertion failure on pragma Compile_Time_Error in generic unit [Ada] Fix assertion failure on pragma Compile_Time_Error in generic unit - - - - 0 0 0 2018-11-14 Pierre-Marie de Rodat New
[Ada] Crash on use of generic formal package [Ada] Crash on use of generic formal package - - - - 0 0 0 2018-11-14 Pierre-Marie de Rodat New
[Ada] Compiler crash on decl. with limited aggregate and address clause [Ada] Compiler crash on decl. with limited aggregate and address clause - - - - 0 0 0 2018-11-14 Pierre-Marie de Rodat New
[Ada] System'To_Address not always static [Ada] System'To_Address not always static - - - - 0 0 0 2018-11-14 Pierre-Marie de Rodat New
[Ada] Enhance constraints propagation to ease the work of optimizers [Ada] Enhance constraints propagation to ease the work of optimizers - - - - 0 0 0 2018-11-14 Pierre-Marie de Rodat New
[Ada] Renamed equality leads to spurious errors [Ada] Renamed equality leads to spurious errors - - - - 0 0 0 2018-11-14 Pierre-Marie de Rodat New
[Ada] Crash on ignored Ghost assignment [Ada] Crash on ignored Ghost assignment - - - - 0 0 0 2018-11-14 Pierre-Marie de Rodat New
[Ada] Visibility error on used enumerated type [Ada] Visibility error on used enumerated type - - - - 0 0 0 2018-11-14 Pierre-Marie de Rodat New
[Ada] Unnesting transformations for blocks in package bodies [Ada] Unnesting transformations for blocks in package bodies - - - - 0 0 0 2018-11-14 Pierre-Marie de Rodat New
[Ada] Improper extension of bounds of fixed-point type [Ada] Improper extension of bounds of fixed-point type - - - - 0 0 0 2018-11-14 Pierre-Marie de Rodat New
[Ada] Limited function violates No_Exception_Propagation [Ada] Limited function violates No_Exception_Propagation - - - - 0 0 0 2018-11-14 Pierre-Marie de Rodat New
[Ada] Crash on tagged equality [Ada] Crash on tagged equality - - - - 0 0 0 2018-11-14 Pierre-Marie de Rodat New
[Ada] Record components do not appear in the Global contract [Ada] Record components do not appear in the Global contract - - - - 0 0 0 2018-11-14 Pierre-Marie de Rodat New
[Ada] Fix handling of generic actuals with default expression in SPARK [Ada] Fix handling of generic actuals with default expression in SPARK - - - - 0 0 0 2018-11-14 Pierre-Marie de Rodat New
[Ada] Lingering loop for ignored Ghost assignment [Ada] Lingering loop for ignored Ghost assignment - - - - 0 0 0 2018-11-14 Pierre-Marie de Rodat New
[Ada] Fix spurious -Wuninitialized warnings for small records [Ada] Fix spurious -Wuninitialized warnings for small records - - - - 0 0 0 2018-10-09 Pierre-Marie de Rodat New
[Ada] Ignore pragmas Compile_Time_Error/Warning in GNATprove mode [Ada] Ignore pragmas Compile_Time_Error/Warning in GNATprove mode - - - - 0 0 0 2018-10-09 Pierre-Marie de Rodat New
[Ada] Fix spurious error on derived record passed as Out parameter [Ada] Fix spurious error on derived record passed as Out parameter - - - - 0 0 0 2018-10-09 Pierre-Marie de Rodat New
[Ada] Fix strange warning when using Ada.Iterator_Interface [Ada] Fix strange warning when using Ada.Iterator_Interface - - - - 0 0 0 2018-10-09 Pierre-Marie de Rodat New
[Ada] Internal error on inlined renaming of subprogram instance [Ada] Internal error on inlined renaming of subprogram instance - - - - 0 0 0 2018-10-09 Pierre-Marie de Rodat New
[Ada] Spurious error message on visibiliy change in aspect expression [Ada] Spurious error message on visibiliy change in aspect expression - - - - 0 0 0 2018-10-09 Pierre-Marie de Rodat New
[Ada] Fix inheritance of representation items defined as aspects [Ada] Fix inheritance of representation items defined as aspects - - - - 0 0 0 2018-09-26 Pierre-Marie de Rodat New
[Ada] Spurious ineffective use_clause warning [Ada] Spurious ineffective use_clause warning - - - - 0 0 0 2018-09-26 Pierre-Marie de Rodat New
[Ada] Issue info message on inlined subprograms in GNATprove mode [Ada] Issue info message on inlined subprograms in GNATprove mode - - - - 0 0 0 2018-09-26 Pierre-Marie de Rodat New
[Ada] Missing front-end code for constraint checks on fixed point exprs [Ada] Missing front-end code for constraint checks on fixed point exprs - - - - 0 0 0 2018-09-26 Pierre-Marie de Rodat New
[Ada] Spurious elaboration issue due to inlining [Ada] Spurious elaboration issue due to inlining - - - - 0 0 0 2018-09-26 Pierre-Marie de Rodat New
[Ada] Do not issue by default info messages for inlining in GNATprove [Ada] Do not issue by default info messages for inlining in GNATprove - - - - 0 0 0 2018-09-26 Pierre-Marie de Rodat New
[Ada] Spurious error on interface conversion under ZFP [Ada] Spurious error on interface conversion under ZFP - - - - 0 0 0 2018-09-26 Pierre-Marie de Rodat New
[Ada] Spurious error on private extension with predicate [Ada] Spurious error on private extension with predicate - - - - 0 0 0 2018-09-26 Pierre-Marie de Rodat New
[Ada] Spurious dependency on secondary stack [Ada] Spurious dependency on secondary stack - - - - 0 0 0 2018-09-26 Pierre-Marie de Rodat New
[Ada] Mimic the C++ ABI when passing class-wide conversion actuals [Ada] Mimic the C++ ABI when passing class-wide conversion actuals - - - - 0 0 0 2018-09-26 Pierre-Marie de Rodat New
[Ada] Pair miscount in Dynamic_HTable.Put [Ada] Pair miscount in Dynamic_HTable.Put - - - - 0 0 0 2018-09-26 Pierre-Marie de Rodat New
[Ada] New unit GNAT.Sets [Ada] New unit GNAT.Sets - - - - 0 0 0 2018-09-26 Pierre-Marie de Rodat New
[Ada] Illegal formal objects associated with anonymous acc-to-subp args [Ada] Illegal formal objects associated with anonymous acc-to-subp args - - - - 0 0 0 2018-09-26 Pierre-Marie de Rodat New
[Ada] Missing error on non-limited derived type with limited component [Ada] Missing error on non-limited derived type with limited component - - - - 0 0 0 2018-09-26 Pierre-Marie de Rodat New
[Ada] Inlining of renamed subprogram instances in package body [Ada] Inlining of renamed subprogram instances in package body - - - - 0 0 0 2018-09-26 Pierre-Marie de Rodat New
[Ada] Preparation for new description of interface thunks [Ada] Preparation for new description of interface thunks - - - - 0 0 0 2018-09-26 Pierre-Marie de Rodat New
[Ada] Crash on expression functions within quantified expressions [Ada] Crash on expression functions within quantified expressions - - - - 0 0 0 2018-09-26 Pierre-Marie de Rodat New
[Ada] Missing predicate check on return value [Ada] Missing predicate check on return value - - - - 0 0 0 2018-09-26 Pierre-Marie de Rodat New
[Ada] Fix assertion failure on record subtype with -gnatRj [Ada] Fix assertion failure on record subtype with -gnatRj - - - - 0 0 0 2018-09-26 Pierre-Marie de Rodat New
[Ada] Regression in partial compilation of RCI units [Ada] Regression in partial compilation of RCI units - - - - 0 0 0 2018-09-26 Pierre-Marie de Rodat New
[Ada] Set Current_Error_Node directly [Ada] Set Current_Error_Node directly - - - - 0 0 0 2018-09-26 Pierre-Marie de Rodat New
[Ada] Introduce -gnatd_A to set Opt.Disable_ALI_File [Ada] Introduce -gnatd_A to set Opt.Disable_ALI_File - - - - 0 0 0 2018-09-26 Pierre-Marie de Rodat New
[Ada] Add a new gnat tool vxlink [Ada] Add a new gnat tool vxlink - - - - 0 0 0 2018-08-21 Pierre-Marie de Rodat New
[Ada] Crash on expression function and tagged types [Ada] Crash on expression function and tagged types - - - - 0 0 0 2018-08-21 Pierre-Marie de Rodat New
[Ada] Spurious crash on expression function as completion with contracts [Ada] Spurious crash on expression function as completion with contracts - - - - 0 0 0 2018-08-21 Pierre-Marie de Rodat New
[Ada] Retention of with clauses for ignored Ghost units [Ada] Retention of with clauses for ignored Ghost units - - - - 0 0 0 2018-08-21 Pierre-Marie de Rodat New
[Ada] Crash processing SPARK annotate aspect [Ada] Crash processing SPARK annotate aspect - - - - 0 0 0 2018-08-21 Pierre-Marie de Rodat New
[Ada] Spurious error on overriding protected function in instance [Ada] Spurious error on overriding protected function in instance - - - - 0 0 0 2018-08-21 Pierre-Marie de Rodat New
[Ada] Update for Ownership rules for access types according to AI12-0240 [Ada] Update for Ownership rules for access types according to AI12-0240 - - - - 0 0 0 2018-08-21 Pierre-Marie de Rodat New
[Ada] Spurious ambiguity error on call returning an access type [Ada] Spurious ambiguity error on call returning an access type - - - - 0 0 0 2018-08-21 Pierre-Marie de Rodat New
[Ada] Improper copying of limited arrays with default initialization [Ada] Improper copying of limited arrays with default initialization - - - - 0 0 0 2018-08-21 Pierre-Marie de Rodat New
[Ada] Fix internal error on extension of record with representation clause [Ada] Fix internal error on extension of record with representation clause - - - - 0 0 0 2018-08-21 Pierre-Marie de Rodat New
[Ada] Spurious "Duplicated symbol" error with discriminated tasks [Ada] Spurious "Duplicated symbol" error with discriminated tasks - - - - 0 0 0 2018-08-21 Pierre-Marie de Rodat New
[Ada] Define versions of dimension system for Float and Long_Float [Ada] Define versions of dimension system for Float and Long_Float - - - - 0 0 0 2018-08-21 Pierre-Marie de Rodat New
[Ada] General purpose doubly linked list for compiler and tool use [Ada] General purpose doubly linked list for compiler and tool use - - - - 0 0 0 2018-08-21 Pierre-Marie de Rodat New
« 1 2 3 45 6 »