Show patches with: Submitter = Pierre-Marie de Rodat       |    State = Action Required       |    Archived = No       |   3078 patches
« 1 2 ... 24 25 26 … 30 31 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Wrong resolution of equality operator with overloaded operand [Ada] Wrong resolution of equality operator with overloaded operand - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 2019-07-09 Pierre-Marie de Rodat New
[Ada] Missing runtime range checks with -gnatVa [Ada] Missing runtime range checks with -gnatVa - - - - --- 2019-07-09 Pierre-Marie de Rodat New
[Ada] Prevent inconsistent state for inlining in GNATprove [Ada] Prevent inconsistent state for inlining in GNATprove - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 2019-07-09 Pierre-Marie de Rodat New
[Ada] Make -gnatRj output strictly conforming JSON [Ada] Make -gnatRj output strictly conforming JSON - - - - --- 2019-07-09 Pierre-Marie de Rodat New
[Ada] Fix ownership checking for pointers in SPARK [Ada] Fix ownership checking for pointers in SPARK - - - - --- 2019-07-09 Pierre-Marie de Rodat New
[Ada] Issue error on illegal ownership in SPARK [Ada] Issue error on illegal ownership in SPARK - - - - --- 2019-07-09 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 - - - - --- 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 - - - - --- 2019-07-08 Pierre-Marie de Rodat New
[Ada] Assertion failure on validity check for Address [Ada] Assertion failure on validity check for Address - - - - --- 2019-07-08 Pierre-Marie de Rodat New
[Ada] Small overhaul in Repinfo unit [Ada] Small overhaul in Repinfo unit - - - - --- 2019-07-08 Pierre-Marie de Rodat New
[Ada] Remove dependency on Win32 GDI (Graphical Interface) [Ada] Remove dependency on Win32 GDI (Graphical Interface) - - - - --- 2019-07-08 Pierre-Marie de Rodat New
[Ada] Diagnostics for Elaboration order v4.0 [Ada] Diagnostics for Elaboration order v4.0 - - - - --- 2019-07-08 Pierre-Marie de Rodat New
[Ada] Wrong evaluation of membership test [Ada] Wrong evaluation of membership test - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 2019-07-08 Pierre-Marie de Rodat New
[Ada] More data rates supported on Linux [Ada] More data rates supported on Linux - - - - --- 2019-07-08 Pierre-Marie de Rodat New
[Ada] Semantics of Delete for fixed strings [Ada] Semantics of Delete for fixed strings - - - - --- 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 - - - - --- 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 - - - - --- 2019-07-08 Pierre-Marie de Rodat New
[Ada] Crash in interface derivation with null primitive [Ada] Crash in interface derivation with null primitive - - - - --- 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 - - - - --- 2019-07-08 Pierre-Marie de Rodat New
[Ada] Crash on Image and Value attributes [Ada] Crash on Image and Value attributes - - - - --- 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 - - - - --- 2019-07-08 Pierre-Marie de Rodat New
[Ada] Compiler loop on illegal nested accept statement [Ada] Compiler loop on illegal nested accept statement - - - - --- 2019-07-05 Pierre-Marie de Rodat New
[Ada] Incorrect accessibility check [Ada] Incorrect accessibility check - - - - --- 2019-07-05 Pierre-Marie de Rodat New
[Ada] Crash on deallocating component with discriminated task [Ada] Crash on deallocating component with discriminated task - - - - --- 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 - - - - --- 2019-07-05 Pierre-Marie de Rodat New
[Ada] Failure to detect trivial infinite recursion [Ada] Failure to detect trivial infinite recursion - - - - --- 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 - - - - --- 2019-07-05 Pierre-Marie de Rodat New
[Ada] Failure to detect trivial infinite recursion [Ada] Failure to detect trivial infinite recursion - - - - --- 2019-07-05 Pierre-Marie de Rodat New
[Ada] Crash on exported build-in-place function [Ada] Crash on exported build-in-place function - - - - --- 2019-07-05 Pierre-Marie de Rodat New
[Ada] Wrong accessibility level under -gnat12 [Ada] Wrong accessibility level under -gnat12 - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 2019-07-05 Pierre-Marie de Rodat New
[Ada] Fix inlining in GNATprove inside quantified expressions [Ada] Fix inlining in GNATprove inside quantified expressions - - - - --- 2019-07-05 Pierre-Marie de Rodat New
[Ada] No_Stream_Optimizations ignored for 'Class'Input [Ada] No_Stream_Optimizations ignored for 'Class'Input - - - - --- 2019-07-05 Pierre-Marie de Rodat New
[Ada] Spurious error on non-default C++ constructor [Ada] Spurious error on non-default C++ constructor - - - - --- 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 - - - - --- 2019-07-04 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 - - - - --- 2019-07-04 Pierre-Marie de Rodat New
[Ada] SPARK_Mode Off now allowed inside subprogram [Ada] SPARK_Mode Off now allowed inside subprogram - - - - --- 2019-07-04 Pierre-Marie de Rodat New
[Ada] Missing actual for generated initialization procedure [Ada] Missing actual for generated initialization procedure - - - - --- 2019-07-04 Pierre-Marie de Rodat New
[Ada] Spurious error on incomplete tagged formal parameter [Ada] Spurious error on incomplete tagged formal parameter - - - - --- 2019-07-04 Pierre-Marie de Rodat New
[Ada] Assertion failure on Default_Initial_Condition [Ada] Assertion failure on Default_Initial_Condition - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 2019-07-04 Pierre-Marie de Rodat New
[Ada] Skip code not in SPARK for ownership analysis [Ada] Skip code not in SPARK for ownership analysis - - - - --- 2019-07-04 Pierre-Marie de Rodat New
[Ada] Synchronized object definition in SPARK updated [Ada] Synchronized object definition in SPARK updated - - - - --- 2019-07-04 Pierre-Marie de Rodat New
[Ada] Hang on expansion of library-level instantiation [Ada] Hang on expansion of library-level instantiation - - - - --- 2019-07-04 Pierre-Marie de Rodat New
[Ada] Spurious error on 'First in a generic context [Ada] Spurious error on 'First in a generic context - - - - --- 2019-07-04 Pierre-Marie de Rodat New
[Ada] Fix crash in SPARK ownership checking [Ada] Fix crash in SPARK ownership checking - - - - --- 2019-07-04 Pierre-Marie de Rodat New
[Ada] Better error messages for ownership errors in SPARK [Ada] Better error messages for ownership errors in SPARK - - - - --- 2019-07-04 Pierre-Marie de Rodat New
[Ada] Spurious dimensionality error on aggregate with "others" assoc. [Ada] Spurious dimensionality error on aggregate with "others" assoc. - - - - --- 2019-07-04 Pierre-Marie de Rodat New
[Ada] Keep assertions in internal units enabled for GNATprove [Ada] Keep assertions in internal units enabled for GNATprove - - - - --- 2019-07-04 Pierre-Marie de Rodat New
[Ada] Crash on anonymous access-to-class-wide with tasks [Ada] Crash on anonymous access-to-class-wide with tasks - - - - --- 2019-07-03 Pierre-Marie de Rodat New
[Ada] Forced elaboration order in Elaboration order v4.0 [Ada] Forced elaboration order in Elaboration order v4.0 - - - - --- 2019-07-03 Pierre-Marie de Rodat New
[Ada] Crash on front-end inlining of subp. with aspect specifications [Ada] Crash on front-end inlining of subp. with aspect specifications - - - - --- 2019-07-03 Pierre-Marie de Rodat New
[Ada] Improve warnings about infinite loops [Ada] Improve warnings about infinite loops - - - - --- 2019-07-03 Pierre-Marie de Rodat New
[Ada] Suppress warnings in generic instantiations with pragma Warnings [Ada] Suppress warnings in generic instantiations with pragma Warnings - - - - --- 2019-07-03 Pierre-Marie de Rodat New
[Ada] Spurious visibility error in inlined function [Ada] Spurious visibility error in inlined function - - - - --- 2019-07-03 Pierre-Marie de Rodat New
[Ada] Incorrect expansion on renamings of formal parameters [Ada] Incorrect expansion on renamings of formal parameters - - - - --- 2019-07-03 Pierre-Marie de Rodat New
[Ada] New routine to access file on command line [Ada] New routine to access file on command line - - - - --- 2019-07-03 Pierre-Marie de Rodat New
[Ada] SPARK pointer support extended to local borrowers and observers [Ada] SPARK pointer support extended to local borrowers and observers - - - - --- 2019-07-03 Pierre-Marie de Rodat New
[Ada] Extend -gnatw.z warning to array types [Ada] Extend -gnatw.z warning to array types - - - - --- 2019-07-03 Pierre-Marie de Rodat New
[Ada] Make loop labels unique for front-end inlined calls [Ada] Make loop labels unique for front-end inlined calls - - - - --- 2019-07-03 Pierre-Marie de Rodat New
[Ada] Spurious error on dynamic predicate in a generic context [Ada] Spurious error on dynamic predicate in a generic context - - - - --- 2019-07-03 Pierre-Marie de Rodat New
[Ada] Missing consistency check for constant modifier [Ada] Missing consistency check for constant modifier - - - - --- 2019-07-03 Pierre-Marie de Rodat New
[Ada] Fix bogus error on array with overaligned scalar component [Ada] Fix bogus error on array with overaligned scalar component - - - - --- 2019-07-03 Pierre-Marie de Rodat New
[Ada] Spurious error with static predicate in generic unit [Ada] Spurious error with static predicate in generic unit - - - - --- 2019-07-03 Pierre-Marie de Rodat New
[Ada] Style check for mixed-case identifiers [Ada] Style check for mixed-case identifiers - - - - --- 2019-07-03 Pierre-Marie de Rodat New
[Ada] Spurious error on predicate of subtype in generic [Ada] Spurious error on predicate of subtype in generic - - - - --- 2019-07-03 Pierre-Marie de Rodat New
[Ada] Spurious error on inst. of partially defaulted formal package [Ada] Spurious error on inst. of partially defaulted formal package - - - - --- 2019-07-01 Pierre-Marie de Rodat New
[Ada] More permissive use of GNAT attribute Enum_Rep [Ada] More permissive use of GNAT attribute Enum_Rep - - - - --- 2019-07-01 Pierre-Marie de Rodat New
[Ada] Spurious error private subtype derivation [Ada] Spurious error private subtype derivation - - - - --- 2019-07-01 Pierre-Marie de Rodat New
[Ada] SPARK support for pointers through ownership [Ada] SPARK support for pointers through ownership - - - - --- 2019-07-01 Pierre-Marie de Rodat New
[Ada] Crash on improper pragma Weak_External [Ada] Crash on improper pragma Weak_External - - - - --- 2019-07-01 Pierre-Marie de Rodat New
[Ada] Remove a SPARK rule about implicit Global [Ada] Remove a SPARK rule about implicit Global - - - - --- 2019-07-01 Pierre-Marie de Rodat New
[Ada] Implement GNAT.Graphs [Ada] Implement GNAT.Graphs - - - - --- 2019-07-01 Pierre-Marie de Rodat New
[Ada] Revert "Global => null" on calendar routines that use timezones [Ada] Revert "Global => null" on calendar routines that use timezones - - - - --- 2019-07-01 Pierre-Marie de Rodat New
[Ada] gprbuild fails to find ghost ALI files [Ada] gprbuild fails to find ghost ALI files - - - - --- 2019-07-01 Pierre-Marie de Rodat New
[Ada] Improve error message on mult/div between fixed-point and integer [Ada] Improve error message on mult/div between fixed-point and integer - - - - --- 2019-07-01 Pierre-Marie de Rodat New
[Ada] Wrong code with -gnatVa on lock-free protected objects [Ada] Wrong code with -gnatVa on lock-free protected objects - - - - --- 2019-07-01 Pierre-Marie de Rodat New
[Ada] Cleanup references to LynuxWorks in docs and comments [Ada] Cleanup references to LynuxWorks in docs and comments - - - - --- 2019-07-01 Pierre-Marie de Rodat New
[Ada] Crash due to missing freeze nodes in transient scope [Ada] Crash due to missing freeze nodes in transient scope - - - - --- 2019-07-01 Pierre-Marie de Rodat New
[Ada] Compiler abort on use of Invalid_Value on numeric positive subtype [Ada] Compiler abort on use of Invalid_Value on numeric positive subtype - - - - --- 2019-07-01 Pierre-Marie de Rodat New
[Ada] GNAT.Sockets: fix recent regressions [Ada] GNAT.Sockets: fix recent regressions - - - - --- 2019-03-22 Pierre-Marie de Rodat New
[Ada] Add "Global => null" contracts to Ada.Calendar routines [Ada] Add "Global => null" contracts to Ada.Calendar routines - - - - --- 2018-12-11 Pierre-Marie de Rodat New
[Ada] Spurious error with pragma Thread_Local_Storage [Ada] Spurious error with pragma Thread_Local_Storage - - - - --- 2018-12-11 Pierre-Marie de Rodat New
[Ada] Do not expand code inside ignored ghost bodies [Ada] Do not expand code inside ignored ghost bodies - - - - --- 2018-12-11 Pierre-Marie de Rodat New
[Ada] Crash on misplaced First operation for GNAT iterable type [Ada] Crash on misplaced First operation for GNAT iterable type - - - - --- 2018-12-11 Pierre-Marie de Rodat New
« 1 2 ... 24 25 26 … 30 31 »