Show patches with: Submitter = Pierre-Marie de Rodat       |    State = Action Required       |    Archived = No       |   500 patches
« 1 2 3 44 5 »
Patch Series S/W/F Date Submitter Delegate State
[Ada] Avoid spurious errors on dimensionality checking in GNATprove [Ada] Avoid spurious errors on dimensionality checking in GNATprove 0 0 0 2019-07-11 Pierre-Marie de Rodat New
[Ada] Minimal binder [Ada] Minimal binder 0 0 0 2019-07-11 Pierre-Marie de Rodat New
[Ada] Avoid spurious warning on assertions with Loop_Entry [Ada] Avoid spurious warning on assertions with Loop_Entry 0 0 0 2019-07-11 Pierre-Marie de Rodat New
[Ada] Crash on protected type with self-referential component [Ada] Crash on protected type with self-referential component 0 0 0 2019-07-11 Pierre-Marie de Rodat New
[Ada] Pragma Unreferenced triggers undefined reference [Ada] Pragma Unreferenced triggers undefined reference 0 0 0 2019-07-11 Pierre-Marie de Rodat New
[Ada] Elaboration order v4.0 and output of dependencies [Ada] Elaboration order v4.0 and output of dependencies 0 0 0 2019-07-11 Pierre-Marie de Rodat New
[Ada] Memory corruption when using formal hashed sets or maps [Ada] Memory corruption when using formal hashed sets or maps 0 0 0 2019-07-11 Pierre-Marie de Rodat New
[Ada] Remove redundant predicate checks [Ada] Remove redundant predicate checks 0 0 0 2019-07-11 Pierre-Marie de Rodat New
[Ada] Infinite loop on illegal declaration [Ada] Infinite loop on illegal declaration 0 0 0 2019-07-11 Pierre-Marie de Rodat New
[Ada] Fix inconsistent documentation for gnatmetric [Ada] Fix inconsistent documentation for gnatmetric 0 0 0 2019-07-11 Pierre-Marie de Rodat New
[Ada] Internal crash on illegal renaming [Ada] Internal crash on illegal renaming 0 0 0 2019-07-11 Pierre-Marie de Rodat New
[Ada] Fix crash on dynamic predicate when generating SCOs [Ada] Fix crash on dynamic predicate when generating SCOs 0 0 0 2019-07-11 Pierre-Marie de Rodat New
[Ada] Link error due to negated intrinsic comparison [Ada] Link error due to negated intrinsic comparison 0 0 0 2019-07-11 Pierre-Marie de Rodat New
[Ada] Compile-time evaluation of predicate checks [Ada] Compile-time evaluation of predicate checks 0 0 0 2019-07-11 Pierre-Marie de Rodat New
[Ada] Missing finalization of private protected type [Ada] Missing finalization of private protected type 0 0 0 2019-07-11 Pierre-Marie de Rodat New
[Ada] No warning for guaranteed accessibility check failures [Ada] No warning for guaranteed accessibility check failures 0 0 0 2019-07-11 Pierre-Marie de Rodat New
[Ada] Elaboration order v4.0 and infinite loops [Ada] Elaboration order v4.0 and infinite loops 0 0 0 2019-07-11 Pierre-Marie de Rodat New
[Ada] Avoid spurious warning on wrong order of operator call arguments [Ada] Avoid spurious warning on wrong order of operator call arguments 0 0 0 2019-07-11 Pierre-Marie de Rodat New
[Ada] System.Strings.Stream_Ops: do not depend on Stream_IO [Ada] System.Strings.Stream_Ops: do not depend on Stream_IO 0 0 0 2019-07-10 Pierre-Marie de Rodat New
[Ada] Spurious run-time error with 64-bit modular types [Ada] Spurious run-time error with 64-bit modular types 0 0 0 2019-07-10 Pierre-Marie de Rodat New
[Ada] Crash on aggregate for limited type in extended return [Ada] Crash on aggregate for limited type in extended return 0 0 0 2019-07-10 Pierre-Marie de Rodat New
[Ada] Do not attempt to re-arm guard page on x86_64-vx7(r2) [Ada] Do not attempt to re-arm guard page on x86_64-vx7(r2) 0 0 0 2019-07-10 Pierre-Marie de Rodat New
[Ada] Fix spurious messages on global variables for SPARK pointer support [Ada] Fix spurious messages on global variables for SPARK pointer support 0 0 0 2019-07-10 Pierre-Marie de Rodat New
[Ada] Fix possible crashes in GNATprove analysis of pointers [Ada] Fix possible crashes in GNATprove analysis of pointers 0 0 0 2019-07-10 Pierre-Marie de Rodat New
[Ada] Spurious error on discriminant of incomplete type [Ada] Spurious error on discriminant of incomplete type 0 0 0 2019-07-10 Pierre-Marie de Rodat New
[Ada] Entity names are not unique [Ada] Entity names are not unique 0 0 0 2019-07-10 Pierre-Marie de Rodat New
[Ada] Spelling mistakes in error messages [Ada] Spelling mistakes in error messages 0 0 0 2019-07-10 Pierre-Marie de Rodat New
[Ada] Allow multiple units per file in GNATprove [Ada] Allow multiple units per file in GNATprove 0 0 0 2019-07-10 Pierre-Marie de Rodat New
[Ada] sysdep.c: correct include directives ordering [Ada] sysdep.c: correct include directives ordering 0 0 0 2019-07-10 Pierre-Marie de Rodat New
[Ada] Spurious error on case expression with limited result [Ada] Spurious error on case expression with limited result 0 0 0 2019-07-10 Pierre-Marie de Rodat New
[Ada] Vxworks7r2 SR0610 coalesced some macro values [Ada] Vxworks7r2 SR0610 coalesced some macro values 0 0 0 2019-07-10 Pierre-Marie de Rodat New
[Ada] The environ macro is broken on vxworks7r2 SR0610 [Ada] The environ macro is broken on vxworks7r2 SR0610 0 0 0 2019-07-10 Pierre-Marie de Rodat New
[Ada] Fix crashes on ownership checking in SPARK [Ada] Fix crashes on ownership checking in SPARK 0 0 0 2019-07-10 Pierre-Marie de Rodat New
[Ada] Missing implicit interface type conversion [Ada] Missing implicit interface type conversion 0 0 0 2019-07-10 Pierre-Marie de Rodat New
[Ada] Spurious error on overloaded equality in postcondition [Ada] Spurious error on overloaded equality in postcondition 0 0 0 2019-07-10 Pierre-Marie de Rodat New
[Ada] Elaboration order v4.0 and linker switches [Ada] Elaboration order v4.0 and linker switches 0 0 0 2019-07-10 Pierre-Marie de Rodat New
[Ada] Use renamings in GNATprove mode for side-effects extraction [Ada] Use renamings in GNATprove mode for side-effects extraction 0 0 0 2019-07-10 Pierre-Marie de Rodat New
[Ada] Access to uninitialized memory by predicate check [Ada] Access to uninitialized memory by predicate check 0 0 0 2019-07-09 Pierre-Marie de Rodat New
[Ada] Crash on 'Img attribute [Ada] Crash on 'Img attribute 0 0 0 2019-07-09 Pierre-Marie de Rodat New
[Ada] Missing error on generic type with representation clause [Ada] Missing error on generic type with representation clause 0 0 0 2019-07-09 Pierre-Marie de Rodat New
[Ada] Wrong resolution of equality operator with overloaded operand [Ada] Wrong resolution of equality operator with overloaded operand 0 0 0 2019-07-09 Pierre-Marie de Rodat New
[Ada] Elaboration order v4.0 and generic instantiations [Ada] Elaboration order v4.0 and generic instantiations 0 0 0 2019-07-09 Pierre-Marie de Rodat New
[Ada] Crash/infinite loop on program with multiple visibility errors [Ada] Crash/infinite loop on program with multiple visibility errors 0 0 0 2019-07-09 Pierre-Marie de Rodat New
[Ada] Warning needed on anonymous access type allocators [Ada] Warning needed on anonymous access type allocators 0 0 0 2019-07-09 Pierre-Marie de Rodat New
[Ada] Prevent inconsistent state for inlining in GNATprove [Ada] Prevent inconsistent state for inlining in GNATprove 0 0 0 2019-07-09 Pierre-Marie de Rodat New
[Ada] Missing runtime range checks with -gnatVa [Ada] Missing runtime range checks with -gnatVa 0 0 0 2019-07-09 Pierre-Marie de Rodat New
[Ada] Missing escape of the double quote in JSON output [Ada] Missing escape of the double quote in JSON output 0 0 0 2019-07-09 Pierre-Marie de Rodat New
[Ada] Spurious error when instance of generic is used as formal package [Ada] Spurious error when instance of generic is used as formal package 0 0 0 2019-07-09 Pierre-Marie de Rodat New
[Ada] Expand Enum_Rep attribute reference in GNATprove mode [Ada] Expand Enum_Rep attribute reference in GNATprove mode 0 0 0 2019-07-09 Pierre-Marie de Rodat New
[Ada] Handle implicit moves in SPARK ownership pointer support [Ada] Handle implicit moves in SPARK ownership pointer support 0 0 0 2019-07-09 Pierre-Marie de Rodat New
[Ada] Expand type of static expressions in GNATprove mode [Ada] Expand type of static expressions in GNATprove mode 0 0 0 2019-07-09 Pierre-Marie de Rodat New
[Ada] Fix scopes for local variables in task/protected bodies [Ada] Fix scopes for local variables in task/protected bodies 0 0 0 2019-07-09 Pierre-Marie de Rodat New
[Ada] Make -gnatRj output strictly conforming JSON [Ada] Make -gnatRj output strictly conforming JSON 0 0 0 2019-07-09 Pierre-Marie de Rodat New
[Ada] Issue error on illegal ownership in SPARK [Ada] Issue error on illegal ownership in SPARK 0 0 0 2019-07-09 Pierre-Marie de Rodat New
[Ada] Fix ownership checking for pointers in SPARK [Ada] Fix ownership checking for pointers in SPARK 0 0 0 2019-07-09 Pierre-Marie de Rodat New
[Ada] Diagnostics for Elaboration order v4.0 [Ada] Diagnostics for Elaboration order v4.0 0 0 0 2019-07-08 Pierre-Marie de Rodat New
[Ada] Assertion failure on validity check for Address [Ada] Assertion failure on validity check for Address 0 0 0 2019-07-08 Pierre-Marie de Rodat New
[Ada] Small overhaul in Repinfo unit [Ada] Small overhaul in Repinfo unit 0 0 0 2019-07-08 Pierre-Marie de Rodat New
[Ada] Set dummy Etype for the fake __HEAP entity in GNATprove [Ada] Set dummy Etype for the fake __HEAP entity in GNATprove 0 0 0 2019-07-08 Pierre-Marie de Rodat New
[Ada] Remove dead code from Enclosing_Package_Or_Subprogram routine [Ada] Remove dead code from Enclosing_Package_Or_Subprogram routine 0 0 0 2019-07-08 Pierre-Marie de Rodat New
[Ada] Wrong evaluation of membership test [Ada] Wrong evaluation of membership test 0 0 0 2019-07-08 Pierre-Marie de Rodat New
[Ada] Remove dependency on Win32 GDI (Graphical Interface) [Ada] Remove dependency on Win32 GDI (Graphical Interface) 0 0 0 2019-07-08 Pierre-Marie de Rodat New
[Ada] Do not erase precise type on fixed-point real literal [Ada] Do not erase precise type on fixed-point real literal 0 0 0 2019-07-08 Pierre-Marie de Rodat New
[Ada] More data rates supported on Linux [Ada] More data rates supported on Linux 0 0 0 2019-07-08 Pierre-Marie de Rodat New
[Ada] Crash on timed entry call with a delay given by a type conversion [Ada] Crash on timed entry call with a delay given by a type conversion 0 0 0 2019-07-08 Pierre-Marie de Rodat New
[Ada] Arrange not to set DECL_ARTIFICIAL on elab procs [Ada] Arrange not to set DECL_ARTIFICIAL on elab procs 0 0 0 2019-07-08 Pierre-Marie de Rodat New
[Ada] Fix crash on extension of private type with -gnatRj [Ada] Fix crash on extension of private type with -gnatRj 0 0 0 2019-07-08 Pierre-Marie de Rodat New
[Ada] Semantics of Delete for fixed strings [Ada] Semantics of Delete for fixed strings 0 0 0 2019-07-08 Pierre-Marie de Rodat New
[Ada] Crash in interface derivation with null primitive [Ada] Crash in interface derivation with null primitive 0 0 0 2019-07-08 Pierre-Marie de Rodat New
[Ada] Crash on Image and Value attributes [Ada] Crash on Image and Value attributes 0 0 0 2019-07-08 Pierre-Marie de Rodat New
[Ada] Crash on named actual in postcondition for generic subprogram [Ada] Crash on named actual in postcondition for generic subprogram 0 0 0 2019-07-08 Pierre-Marie de Rodat New
[Ada] Spurious visibility error on dynamic_predicate aspect in generic [Ada] Spurious visibility error on dynamic_predicate aspect in generic 0 0 0 2019-07-08 Pierre-Marie de Rodat New
[Ada] Spurious error reported by pragma Compile_Time_Error [Ada] Spurious error reported by pragma Compile_Time_Error 0 0 0 2019-07-08 Pierre-Marie de Rodat New
[Ada] Incorrect accessibility check [Ada] Incorrect accessibility check 0 0 0 2019-07-05 Pierre-Marie de Rodat New
[Ada] Compiler loop on illegal nested accept statement [Ada] Compiler loop on illegal nested accept statement 0 0 0 2019-07-05 Pierre-Marie de Rodat New
[Ada] Fix internal error on packed array In/Out actual parameter [Ada] Fix internal error on packed array In/Out actual parameter 0 0 0 2019-07-05 Pierre-Marie de Rodat New
[Ada] Crash on deallocating component with discriminated task [Ada] Crash on deallocating component with discriminated task 0 0 0 2019-07-05 Pierre-Marie de Rodat New
[Ada] Failure to detect trivial infinite recursion [Ada] Failure to detect trivial infinite recursion 0 0 0 2019-07-05 Pierre-Marie de Rodat New
[Ada] Missing range check on assignment to bit-packed array [Ada] Missing range check on assignment to bit-packed array 0 0 0 2019-07-05 Pierre-Marie de Rodat New
[Ada] Failure to detect trivial infinite recursion [Ada] Failure to detect trivial infinite recursion 0 0 0 2019-07-05 Pierre-Marie de Rodat New
[Ada] Wrong accessibility level under -gnat12 [Ada] Wrong accessibility level under -gnat12 0 0 0 2019-07-05 Pierre-Marie de Rodat New
[Ada] Crash on exported build-in-place function [Ada] Crash on exported build-in-place function 0 0 0 2019-07-05 Pierre-Marie de Rodat New
[Ada] Spurious error on aggregate with choice that is predicted subtype [Ada] Spurious error on aggregate with choice that is predicted subtype 0 0 0 2019-07-05 Pierre-Marie de Rodat New
[Ada] Removing support for SCIL "contract-only" subprogram bodies [Ada] Removing support for SCIL "contract-only" subprogram bodies 0 0 0 2019-07-05 Pierre-Marie de Rodat New
[Ada] Accept compilation switches -Og/-Ofast in non-GCC backends [Ada] Accept compilation switches -Og/-Ofast in non-GCC backends 0 0 0 2019-07-05 Pierre-Marie de Rodat New
[Ada] Compiler abort on a dynamic predicate used in a precondition [Ada] Compiler abort on a dynamic predicate used in a precondition 0 0 0 2019-07-05 Pierre-Marie de Rodat New
[Ada] Fix inlining in GNATprove inside quantified expressions [Ada] Fix inlining in GNATprove inside quantified expressions 0 0 0 2019-07-05 Pierre-Marie de Rodat New
[Ada] No_Stream_Optimizations ignored for 'Class'Input [Ada] No_Stream_Optimizations ignored for 'Class'Input 0 0 0 2019-07-05 Pierre-Marie de Rodat New
[Ada] Clean up support for validity checks in the compiler [Ada] Clean up support for validity checks in the compiler 0 0 0 2019-07-04 Pierre-Marie de Rodat New
[Ada] Spurious error on non-default C++ constructor [Ada] Spurious error on non-default C++ constructor 0 0 0 2019-07-04 Pierre-Marie de Rodat New
[Ada] Spurious error on instantiation and limited_with_clause [Ada] Spurious error on instantiation and limited_with_clause 0 0 0 2019-07-04 Pierre-Marie de Rodat New
[Ada] Missing actual for generated initialization procedure [Ada] Missing actual for generated initialization procedure 0 0 0 2019-07-04 Pierre-Marie de Rodat New
[Ada] SPARK_Mode Off now allowed inside subprogram [Ada] SPARK_Mode Off now allowed inside subprogram 0 0 0 2019-07-04 Pierre-Marie de Rodat New
[Ada] Bug in composition of equality for variant records [Ada] Bug in composition of equality for variant records 0 0 0 2019-07-04 Pierre-Marie de Rodat New
[Ada] Management of internal data structures in Sem_Elab [Ada] Management of internal data structures in Sem_Elab 0 0 0 2019-07-04 Pierre-Marie de Rodat New
[Ada] Assertion failure on Default_Initial_Condition [Ada] Assertion failure on Default_Initial_Condition 0 0 0 2019-07-04 Pierre-Marie de Rodat New
[Ada] Spurious error on incomplete tagged formal parameter [Ada] Spurious error on incomplete tagged formal parameter 0 0 0 2019-07-04 Pierre-Marie de Rodat New
[Ada] Expr. func. with private formal rejected in nested Ghost package [Ada] Expr. func. with private formal rejected in nested Ghost package 0 0 0 2019-07-04 Pierre-Marie de Rodat New
[Ada] Synchronized object definition in SPARK updated [Ada] Synchronized object definition in SPARK updated 0 0 0 2019-07-04 Pierre-Marie de Rodat New
[Ada] Fix crash in SPARK ownership checking [Ada] Fix crash in SPARK ownership checking 0 0 0 2019-07-04 Pierre-Marie de Rodat New
« 1 2 3 44 5 »