Show patches with: Submitter = Pierre-Marie de Rodat       |    State = Action Required       |    Archived = No       |   220 patches
« 1 2 3 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Spurious error with private overriding of overloaded subprogram [Ada] Spurious error with private overriding of overloaded subprogram - - - - 0 0 0 2017-12-05 Pierre-Marie de Rodat New
[Ada] Improve debugging of task type discriminants [Ada] Improve debugging of task type discriminants - - - - 0 0 0 2017-12-05 Pierre-Marie de Rodat New
[Ada] Reject properly an aspect Predicate on a formal type [Ada] Reject properly an aspect Predicate on a formal type - - - - 0 0 0 2017-12-05 Pierre-Marie de Rodat New
[Ada] Warn on weal elaboration model for SPARK [Ada] Warn on weal elaboration model for SPARK - - - - 0 0 0 2017-12-05 Pierre-Marie de Rodat New
[Ada] Fix indirect calls to imported subprograms within generic [Ada] Fix indirect calls to imported subprograms within generic - - - - 0 0 0 2017-12-05 Pierre-Marie de Rodat New
[Ada] Legacy elaboration model and relaxed elaboration mode [Ada] Legacy elaboration model and relaxed elaboration mode - - - - 0 0 0 2017-12-05 Pierre-Marie de Rodat New
[Ada] Fix end-of dwarf section detection in address symbolizer [Ada] Fix end-of dwarf section detection in address symbolizer - - - - 0 0 0 2017-12-05 Pierre-Marie de Rodat New
[Ada] Fix handling of load addresses for backtraces through SO [Ada] Fix handling of load addresses for backtraces through SO - - - - 0 0 0 2017-12-05 Pierre-Marie de Rodat New
[Ada] Propagate SLOC in iteration over array [Ada] Propagate SLOC in iteration over array - - - - 0 0 0 2017-12-05 Pierre-Marie de Rodat New
[Ada] Improper visibility of loop parameter with Iterable aspect [Ada] Improper visibility of loop parameter with Iterable aspect - - - - 0 0 0 2017-12-05 Pierre-Marie de Rodat New
[Ada] Handling of elaboration warnings [Ada] Handling of elaboration warnings - - - - 0 0 0 2017-11-16 Pierre-Marie de Rodat New
[Ada] Spurious error on System'To_Address in -gnatc mode [Ada] Spurious error on System'To_Address in -gnatc mode - - - - 0 0 0 2017-11-16 Pierre-Marie de Rodat New
[Ada] Disallow renamings declaring tagged primitives [Ada] Disallow renamings declaring tagged primitives - - - - 0 0 0 2017-11-16 Pierre-Marie de Rodat New
[Ada] Allow calls to Is_CCT_Instance for records [Ada] Allow calls to Is_CCT_Instance for records - - - - 0 0 0 2017-11-16 Pierre-Marie de Rodat New
[Ada] Fix more precise mode for parameter [Ada] Fix more precise mode for parameter - - - - 0 0 0 2017-11-16 Pierre-Marie de Rodat New
[Ada] Disallow renamings declaring tagged primitives [Ada] Disallow renamings declaring tagged primitives - - - - 0 0 0 2017-11-16 Pierre-Marie de Rodat New
[Ada] Crash on early call region of SPARK subprogram body [Ada] Crash on early call region of SPARK subprogram body - - - - 0 0 0 2017-11-16 Pierre-Marie de Rodat New
[Ada] Compiler abort or infinite loop in malformed declaration [Ada] Compiler abort or infinite loop in malformed declaration - - - - 0 0 0 2017-11-16 Pierre-Marie de Rodat New
[Ada] Spurious ineffective use_clause warning on use in boolean condition [Ada] Spurious ineffective use_clause warning on use in boolean condition - - - - 0 0 0 2017-11-16 Pierre-Marie de Rodat New
[Ada] New SPARK access-before-elaboration mechanism [Ada] New SPARK access-before-elaboration mechanism - - - - 0 0 0 2017-11-16 Pierre-Marie de Rodat New
[Ada] Variable reads and writes [Ada] Variable reads and writes - - - - 0 0 0 2017-11-09 Pierre-Marie de Rodat New
[Ada] Export Make_Independent from GNAT.Threads [Ada] Export Make_Independent from GNAT.Threads - - - - 0 0 0 2017-11-09 Pierre-Marie de Rodat New
[Ada] Quadratic explosion caused by freezing of contracts [Ada] Quadratic explosion caused by freezing of contracts - - - - 0 0 0 2017-11-09 Pierre-Marie de Rodat New
[Ada] Fix bootstrap issue with CodePeer justifications [Ada] Fix bootstrap issue with CodePeer justifications - - - - 0 0 0 2017-11-09 Pierre-Marie de Rodat New
[Ada] Bump size limit for large static aggregates [Ada] Bump size limit for large static aggregates - - - - 0 0 0 2017-11-09 Pierre-Marie de Rodat New
[Ada] Crash on use of Compile_Time_Error in a generic package [Ada] Crash on use of Compile_Time_Error in a generic package - - - - 0 0 0 2017-11-09 Pierre-Marie de Rodat New
[Ada] Get rid of warnings about uninitialized variables [Ada] Get rid of warnings about uninitialized variables - - - - 0 0 0 2017-11-09 Pierre-Marie de Rodat New
[Ada] Rewrite code and add justifications for static analysis [Ada] Rewrite code and add justifications for static analysis - - - - 0 0 0 2017-11-09 Pierre-Marie de Rodat New
[Ada] Restriction Static_Dispatch_Tables [Ada] Restriction Static_Dispatch_Tables - - - - 0 0 0 2017-11-09 Pierre-Marie de Rodat New
[Ada] Fix code quality issues reported by CodePeer at level 3 [Ada] Fix code quality issues reported by CodePeer at level 3 - - - - 0 0 0 2017-11-09 Pierre-Marie de Rodat New
[Ada] Restriction Static_Dispatch_Tables [Ada] Restriction Static_Dispatch_Tables - - - - 0 0 0 2017-11-09 Pierre-Marie de Rodat New
[Ada] Spurious error on pragma Unreferenced [Ada] Spurious error on pragma Unreferenced - - - - 0 0 0 2017-11-09 Pierre-Marie de Rodat New
[Ada] Spurious error on read of out parameter in Ada_83 mode [Ada] Spurious error on read of out parameter in Ada_83 mode - - - - 0 0 0 2017-11-09 Pierre-Marie de Rodat New
[Ada] Fix false positive of -gnatw.x on trivial instantiation [Ada] Fix false positive of -gnatw.x on trivial instantiation - - - - 0 0 0 2017-11-09 Pierre-Marie de Rodat New
[Ada] Fix code quality issues reported by CodePeer [Ada] Fix code quality issues reported by CodePeer - - - - 0 0 0 2017-11-09 Pierre-Marie de Rodat New
[Ada] Cleanup of Namet [Ada] Cleanup of Namet - - - - 0 0 0 2017-11-09 Pierre-Marie de Rodat New
[Ada] use_clauses sometimes ignored in generic template [Ada] use_clauses sometimes ignored in generic template - - - - 0 0 0 2017-11-09 Pierre-Marie de Rodat New
[Ada] Misleading error or crash on illegal call with limited view [Ada] Misleading error or crash on illegal call with limited view - - - - 0 0 0 2017-11-09 Pierre-Marie de Rodat New
[Ada] Crash on SPARK_Mode with illegal mode [Ada] Crash on SPARK_Mode with illegal mode - - - - 0 0 0 2017-11-09 Pierre-Marie de Rodat New
[Ada] Warn on missing finalization of anonymous access-to-controlled [Ada] Warn on missing finalization of anonymous access-to-controlled - - - - 0 0 0 2017-11-09 Pierre-Marie de Rodat New
[Ada] Adjust wording of error message to match the SPARK RM wording [Ada] Adjust wording of error message to match the SPARK RM wording - - - - 0 0 0 2017-11-09 Pierre-Marie de Rodat New
[Ada] Spurious warning on elaboration issue in dead code [Ada] Spurious warning on elaboration issue in dead code - - - - 0 0 0 2017-11-09 Pierre-Marie de Rodat New
[Ada] pragma Warnings (Off) disabled if warning treated as error [Ada] pragma Warnings (Off) disabled if warning treated as error - - - - 0 0 0 2017-11-09 Pierre-Marie de Rodat New
[Ada] Improve layout ABI compatibility with C++ [Ada] Improve layout ABI compatibility with C++ - - - - 0 0 0 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 - - - - 0 0 0 2017-11-09 Pierre-Marie de Rodat New
[Ada] Implementation of AI12-0127 : delta aggregate [Ada] Implementation of AI12-0127 : delta aggregate - - - - 0 0 0 2017-11-08 Pierre-Marie de Rodat New
[Ada] Warn on missing deallocation of coextension [Ada] Warn on missing deallocation of coextension - - - - 0 0 0 2017-11-08 Pierre-Marie de Rodat New
[Ada] Crash on access-to-object in SPARK [Ada] Crash on access-to-object in SPARK - - - - 0 0 0 2017-11-08 Pierre-Marie de Rodat New
[Ada] Accessibility violation flagged on anonymous access component [Ada] Accessibility violation flagged on anonymous access component - - - - 0 0 0 2017-11-08 Pierre-Marie de Rodat New
[Ada] Implementation of AI12-0127 : delta aggregate [Ada] Implementation of AI12-0127 : delta aggregate - - - - 0 0 0 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 - - - - 0 0 0 2017-11-08 Pierre-Marie de Rodat New
[Ada] Continue decontruction of SPARK frontend cross-references [Ada] Continue decontruction of SPARK frontend cross-references - - - - 0 0 0 2017-11-08 Pierre-Marie de Rodat New
[Ada] Missing categorization check on generic subprogram body [Ada] Missing categorization check on generic subprogram body - - - - 0 0 0 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 - - - - 0 0 0 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 - - - - 0 0 0 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 - - - - 0 0 0 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 - - - - 0 0 0 2017-11-08 Pierre-Marie de Rodat New
[Ada] Missing finalization during deallocation [Ada] Missing finalization during deallocation - - - - 0 0 0 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 - - - - 0 0 0 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 - - - - 0 0 0 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 - - - - 0 0 0 2017-11-08 Pierre-Marie de Rodat New
[Ada] Variable reads and writes [Ada] Variable reads and writes - - - - 0 0 0 2017-11-08 Pierre-Marie de Rodat New
[Ada] Confusing warning on finalization actions during elaboration [Ada] Confusing warning on finalization actions during elaboration - - - - 0 0 0 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 - - - - 0 0 0 2017-11-08 Pierre-Marie de Rodat New
[Ada] Spurious ineffective use_clause warning [Ada] Spurious ineffective use_clause warning - - - - 0 0 0 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 - - - - 0 0 0 2017-10-20 Pierre-Marie de Rodat New
[Ada] Use the Monotonic Clock on Linux [Ada] Use the Monotonic Clock on Linux - - - - 0 0 0 2017-10-20 Pierre-Marie de Rodat New
[Ada] Spurious error on partial parameterization [Ada] Spurious error on partial parameterization - - - - 0 0 0 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 - - - - 0 0 0 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 - - - - 0 0 0 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 - - - - 0 0 0 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 - - - - 0 0 0 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 - - - - 0 0 0 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 - - - - 0 0 0 2017-10-20 Pierre-Marie de Rodat New
[Ada] Spurious elaboration error in SPARK [Ada] Spurious elaboration error in SPARK - - - - 0 0 0 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 - - - - 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
« 1 2 3 »