Show patches with: Submitter = Pierre-Marie de Rodat       |    State = Action Required       |    Archived = No       |   3078 patches
« 1 2 ... 28 29 30 31 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] pragma Warnings (Off) disabled if warning treated as error [Ada] pragma Warnings (Off) disabled if warning treated as error - - - - --- 2017-11-09 Pierre-Marie de Rodat New
[Ada] Improve layout ABI compatibility with C++ [Ada] Improve layout ABI compatibility with C++ - - - - --- 2017-11-09 Pierre-Marie de Rodat New
[Ada] Spurious warning about unreferenced formal with implicit dereference [Ada] Spurious warning about unreferenced formal with implicit dereference - - - - --- 2017-11-09 Pierre-Marie de Rodat New
[Ada] Implementation of AI12-0127 : delta aggregate [Ada] Implementation of AI12-0127 : delta aggregate - - - - --- 2017-11-08 Pierre-Marie de Rodat New
[Ada] Warn on missing deallocation of coextension [Ada] Warn on missing deallocation of coextension - - - - --- 2017-11-08 Pierre-Marie de Rodat New
[Ada] Crash on access-to-object in SPARK [Ada] Crash on access-to-object in SPARK - - - - --- 2017-11-08 Pierre-Marie de Rodat New
[Ada] Accessibility violation flagged on anonymous access component [Ada] Accessibility violation flagged on anonymous access component - - - - --- 2017-11-08 Pierre-Marie de Rodat New
[Ada] Implementation of AI12-0127 : delta aggregate [Ada] Implementation of AI12-0127 : delta aggregate - - - - --- 2017-11-08 Pierre-Marie de Rodat New
[Ada] Ignore file and unit names when collecting SPARK cross-references [Ada] Ignore file and unit names when collecting SPARK cross-references - - - - --- 2017-11-08 Pierre-Marie de Rodat New
[Ada] Continue decontruction of SPARK frontend cross-references [Ada] Continue decontruction of SPARK frontend cross-references - - - - --- 2017-11-08 Pierre-Marie de Rodat New
[Ada] Missing categorization check on generic subprogram body [Ada] Missing categorization check on generic subprogram body - - - - --- 2017-11-08 Pierre-Marie de Rodat New
[Ada] Spurious ineffective use_clause warning on class-wide type [Ada] Spurious ineffective use_clause warning on class-wide type - - - - --- 2017-11-08 Pierre-Marie de Rodat New
[Ada] Store SPARK cross-references as Entity_Ids, not strings [Ada] Store SPARK cross-references as Entity_Ids, not strings - - - - --- 2017-11-08 Pierre-Marie de Rodat New
[Ada] Don't collect inessential data about SPARK cross-references [Ada] Don't collect inessential data about SPARK cross-references - - - - --- 2017-11-08 Pierre-Marie de Rodat New
[Ada] Remove dead check in collecting SPARK cross-references [Ada] Remove dead check in collecting SPARK cross-references - - - - --- 2017-11-08 Pierre-Marie de Rodat New
[Ada] Missing finalization during deallocation [Ada] Missing finalization during deallocation - - - - --- 2017-11-08 Pierre-Marie de Rodat New
[Ada] Deconstruct storing SPARK cross-references in the ALI files [Ada] Deconstruct storing SPARK cross-references in the ALI files - - - - --- 2017-11-08 Pierre-Marie de Rodat New
[Ada] Improve the performance of the new ABE mechanism [Ada] Improve the performance of the new ABE mechanism - - - - --- 2017-11-08 Pierre-Marie de Rodat New
[Ada] Spurious error on overriding of privately inherited primitive [Ada] Spurious error on overriding of privately inherited primitive - - - - --- 2017-11-08 Pierre-Marie de Rodat New
[Ada] Variable reads and writes [Ada] Variable reads and writes - - - - --- 2017-11-08 Pierre-Marie de Rodat New
[Ada] Confusing warning on finalization actions during elaboration [Ada] Confusing warning on finalization actions during elaboration - - - - --- 2017-11-08 Pierre-Marie de Rodat New
[Ada] Remove spurious warning on useless use-clauses in GNATprove [Ada] Remove spurious warning on useless use-clauses in GNATprove - - - - --- 2017-11-08 Pierre-Marie de Rodat New
[Ada] Spurious ineffective use_clause warning [Ada] Spurious ineffective use_clause warning - - - - --- 2017-10-20 Pierre-Marie de Rodat New
[Ada] Spurious warnings and errors on calls on synchronized interfaces [Ada] Spurious warnings and errors on calls on synchronized interfaces - - - - --- 2017-10-20 Pierre-Marie de Rodat New
[Ada] Use the Monotonic Clock on Linux [Ada] Use the Monotonic Clock on Linux - - - - --- 2017-10-20 Pierre-Marie de Rodat New
[Ada] Spurious error on partial parameterization [Ada] Spurious error on partial parameterization - - - - --- 2017-10-20 Pierre-Marie de Rodat New
[Ada] Mark temporary entity created while removing side effects as internal [Ada] Mark temporary entity created while removing side effects as internal - - - - --- 2017-10-20 Pierre-Marie de Rodat New
[Ada] Adjust new implementation of ABE detection to ZFP context [Ada] Adjust new implementation of ABE detection to ZFP context - - - - --- 2017-10-20 Pierre-Marie de Rodat New
[Ada] Fix inadequate silencing of errors in expression functions [Ada] Fix inadequate silencing of errors in expression functions - - - - --- 2017-10-20 Pierre-Marie de Rodat New
[Ada] Be more permissive for comparisons with literals in dimension system [Ada] Be more permissive for comparisons with literals in dimension system - - - - --- 2017-10-20 Pierre-Marie de Rodat New
[Ada] Superfluous restriction on aspect Dimension applied to integer type [Ada] Superfluous restriction on aspect Dimension applied to integer type - - - - --- 2017-10-20 Pierre-Marie de Rodat New
[Ada] Small optimization in Sem_Ch4.Find_Concatenation_Types [Ada] Small optimization in Sem_Ch4.Find_Concatenation_Types - - - - --- 2017-10-20 Pierre-Marie de Rodat New
[Ada] Spurious elaboration error in SPARK [Ada] Spurious elaboration error in SPARK - - - - --- 2017-10-19 Pierre-Marie de Rodat New
[Ada] Calls in preelaborated units and pragma Remote_Call_Interface [Ada] Calls in preelaborated units and pragma Remote_Call_Interface - - - - --- 2017-10-14 Pierre-Marie de Rodat New
[Ada] Activation/suppression of SPARK elaboration rules [Ada] Activation/suppression of SPARK elaboration rules - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 2017-10-14 Pierre-Marie de Rodat New
[Ada] Missing validity check on record type component [Ada] Missing validity check on record type component - - - - --- 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 - - - - --- 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 - - - - --- 2017-10-14 Pierre-Marie de Rodat New
[Ada] New secondary stack allocation behaviour [Ada] New secondary stack allocation behaviour - - - - --- 2017-10-14 Pierre-Marie de Rodat New
[Ada] Proper resolution of Initializes and Initial_Condition [Ada] Proper resolution of Initializes and Initial_Condition - - - - --- 2017-10-14 Pierre-Marie de Rodat New
[Ada] Remove obsolete comment for Generic_Parent [Ada] Remove obsolete comment for Generic_Parent - - - - --- 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 - - - - --- 2017-10-14 Pierre-Marie de Rodat New
[Ada] Small optimizations in Sem_Type.Covers [Ada] Small optimizations in Sem_Type.Covers - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 2017-10-09 Pierre-Marie de Rodat New
[Ada] Crash on child unit name with -gnatdJ [Ada] Crash on child unit name with -gnatdJ - - - - --- 2017-10-09 Pierre-Marie de Rodat New
[Ada] Support for reverse iteration on formal containers [Ada] Support for reverse iteration on formal containers - - - - --- 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 - - - - --- 2017-10-09 Pierre-Marie de Rodat New
[Ada] Spurious warnings with dynamic elab checks [Ada] Spurious warnings with dynamic elab checks - - - - --- 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 - - - - --- 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) - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 2017-10-09 Pierre-Marie de Rodat New
[Ada] Suppress checks within finalizers [Ada] Suppress checks within finalizers - - - - --- 2017-10-09 Pierre-Marie de Rodat New
[Ada] Static allocation of secondary dispatch tables [Ada] Static allocation of secondary dispatch tables - - - - --- 2017-10-09 Pierre-Marie de Rodat New
[Ada] Improve nnd debugging hooks [Ada] Improve nnd debugging hooks - - - - --- 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 - - - - --- 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 - - - - --- 2017-10-09 Pierre-Marie de Rodat New
[Ada] Detect protected types as program units [Ada] Detect protected types as program units - - - - --- 2017-10-09 Pierre-Marie de Rodat New
[Ada] Warnings for ineffective use clauses unclear [Ada] Warnings for ineffective use clauses unclear - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 2017-09-29 Pierre-Marie de Rodat New
[Ada] Avoid single colon in comment markup [Ada] Avoid single colon in comment markup - - - - --- 2017-09-29 Pierre-Marie de Rodat New
[Ada] Build in place for nonlimited types [Ada] Build in place for nonlimited types - - - - --- 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 - - - - --- 2017-09-29 Pierre-Marie de Rodat New
[Ada] Copy of Unchecked_Union derived discriminated types [Ada] Copy of Unchecked_Union derived discriminated types - - - - --- 2017-09-29 Pierre-Marie de Rodat New
[Ada] Pragma Unchecked_Union on derived discriminated type [Ada] Pragma Unchecked_Union on derived discriminated type - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 2017-09-25 Pierre-Marie de Rodat New
[Ada] Crash on classwide precondition for interface operation [Ada] Crash on classwide precondition for interface operation - - - - --- 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 - - - - --- 2017-09-25 Pierre-Marie de Rodat New
[Ada] Crash on instantiation with renamed formal package. [Ada] Crash on instantiation with renamed formal package. - - - - --- 2017-09-25 Pierre-Marie de Rodat New
[Ada] Use of renamings in pragmas [Ada] Use of renamings in pragmas - - - - --- 2017-09-25 Pierre-Marie de Rodat New
[Ada] Minor clean up of contract freezing [Ada] Minor clean up of contract freezing - - - - --- 2017-09-25 Pierre-Marie de Rodat New
[Ada] Proper qualification of concurrent discriminants [Ada] Proper qualification of concurrent discriminants - - - - --- 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 - - - - --- 2017-09-25 Pierre-Marie de Rodat New
[Ada] Spurious visibility error in ASIS mode [Ada] Spurious visibility error in ASIS mode - - - - --- 2017-09-25 Pierre-Marie de Rodat New
[Ada] Remove duplicated Has_Null_Abstract_State routines [Ada] Remove duplicated Has_Null_Abstract_State routines - - - - --- 2017-09-25 Pierre-Marie de Rodat New
[Ada] Improve performance of 'Image with enumeration types. [Ada] Improve performance of 'Image with enumeration types. - - - - --- 2017-09-25 Pierre-Marie de Rodat New
[Ada] Use the Monotonic Clock on Linux [Ada] Use the Monotonic Clock on Linux - - - - --- 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 - - - - --- 2017-09-18 Pierre-Marie de Rodat New
[Ada] Spurious error with unqualified aggregate in instantiation. [Ada] Spurious error with unqualified aggregate in instantiation. - - - - --- 2017-09-18 Pierre-Marie de Rodat New
[Ada] Ravenscar simple barriers and validity checks [Ada] Ravenscar simple barriers and validity checks - - - - --- 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/ - - - - --- 2017-09-18 Pierre-Marie de Rodat New
[Ada] Undefined symbol due to pragma Inline_Always [Ada] Undefined symbol due to pragma Inline_Always - - - - --- 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 - - - - --- 2017-09-18 Pierre-Marie de Rodat New
[Ada] Iterable aspect of derived types [Ada] Iterable aspect of derived types - - - - --- 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 - - - - --- 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 - - - - --- 2017-09-18 Pierre-Marie de Rodat New
« 1 2 ... 28 29 30 31 »