Show patches with: Submitter = Pierre-Marie de Rodat       |    State = Action Required       |    Archived = No       |   523 patches
« 1 2 3 45 6 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[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
[Ada] Crash on entry in generic with dynamic elaboration checks [Ada] Crash on entry in generic with dynamic elaboration checks - - - - 0 0 0 2018-08-21 Pierre-Marie de Rodat New
[Ada] Compiler abort on call to expr. function for default discriminant [Ada] Compiler abort on call to expr. function for default discriminant - - - - 0 0 0 2018-08-21 Pierre-Marie de Rodat New
[Ada] Dynamically resizable, load factor-based hash table [Ada] Dynamically resizable, load factor-based hash table - - - - 0 0 0 2018-08-21 Pierre-Marie de Rodat New
[Ada] Enumeration types with non-standard representation [Ada] Enumeration types with non-standard representation - - - - 0 0 0 2018-08-21 Pierre-Marie de Rodat New
[Ada] Handle pragmas that come from aspects for GNATprove [Ada] Handle pragmas that come from aspects for GNATprove - - - - 0 0 0 2018-08-21 Pierre-Marie de Rodat New
[Ada] Secondary stack leak with access-to-subprogram [Ada] Secondary stack leak with access-to-subprogram - - - - 0 0 0 2018-07-31 Pierre-Marie de Rodat New
[Ada] Spurious error on default parameter in protected operation [Ada] Spurious error on default parameter in protected operation - - - - 0 0 0 2018-07-31 Pierre-Marie de Rodat New
[Ada] GNATmake fails to detect missing body [Ada] GNATmake fails to detect missing body - - - - 0 0 0 2018-07-31 Pierre-Marie de Rodat New
[Ada] Fix alignment of mutex_t and cond_t type on 32-bit SPARC/Solaris [Ada] Fix alignment of mutex_t and cond_t type on 32-bit SPARC/Solaris - - - - 0 0 0 2018-07-31 Pierre-Marie de Rodat New
[Ada] Wrong value after assignment of overlain record objects [Ada] Wrong value after assignment of overlain record objects - - - - 0 0 0 2018-07-31 Pierre-Marie de Rodat New
[Ada] Spurious error on the placement of aspect Global [Ada] Spurious error on the placement of aspect Global - - - - 0 0 0 2018-07-31 Pierre-Marie de Rodat New
[Ada] Compiler failure on an extended_return_statement in a block [Ada] Compiler failure on an extended_return_statement in a block - - - - 0 0 0 2018-07-31 Pierre-Marie de Rodat New
[Ada] Spurious warning on iteration over range of 64-bit modular type [Ada] Spurious warning on iteration over range of 64-bit modular type - - - - 0 0 0 2018-07-31 Pierre-Marie de Rodat New
[Ada] Replace low-level calls to Ekind with high-level calls to Is_Formal [Ada] Replace low-level calls to Ekind with high-level calls to Is_Formal - - - - 0 0 0 2018-07-31 Pierre-Marie de Rodat New
[Ada] Deconstruct 'F' as a prefix for an ALI data [Ada] Deconstruct 'F' as a prefix for an ALI data - - - - 0 0 0 2018-07-31 Pierre-Marie de Rodat New
[Ada] Spurious error -- "allocation from empty storage pool" [Ada] Spurious error -- "allocation from empty storage pool" - - - - 0 0 0 2018-07-31 Pierre-Marie de Rodat New
[Ada] Spurious error on prefixed call in an instantiation [Ada] Spurious error on prefixed call in an instantiation - - - - 0 0 0 2018-07-17 Pierre-Marie de Rodat New
[Ada] Fix incompatibility Default_Scalar_Storage_Order/tagged types [Ada] Fix incompatibility Default_Scalar_Storage_Order/tagged types - - - - 0 0 0 2018-07-17 Pierre-Marie de Rodat New
[Ada] Use standard version of s-memory.adb for mingw32 [Ada] Use standard version of s-memory.adb for mingw32 - - - - 0 0 0 2018-07-17 Pierre-Marie de Rodat New
[Ada] Faulty ignored Ghost code removal [Ada] Faulty ignored Ghost code removal - - - - 0 0 0 2018-07-17 Pierre-Marie de Rodat New
[Ada] Configuration state not observed for instance bodies [Ada] Configuration state not observed for instance bodies - - - - 0 0 0 2018-07-17 Pierre-Marie de Rodat New
[Ada] Minor fix for imported C++ constructors [Ada] Minor fix for imported C++ constructors - - - - 0 0 0 2018-07-17 Pierre-Marie de Rodat New
[Ada] Assertion_Policy for class-wide precondition [Ada] Assertion_Policy for class-wide precondition - - - - 0 0 0 2018-07-17 Pierre-Marie de Rodat New
[Ada] Missing check on illegal equality operation in subprogram [Ada] Missing check on illegal equality operation in subprogram - - - - 0 0 0 2018-07-17 Pierre-Marie de Rodat New
[Ada] Crash processing abstract state aspect of a package [Ada] Crash processing abstract state aspect of a package - - - - 0 0 0 2018-07-17 Pierre-Marie de Rodat New
[Ada] Argument_String_To_List creates empty items from whitespace [Ada] Argument_String_To_List creates empty items from whitespace - - - - 0 0 0 2018-07-17 Pierre-Marie de Rodat New
[Ada] Spurious error on Part_Of indicator [Ada] Spurious error on Part_Of indicator - - - - 0 0 0 2018-07-17 Pierre-Marie de Rodat New
[Ada] Avoid confusing warning on exception propagation in GNATprove mode [Ada] Avoid confusing warning on exception propagation in GNATprove mode - - - - 0 0 0 2018-07-17 Pierre-Marie de Rodat New
[Ada] Secondary stack leak in statements block located in a loop [Ada] Secondary stack leak in statements block located in a loop - - - - 0 0 0 2018-07-17 Pierre-Marie de Rodat New
[Ada] Add elaboration-related switches to GNAT UGN [Ada] Add elaboration-related switches to GNAT UGN - - - - 0 0 0 2018-07-17 Pierre-Marie de Rodat New
[Ada] New ignored Ghost code removal mechanism [Ada] New ignored Ghost code removal mechanism - - - - 0 0 0 2018-07-17 Pierre-Marie de Rodat New
[Ada] Secondary stack leak in loop iterator [Ada] Secondary stack leak in loop iterator - - - - 0 0 0 2018-07-17 Pierre-Marie de Rodat New
[Ada] Fix Next_Actual when used on calls "inlined for proof" [Ada] Fix Next_Actual when used on calls "inlined for proof" - - - - 0 0 0 2018-07-17 Pierre-Marie de Rodat New
[Ada] Attach the special GNATprove HEAP entity to the Standard package [Ada] Attach the special GNATprove HEAP entity to the Standard package - - - - 0 0 0 2018-07-17 Pierre-Marie de Rodat New
[Ada] Spurious error on unused Part_Of constituent [Ada] Spurious error on unused Part_Of constituent - - - - 0 0 0 2018-07-17 Pierre-Marie de Rodat New
[Ada] Crash on case expression in build-in-place function [Ada] Crash on case expression in build-in-place function - - - - 0 0 0 2018-07-17 Pierre-Marie de Rodat New
[Ada] Missing error on hidden state in instantiation [Ada] Missing error on hidden state in instantiation - - - - 0 0 0 2018-07-16 Pierre-Marie de Rodat New
[Ada] Spurious error with null Abstract_State [Ada] Spurious error with null Abstract_State - - - - 0 0 0 2018-07-16 Pierre-Marie de Rodat New
[Ada] Deconstruct unused Withed_Body filed of N_With_Clause node [Ada] Deconstruct unused Withed_Body filed of N_With_Clause node - - - - 0 0 0 2018-07-16 Pierre-Marie de Rodat New
[Ada] Avoid crash when traversing units with -gnatd.WW debug switch [Ada] Avoid crash when traversing units with -gnatd.WW debug switch - - - - 0 0 0 2018-07-16 Pierre-Marie de Rodat New
[Ada] Deconstruct always-false calls to Withed_Body in Walk_Library_Items [Ada] Deconstruct always-false calls to Withed_Body in Walk_Library_Items - - - - 0 0 0 2018-07-16 Pierre-Marie de Rodat New
[Ada] Crash on Indefinite_Hashed_Maps with -gnata -gnateV [Ada] Crash on Indefinite_Hashed_Maps with -gnata -gnateV - - - - 0 0 0 2018-07-16 Pierre-Marie de Rodat New
[Ada] Spurious possible contraint error warning with No_Exception_Propagation [Ada] Spurious possible contraint error warning with No_Exception_Propagation - - - - 0 0 0 2018-07-16 Pierre-Marie de Rodat New
[Ada] Segmentation_Fault with Integer'Wide_Wide_Value [Ada] Segmentation_Fault with Integer'Wide_Wide_Value - - - - 0 0 0 2018-07-16 Pierre-Marie de Rodat New
[Ada] Bit_Order cannot be defined for record extensions [Ada] Bit_Order cannot be defined for record extensions - - - - 0 0 0 2018-07-16 Pierre-Marie de Rodat New
[Ada] Code cleanup on functions inlining [Ada] Code cleanup on functions inlining - - - - 0 0 0 2018-07-16 Pierre-Marie de Rodat New
[Ada] Crash processing sources under GNATprove debug mode [Ada] Crash processing sources under GNATprove debug mode - - - - 0 0 0 2018-07-16 Pierre-Marie de Rodat New
[Ada] Adjust inlining in GNATprove mode for predicate/invariant/DIC [Ada] Adjust inlining in GNATprove mode for predicate/invariant/DIC - - - - 0 0 0 2018-07-16 Pierre-Marie de Rodat New
[Ada] Violation of No_Standard_Allocators_After_Elaboration not detected [Ada] Violation of No_Standard_Allocators_After_Elaboration not detected - - - - 0 0 0 2018-07-16 Pierre-Marie de Rodat New
[Ada] Illegal deferred constant causes stack overflow [Ada] Illegal deferred constant causes stack overflow - - - - 0 0 0 2018-07-16 Pierre-Marie de Rodat New
[Ada] Adjust growth factor from 1/32 to 1/2 for Unbounded_String [Ada] Adjust growth factor from 1/32 to 1/2 for Unbounded_String - - - - 0 0 0 2018-07-16 Pierre-Marie de Rodat New
[Ada] Suppress the expansion of ignored assertion pragmas [Ada] Suppress the expansion of ignored assertion pragmas - - - - 0 0 0 2018-06-11 Pierre-Marie de Rodat New
[Ada] Double finalization of limited controlled result [Ada] Double finalization of limited controlled result - - - - 0 0 0 2018-06-11 Pierre-Marie de Rodat New
[Ada] Improve last exception info availability from C++ handlers [Ada] Improve last exception info availability from C++ handlers - - - - 0 0 0 2018-06-11 Pierre-Marie de Rodat New
[Ada] Dangling cursor checks in Element function [Ada] Dangling cursor checks in Element function - - - - 0 0 0 2018-06-11 Pierre-Marie de Rodat New
[Ada] Mark parameters as coming from source for GNATprove [Ada] Mark parameters as coming from source for GNATprove - - - - 0 0 0 2018-06-11 Pierre-Marie de Rodat New
[Ada] Missing predicate function body for derived type in nested package [Ada] Missing predicate function body for derived type in nested package - - - - 0 0 0 2018-06-11 Pierre-Marie de Rodat New
[Ada] Reject violation of SPARK 6.1.4(12) with enclosing task unit [Ada] Reject violation of SPARK 6.1.4(12) with enclosing task unit - - - - 0 0 0 2018-06-11 Pierre-Marie de Rodat New
[Ada] Make GNAT.Array_Split a preelaborable unit [Ada] Make GNAT.Array_Split a preelaborable unit - - - - 0 0 0 2018-06-11 Pierre-Marie de Rodat New
« 1 2 3 45 6 »