Show patches with: Submitter = Pierre-Marie de Rodat       |    State = Action Required       |    Archived = No       |   145 patches
« 1 2 »
Patch Series A/R/T S/W/F Date Submitter Delegate State
[Ada] Calls in preelaborated units and pragma Remote_Call_Interface [Ada] Calls in preelaborated units and pragma Remote_Call_Interface - - - 0 0 0 2017-10-14 Pierre-Marie de Rodat New
[Ada] Activation/suppression of SPARK elaboration rules [Ada] Activation/suppression of SPARK elaboration rules - - - 0 0 0 2017-10-14 Pierre-Marie de Rodat New
[Ada] Premature evaluation of message string in Assert pragma [Ada] Premature evaluation of message string in Assert pragma - - - 0 0 0 2017-10-14 Pierre-Marie de Rodat New
[Ada] Repair ABI breakage on 32-bit x86/Linux [Ada] Repair ABI breakage on 32-bit x86/Linux - - - 0 0 0 2017-10-14 Pierre-Marie de Rodat New
[Ada] Fix performance regression of Ada.Numerics on 32-bit Windows [Ada] Fix performance regression of Ada.Numerics on 32-bit Windows - - - 0 0 0 2017-10-14 Pierre-Marie de Rodat New
[Ada] Missing validity check on record type component [Ada] Missing validity check on record type component - - - 0 0 0 2017-10-14 Pierre-Marie de Rodat New
[Ada] Spurious ineffective use_type_clause warning on private type [Ada] Spurious ineffective use_type_clause warning on private type - - - 0 0 0 2017-10-14 Pierre-Marie de Rodat New
[Ada] Variable assignments and reads in SPARK elaboration code [Ada] Variable assignments and reads in SPARK elaboration code - - - 0 0 0 2017-10-14 Pierre-Marie de Rodat New
[Ada] New secondary stack allocation behaviour [Ada] New secondary stack allocation behaviour - - - 0 0 0 2017-10-14 Pierre-Marie de Rodat New
[Ada] Proper resolution of Initializes and Initial_Condition [Ada] Proper resolution of Initializes and Initial_Condition - - - 0 0 0 2017-10-14 Pierre-Marie de Rodat New
[Ada] Remove obsolete comment for Generic_Parent [Ada] Remove obsolete comment for Generic_Parent - - - 0 0 0 2017-10-14 Pierre-Marie de Rodat New
[Ada] Missing warning about replacement of warnings off for unreferenced [Ada] Missing warning about replacement of warnings off for unreferenced - - - 0 0 0 2017-10-14 Pierre-Marie de Rodat New
[Ada] Small optimizations in Sem_Type.Covers [Ada] Small optimizations in Sem_Type.Covers - - - 0 0 0 2017-10-09 Pierre-Marie de Rodat New
[Ada] Missing error on implicit copy of limited value in expression function [Ada] Missing error on implicit copy of limited value in expression function - - - 0 0 0 2017-10-09 Pierre-Marie de Rodat New
[Ada] Update the categorization of N_Call_Marker nodes [Ada] Update the categorization of N_Call_Marker nodes - - - 0 0 0 2017-10-09 Pierre-Marie de Rodat New
[Ada] Crash on potential access-before-elaboration in ZFP [Ada] Crash on potential access-before-elaboration in ZFP - - - 0 0 0 2017-10-09 Pierre-Marie de Rodat New
[Ada] Crash on child unit name with -gnatdJ [Ada] Crash on child unit name with -gnatdJ - - - 0 0 0 2017-10-09 Pierre-Marie de Rodat New
[Ada] Support for reverse iteration on formal containers [Ada] Support for reverse iteration on formal containers - - - 0 0 0 2017-10-09 Pierre-Marie de Rodat New
[Ada] Check elaboration requirement for SPARK in the static model [Ada] Check elaboration requirement for SPARK in the static model - - - 0 0 0 2017-10-09 Pierre-Marie de Rodat New
[Ada] Spurious warnings with dynamic elab checks [Ada] Spurious warnings with dynamic elab checks - - - 0 0 0 2017-10-09 Pierre-Marie de Rodat New
[Ada] Internal error on expression function in ghost package [Ada] Internal error on expression function in ghost package - - - 0 0 0 2017-10-09 Pierre-Marie de Rodat New
[Ada] Rewrite check for SPARK RM 7.1.3(10) [Ada] Rewrite check for SPARK RM 7.1.3(10) - - - 0 0 0 2017-10-09 Pierre-Marie de Rodat New
[Ada] Spurious error in use of homograph of type name in predicate [Ada] Spurious error in use of homograph of type name in predicate - - - 0 0 0 2017-10-09 Pierre-Marie de Rodat New
[Ada] Suppress generation of ABE checks in GNATprove mode [Ada] Suppress generation of ABE checks in GNATprove mode - - - 0 0 0 2017-10-09 Pierre-Marie de Rodat New
[Ada] Spurious error with predicate and class-wide object [Ada] Spurious error with predicate and class-wide object - - - 0 0 0 2017-10-09 Pierre-Marie de Rodat New
[Ada] Suppress checks within finalizers [Ada] Suppress checks within finalizers - - - 0 0 0 2017-10-09 Pierre-Marie de Rodat New
[Ada] Static allocation of secondary dispatch tables [Ada] Static allocation of secondary dispatch tables - - - 0 0 0 2017-10-09 Pierre-Marie de Rodat New
[Ada] Improve nnd debugging hooks [Ada] Improve nnd debugging hooks - - - 0 0 0 2017-10-09 Pierre-Marie de Rodat New
[Ada] Spurious error with expression function returning anonymous access [Ada] Spurious error with expression function returning anonymous access - - - 0 0 0 2017-10-09 Pierre-Marie de Rodat New
[Add] Spurious ambiguity in prefixed call to classwide operation [Add] Spurious ambiguity in prefixed call to classwide operation - - - 0 0 0 2017-10-09 Pierre-Marie de Rodat New
[Ada] Detect protected types as program units [Ada] Detect protected types as program units - - - 0 0 0 2017-10-09 Pierre-Marie de Rodat New
[Ada] Warnings for ineffective use clauses unclear [Ada] Warnings for ineffective use clauses unclear - - - 0 0 0 2017-10-09 Pierre-Marie de Rodat New
[Ada] Crash on validity check on actual with type conversion [Ada] Crash on validity check on actual with type conversion - - - 0 0 0 2017-10-09 Pierre-Marie de Rodat New
[Ada] Crash on actual that is an instance of a generic child unit [Ada] Crash on actual that is an instance of a generic child unit - - - 0 0 0 2017-10-09 Pierre-Marie de Rodat New
[Ada] Misleading warning when no read access for source file [Ada] Misleading warning when no read access for source file - - - 0 0 0 2017-09-29 Pierre-Marie de Rodat New
[Ada] Avoid single colon in comment markup [Ada] Avoid single colon in comment markup - - - 0 0 0 2017-09-29 Pierre-Marie de Rodat New
[Ada] Build in place for nonlimited types [Ada] Build in place for nonlimited types - - - 0 0 0 2017-09-29 Pierre-Marie de Rodat New
[Ada] Crash on illegal use of iterated component association [Ada] Crash on illegal use of iterated component association - - - 0 0 0 2017-09-29 Pierre-Marie de Rodat New
[Ada] Copy of Unchecked_Union derived discriminated types [Ada] Copy of Unchecked_Union derived discriminated types - - - 0 0 0 2017-09-29 Pierre-Marie de Rodat New
[Ada] Pragma Unchecked_Union on derived discriminated type [Ada] Pragma Unchecked_Union on derived discriminated type - - - 0 0 0 2017-09-29 Pierre-Marie de Rodat New
[Ada] Compiler hangs on evaluation of use-clause within package context [Ada] Compiler hangs on evaluation of use-clause within package context - - - 0 0 0 2017-09-29 Pierre-Marie de Rodat New
[Ada] Spurious error in nested generic containing expression function [Ada] Spurious error in nested generic containing expression function - - - 0 0 0 2017-09-29 Pierre-Marie de Rodat New
[Ada] Crash on an aspect specification with parameter associations [Ada] Crash on an aspect specification with parameter associations - - - 0 0 0 2017-09-25 Pierre-Marie de Rodat New
[Ada] Warning for ineffective use-type and use-package clauses [Ada] Warning for ineffective use-type and use-package clauses - - - 0 0 0 2017-09-25 Pierre-Marie de Rodat New
[Ada] Do not insert calls to invariant procedure in GNATprove mode [Ada] Do not insert calls to invariant procedure in GNATprove mode - - - 0 0 0 2017-09-25 Pierre-Marie de Rodat New
[Ada] Handle errors and limit simultaneous wait objects number in win32_wait [Ada] Handle errors and limit simultaneous wait objects number in win32_wait - - - 0 0 0 2017-09-25 Pierre-Marie de Rodat New
[Ada] Insert explicit dereference in GNATprove mode for pointer analysis [Ada] Insert explicit dereference in GNATprove mode for pointer analysis - - - 0 0 0 2017-09-25 Pierre-Marie de Rodat New
[Ada] Crash on classwide precondition for interface operation [Ada] Crash on classwide precondition for interface operation - - - 0 0 0 2017-09-25 Pierre-Marie de Rodat New
[Ada] Default to no source locations in non-GCC backend bug boxes [Ada] Default to no source locations in non-GCC backend bug boxes - - - 0 0 0 2017-09-25 Pierre-Marie de Rodat New
[Ada] Crash on instantiation with renamed formal package. [Ada] Crash on instantiation with renamed formal package. - - - 0 0 0 2017-09-25 Pierre-Marie de Rodat New
[Ada] Use of renamings in pragmas [Ada] Use of renamings in pragmas - - - 0 0 0 2017-09-25 Pierre-Marie de Rodat New
[Ada] Minor clean up of contract freezing [Ada] Minor clean up of contract freezing - - - 0 0 0 2017-09-25 Pierre-Marie de Rodat New
[Ada] Proper qualification of concurrent discriminants [Ada] Proper qualification of concurrent discriminants - - - 0 0 0 2017-09-25 Pierre-Marie de Rodat New
[Ada] Entry family selector not recognised as entity usage [Ada] Entry family selector not recognised as entity usage - - - 0 0 0 2017-09-25 Pierre-Marie de Rodat New
[Ada] Spurious visibility error in ASIS mode [Ada] Spurious visibility error in ASIS mode - - - 0 0 0 2017-09-25 Pierre-Marie de Rodat New
[Ada] Remove duplicated Has_Null_Abstract_State routines [Ada] Remove duplicated Has_Null_Abstract_State routines - - - 0 0 0 2017-09-25 Pierre-Marie de Rodat New
[Ada] Improve performance of 'Image with enumeration types. [Ada] Improve performance of 'Image with enumeration types. - - - 0 0 0 2017-09-25 Pierre-Marie de Rodat New
[Ada] Use the Monotonic Clock on Linux [Ada] Use the Monotonic Clock on Linux - - - 0 0 0 2017-09-25 Pierre-Marie de Rodat New
[Ada] Fix spurious error on component of overloaded function result [Ada] Fix spurious error on component of overloaded function result - - - 0 0 0 2017-09-18 Pierre-Marie de Rodat New
[Ada] Spurious error with unqualified aggregate in instantiation. [Ada] Spurious error with unqualified aggregate in instantiation. - - - 0 0 0 2017-09-18 Pierre-Marie de Rodat New
[Ada] Ravenscar simple barriers and validity checks [Ada] Ravenscar simple barriers and validity checks - - - 0 0 0 2017-09-18 Pierre-Marie de Rodat New
[Ada] Spurious error in ASIS on static predicate aspects/ [Ada] Spurious error in ASIS on static predicate aspects/ - - - 0 0 0 2017-09-18 Pierre-Marie de Rodat New
[Ada] Undefined symbol due to pragma Inline_Always [Ada] Undefined symbol due to pragma Inline_Always - - - 0 0 0 2017-09-18 Pierre-Marie de Rodat New
[Ada] Validity check failure with packed array and pragma [Ada] Validity check failure with packed array and pragma - - - 0 0 0 2017-09-18 Pierre-Marie de Rodat New
[Ada] Iterable aspect of derived types [Ada] Iterable aspect of derived types - - - 0 0 0 2017-09-18 Pierre-Marie de Rodat New
[Ada] Implicit_Dereference with access to access and prefix notation [Ada] Implicit_Dereference with access to access and prefix notation - - - 0 0 0 2017-09-18 Pierre-Marie de Rodat New
[Ada] Scalar_Storage_Order support in conjunction with overlay [Ada] Scalar_Storage_Order support in conjunction with overlay - - - 0 0 0 2017-09-18 Pierre-Marie de Rodat New
[Ada] Crash on mutable record component with box initialization [Ada] Crash on mutable record component with box initialization - - - 0 0 0 2017-09-18 Pierre-Marie de Rodat New
[Ada] Crash on illegal current instance [Ada] Crash on illegal current instance - - - 0 0 0 2017-09-18 Pierre-Marie de Rodat New
[Ada] Spurious unreferenced warning in pramga Linker_Section [Ada] Spurious unreferenced warning in pramga Linker_Section - - - 0 0 0 2017-09-18 Pierre-Marie de Rodat New
[Ada,PR,ada/71358] GNAT.Command_Line: crash in Getopt on empty Config [Ada,PR,ada/71358] GNAT.Command_Line: crash in Getopt on empty Config - - - 0 0 0 2017-09-18 Pierre-Marie de Rodat New
[Ada] Allow generic package holding state [Ada] Allow generic package holding state - - - 0 0 0 2017-09-18 Pierre-Marie de Rodat New
Add comments to struct cgraph_thunk_info Add comments to struct cgraph_thunk_info - - - 0 0 0 2017-09-14 Pierre-Marie de Rodat New
[Ada] Review dependency tracking for Ada sources without -gnatd.n support [Ada] Review dependency tracking for Ada sources without -gnatd.n support - - - 0 0 0 2017-09-13 Pierre-Marie de Rodat New
[Ada] vxworks: auto-registration of foreign threads [Ada] vxworks: auto-registration of foreign threads - - - 0 0 0 2017-09-13 Pierre-Marie de Rodat New
[Ada] Ineffective pragma Suppress (Alignment_Check) on warning [Ada] Ineffective pragma Suppress (Alignment_Check) on warning - - - 0 0 0 2017-09-13 Pierre-Marie de Rodat New
[Ada] Undefined symbol at link time due to Disable_Controlled [Ada] Undefined symbol at link time due to Disable_Controlled - - - 0 0 0 2017-09-13 Pierre-Marie de Rodat New
[PR82155] Fix crash in dwarf2out_abstract_function [PR82155] Fix crash in dwarf2out_abstract_function - - - 0 0 0 2017-09-12 Pierre-Marie de Rodat New
[PR79542,Ada] Fix ICE in dwarf2out.c with nested func. inlining - - - 0 0 0 2017-08-11 Pierre-Marie de Rodat New
[v2] Python testcases to check DWARF output - - - 0 0 0 2017-08-09 Pierre-Marie de Rodat New
[2/2] Introduce Python testcases to check DWARF output - - - 0 0 0 2017-07-26 Pierre-Marie de Rodat New
[1/2] Introduce testsuite support to run Python tests - - - 0 0 0 2017-07-26 Pierre-Marie de Rodat New
[2/2] DWARF: make it possible to emit debug info for declarations only - - - 0 0 0 2017-06-16 Pierre-Marie de Rodat New
DWARF: add DW_AT_location for global decls with DECL_VALUE_EXPR - - - 0 0 0 2017-06-01 Pierre-Marie de Rodat New
DWARF: for variants, produce unsigned discr. when debug type is unsigned - - - 0 0 0 2017-05-30 Pierre-Marie de Rodat New
[2/2] DWARF: make it possible to emit debug info for declarations only - - - 0 0 0 2017-05-29 Pierre-Marie de Rodat New
[1/2] gimplify_modify_expr: avoid DECL_DEBUG_EXPR links across functions - - - 0 0 0 2017-05-29 Pierre-Marie de Rodat New
[PR79542,Ada] Fix ICE in dwarf2out.c with nested func. inlining - - - 0 0 0 2017-05-26 Pierre-Marie de Rodat New
[PR79542,Ada] Fix ICE in dwarf2out.c with nested func. inlining - - - 0 0 0 2017-03-14 Pierre-Marie de Rodat New
DWARF: make signedness explicit for enumerator const values - - - 0 0 0 2017-01-02 Pierre-Marie de Rodat New
DWARF: make signedness explicit for enumerator const values - - - 0 0 0 2016-12-09 Pierre-Marie de Rodat New
[PR78112] Remove the g++.dg/pr78112.C testcase - - - 0 0 0 2016-12-08 Pierre-Marie de Rodat New
[PR78112] Remove the g++.dg/pr78112.C testcase - - - 0 0 0 2016-11-30 Pierre-Marie de Rodat New
debug/PR78112: remove recent duplicates for DW_TAG_subprogram attributes - - - 0 0 0 2016-11-08 Pierre-Marie de Rodat New
DWARF: make signedness explicit for enumerator const values - - - 0 0 0 2016-10-13 Pierre-Marie de Rodat New
[PING] DWARF: process all TYPE_DECL nodes when iterating on scopes - - - 0 0 0 2016-10-11 Pierre-Marie de Rodat New
DWARF: remove pessimistic DWARF version checks for imported entities - - - 0 0 0 2016-10-04 Pierre-Marie de Rodat New
[PING] DWARF: process all TYPE_DECL nodes when iterating on scopes - - - 0 0 0 2016-09-27 Pierre-Marie de Rodat New
[PING] DWARF: space-optimize loc. descr. for integer literals on 32-bit targets - - - 0 0 0 2016-08-31 Pierre-Marie de Rodat New
[1/2] DWARF: process all TYPE_DECL nodes when iterating on scopes - - - 0 0 0 2016-08-29 Pierre-Marie de Rodat New
« 1 2 »