Show patches with: State = Action Required       |   126497 patches
« 1 2 ... 336 337 338 … 1264 1265 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Internal crash on illegal renaming [Ada] Internal crash on illegal renaming - - - - --- 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 - - - - --- 2019-07-11 Pierre-Marie de Rodat New
[Ada] Compile-time evaluation of predicate checks [Ada] Compile-time evaluation of predicate checks - - - - --- 2019-07-11 Pierre-Marie de Rodat New
[Ada] Fix inconsistent documentation for gnatmetric [Ada] Fix inconsistent documentation for gnatmetric - - - - --- 2019-07-11 Pierre-Marie de Rodat New
[Ada] Infinite loop on illegal declaration [Ada] Infinite loop on illegal declaration - - - - --- 2019-07-11 Pierre-Marie de Rodat New
[Ada] Remove redundant predicate checks [Ada] Remove redundant predicate checks - - - - --- 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 - - - - --- 2019-07-11 Pierre-Marie de Rodat New
[Ada] Pragma Unreferenced triggers undefined reference [Ada] Pragma Unreferenced triggers undefined reference - - - - --- 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 - - - - --- 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 - - - - --- 2019-07-11 Pierre-Marie de Rodat New
[Ada] Minimal binder [Ada] Minimal binder - - - - --- 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 - - - - --- 2019-07-11 Pierre-Marie de Rodat New
[Ada] Avoid spurious errors on dimensionality checking in GNATprove [Ada] Avoid spurious errors on dimensionality checking in GNATprove - - - - --- 2019-07-11 Pierre-Marie de Rodat New
[Ada] Fix internal error on array slice in loop and Loop_Invariant [Ada] Fix internal error on array slice in loop and Loop_Invariant - - - - --- 2019-07-22 Pierre-Marie de Rodat New
[Ada] Spurious warning about a useless assignment [Ada] Spurious warning about a useless assignment - - - - --- 2019-07-22 Pierre-Marie de Rodat New
[Ada] Incorrect values in conversion from fixed-point subtype with 'Small [Ada] Incorrect values in conversion from fixed-point subtype with 'Small - - - - --- 2019-07-22 Pierre-Marie de Rodat New
[Ada] Crash in C++ constructor without external and link name [Ada] Crash in C++ constructor without external and link name - - - - --- 2019-07-22 Pierre-Marie de Rodat New
[Ada] Ensure Ctrl-C is not emited on terminated processes [Ada] Ensure Ctrl-C is not emited on terminated processes - - - - --- 2019-07-22 Pierre-Marie de Rodat New
[Ada] Fix spurious loop warning for function with Out parameter [Ada] Fix spurious loop warning for function with Out parameter - - - - --- 2019-07-22 Pierre-Marie de Rodat New
[Ada] Fix wrong assumption on bounds in GNAT.Encode_String [Ada] Fix wrong assumption on bounds in GNAT.Encode_String - - - - --- 2019-07-22 Pierre-Marie de Rodat New
[Ada] Fix missing Constraint_Error for Enum_Val attribute [Ada] Fix missing Constraint_Error for Enum_Val attribute - - - - --- 2019-07-22 Pierre-Marie de Rodat New
[Ada] Internal error on iterator for limited private discriminated type [Ada] Internal error on iterator for limited private discriminated type - - - - --- 2019-07-22 Pierre-Marie de Rodat New
[Ada] Premature finalization of controlled temporaries in case expressions [Ada] Premature finalization of controlled temporaries in case expressions - - - - --- 2019-07-22 Pierre-Marie de Rodat New
[Ada] Further fix non-stored discriminant in aggregate for GNATprove [Ada] Further fix non-stored discriminant in aggregate for GNATprove - - - - --- 2019-07-22 Pierre-Marie de Rodat New
[Ada] Type inconsistency in floating_point type declarations [Ada] Type inconsistency in floating_point type declarations - - - - --- 2019-07-22 Pierre-Marie de Rodat New
[Ada] Spurious error on private subtype of derived access type [Ada] Spurious error on private subtype of derived access type - - - - --- 2019-07-22 Pierre-Marie de Rodat New
[Ada] Remove obsolete Is_For_Access_Subtype machinery [Ada] Remove obsolete Is_For_Access_Subtype machinery - - - - --- 2019-07-22 Pierre-Marie de Rodat New
[Ada] Issue warning or error message on ignored typing constraint [Ada] Issue warning or error message on ignored typing constraint - - - - --- 2019-07-22 Pierre-Marie de Rodat New
[Ada] Fix spurious visibility error for tagged type with inlining [Ada] Fix spurious visibility error for tagged type with inlining - - - - --- 2019-07-22 Pierre-Marie de Rodat New
[Ada] Misleading warning on variable not assigned [Ada] Misleading warning on variable not assigned - - - - --- 2019-07-22 Pierre-Marie de Rodat New
[Ada] Optimization loses exception in improper use of 'Value [Ada] Optimization loses exception in improper use of 'Value - - - - --- 2019-07-22 Pierre-Marie de Rodat New
[Ada] Small enhancement to the -gnatD/-gnatG output for fixed-point types [Ada] Small enhancement to the -gnatD/-gnatG output for fixed-point types - - - - --- 2019-07-22 Pierre-Marie de Rodat New
[Ada] Spurious error passing access to class-wide interface type [Ada] Spurious error passing access to class-wide interface type - - - - --- 2019-07-22 Pierre-Marie de Rodat New
[Ada] Overhaul code implementing conversions involving fixed-point types [Ada] Overhaul code implementing conversions involving fixed-point types - - - - --- 2019-07-22 Pierre-Marie de Rodat New
[Ada] Adapt ownership checking in SPARK to traversal functions [Ada] Adapt ownership checking in SPARK to traversal functions - - - - --- 2019-07-22 Pierre-Marie de Rodat New
[Ada] Remove misleading warning/suggestion in membership test [Ada] Remove misleading warning/suggestion in membership test - - - - --- 2019-07-22 Pierre-Marie de Rodat New
[Ada] Fix missing check for no-op conversion to fixed-point type [Ada] Fix missing check for no-op conversion to fixed-point type - - - - --- 2019-07-22 Pierre-Marie de Rodat New
[Ada] More complete information level for -gnatR4 output [Ada] More complete information level for -gnatR4 output - - - - --- 2019-07-22 Pierre-Marie de Rodat New
[Ada] Fix binding of ghost units with finalizer [Ada] Fix binding of ghost units with finalizer - - - - --- 2019-07-23 Pierre-Marie de Rodat New
[Ada] Issue error on SPARK ownership rule violation [Ada] Issue error on SPARK ownership rule violation - - - - --- 2019-07-23 Pierre-Marie de Rodat New
[Ada] Iterators are view-specific [Ada] Iterators are view-specific - - - - --- 2019-07-23 Pierre-Marie de Rodat New
[Ada] Minor tweak to -gnatR output [Ada] Minor tweak to -gnatR output - - - - --- 2019-07-23 Pierre-Marie de Rodat New
[Ada] Eliminate redundant overflow checks for conversions from fixed-point [Ada] Eliminate redundant overflow checks for conversions from fixed-point - - - - --- 2019-07-23 Pierre-Marie de Rodat New
[Ada] Plug small loophole in Generate_Range_Check [Ada] Plug small loophole in Generate_Range_Check - - - - --- 2019-07-23 Pierre-Marie de Rodat New
[Ada] Fix incorrect Do_Range_Check on type conversion [Ada] Fix incorrect Do_Range_Check on type conversion - - - - --- 2019-08-12 Pierre-Marie de Rodat New
[Ada] Fix missing range check for In/Out parameter with -gnatVa [Ada] Fix missing range check for In/Out parameter with -gnatVa - - - - --- 2019-08-12 Pierre-Marie de Rodat New
[Ada] Eliminate redundant range checks on conversions [Ada] Eliminate redundant range checks on conversions - - - - --- 2019-08-12 Pierre-Marie de Rodat New
[Ada] Extended traversal subprograms for GNATprove [Ada] Extended traversal subprograms for GNATprove - - - - --- 2019-08-12 Pierre-Marie de Rodat New
[Ada] Fix leak of Do_Range_Check flag in -gnatVa mode [Ada] Fix leak of Do_Range_Check flag in -gnatVa mode - - - - --- 2019-08-12 Pierre-Marie de Rodat New
[Ada] Inconsistent compile time Constraint_Error warning [Ada] Inconsistent compile time Constraint_Error warning - - - - --- 2019-08-12 Pierre-Marie de Rodat New
[Ada] Add special bypass for obsolete code pattern [Ada] Add special bypass for obsolete code pattern - - - - --- 2019-08-12 Pierre-Marie de Rodat New
[Ada] Suppress_Initialization not respected for private subtypes [Ada] Suppress_Initialization not respected for private subtypes - - - - --- 2019-08-12 Pierre-Marie de Rodat New
[Ada] Adapt new extended traversal of AST to have optional part [Ada] Adapt new extended traversal of AST to have optional part - - - - --- 2019-08-12 Pierre-Marie de Rodat New
[Ada] Improve error message for Object_Size clause on dynamic array [Ada] Improve error message for Object_Size clause on dynamic array - - - - --- 2019-08-12 Pierre-Marie de Rodat New
[Ada] More precise handling of Size/Object_Size in GNATprove [Ada] More precise handling of Size/Object_Size in GNATprove - - - - --- 2019-08-12 Pierre-Marie de Rodat New
[Ada] Prevent crash in Is_Reachable [Ada] Prevent crash in Is_Reachable - - - - --- 2019-08-12 Pierre-Marie de Rodat New
[Ada] Prevent crash in Put_Scaled [Ada] Prevent crash in Put_Scaled - - - - --- 2019-08-12 Pierre-Marie de Rodat New
[Ada] Do not suppress checks in instances of internal generics [Ada] Do not suppress checks in instances of internal generics - - - - --- 2019-08-12 Pierre-Marie de Rodat New
[Ada] Remove doc for language version switches [Ada] Remove doc for language version switches - - - - --- 2019-08-12 Pierre-Marie de Rodat New
[Ada] Hang on loop in generic with subtype indication specifying a range [Ada] Hang on loop in generic with subtype indication specifying a range - - - - --- 2019-08-12 Pierre-Marie de Rodat New
[Ada] Fix internal error on comparison of unaligned slices [Ada] Fix internal error on comparison of unaligned slices - - - - --- 2019-08-12 Pierre-Marie de Rodat New
[Ada] Missing check on outbound parameter of a non-null access type [Ada] Missing check on outbound parameter of a non-null access type - - - - --- 2019-08-12 Pierre-Marie de Rodat New
[Ada] Crash on illegal left-hand side in assignment of renamed variable [Ada] Crash on illegal left-hand side in assignment of renamed variable - - - - --- 2019-08-12 Pierre-Marie de Rodat New
[Ada] New parameter Quiet for procedure GNAT.Command_Line.Getopt [Ada] New parameter Quiet for procedure GNAT.Command_Line.Getopt - - - - --- 2019-08-12 Pierre-Marie de Rodat New
[Ada] Fix IPv6 numeric address detection [Ada] Fix IPv6 numeric address detection - - - - --- 2019-08-12 Pierre-Marie de Rodat New
[Ada] Wrong initialization of Offset_To_Top in secondary DT [Ada] Wrong initialization of Offset_To_Top in secondary DT - - - - --- 2019-08-13 Pierre-Marie de Rodat New
[Ada] Disable anonymous allocator warning for library-level objects [Ada] Disable anonymous allocator warning for library-level objects - - - - --- 2019-08-13 Pierre-Marie de Rodat New
[Ada] Add ability to list compiler switches with gnatcmd [Ada] Add ability to list compiler switches with gnatcmd - - - - --- 2019-08-13 Pierre-Marie de Rodat New
[Ada] Complete the more extended AST traversal used in GNATprove [Ada] Complete the more extended AST traversal used in GNATprove - - - - --- 2019-08-13 Pierre-Marie de Rodat New
[Ada] Fix spurious error on nested instantiation with inlining [Ada] Fix spurious error on nested instantiation with inlining - - - - --- 2019-08-13 Pierre-Marie de Rodat New
[Ada] Spurious error on nested instantiation [Ada] Spurious error on nested instantiation - - - - --- 2019-08-13 Pierre-Marie de Rodat New
[Ada] Compiler may blow up on array aggregates whose size is very large [Ada] Compiler may blow up on array aggregates whose size is very large - - - - --- 2019-08-13 Pierre-Marie de Rodat New
[Ada] Implement pragma Max_Entry_Queue_Length [Ada] Implement pragma Max_Entry_Queue_Length - - - - --- 2019-08-13 Pierre-Marie de Rodat New
[Ada] Show Bit_Order and Scalar_Storage_Order in -gnatR4 output [Ada] Show Bit_Order and Scalar_Storage_Order in -gnatR4 output - - - - --- 2019-08-13 Pierre-Marie de Rodat New
[Ada] Avoid crash in GNATprove_Mode on allocator inside type [Ada] Avoid crash in GNATprove_Mode on allocator inside type - - - - --- 2019-08-13 Pierre-Marie de Rodat New
[Ada] Avoid spurious errors on dimensionality checking in GNATprove [Ada] Avoid spurious errors on dimensionality checking in GNATprove - - - - --- 2019-08-13 Pierre-Marie de Rodat New
[Ada] Fix incorrect binding to MapViewOfFile in s-win32.ads [Ada] Fix incorrect binding to MapViewOfFile in s-win32.ads - - - - --- 2019-08-13 Pierre-Marie de Rodat New
[Ada] Do full name qualification of local exception names for LLVM [Ada] Do full name qualification of local exception names for LLVM - - - - --- 2019-08-13 Pierre-Marie de Rodat New
[Ada] Avoid crash in GNATprove due to inlining inside type [Ada] Avoid crash in GNATprove due to inlining inside type - - - - --- 2019-08-13 Pierre-Marie de Rodat New
[Ada] Fix spurious instantiation error on private record type [Ada] Fix spurious instantiation error on private record type - - - - --- 2019-08-13 Pierre-Marie de Rodat New
[Ada] Fix bogus style check failure with pragma Style_Checks (Off) [Ada] Fix bogus style check failure with pragma Style_Checks (Off) - - - - --- 2019-08-13 Pierre-Marie de Rodat New
[Ada] Add conformance check on actual subp. in instance of child unit [Ada] Add conformance check on actual subp. in instance of child unit - - - - --- 2019-08-13 Pierre-Marie de Rodat New
[Ada] Small cleanup and improvement in inlining machinery [Ada] Small cleanup and improvement in inlining machinery - - - - --- 2019-08-13 Pierre-Marie de Rodat New
[Ada] Wrong dispatching call in type with aspect Implicit_Dereference [Ada] Wrong dispatching call in type with aspect Implicit_Dereference - - - - --- 2019-08-13 Pierre-Marie de Rodat New
[Ada] Do not remove side-effects in an others_clause with function calls [Ada] Do not remove side-effects in an others_clause with function calls - - - - --- 2019-08-13 Pierre-Marie de Rodat New
[Ada] Legality rule on ancestors of type extensions in generic bodies [Ada] Legality rule on ancestors of type extensions in generic bodies - - - - --- 2019-08-13 Pierre-Marie de Rodat New
[Ada] Build full derivation for private concurrent type [Ada] Build full derivation for private concurrent type - - - - --- 2019-08-13 Pierre-Marie de Rodat New
[Ada] Fix failing assertions on SPARK elaboration [Ada] Fix failing assertions on SPARK elaboration - - - - --- 2019-08-14 Pierre-Marie de Rodat New
[Ada] Illegal selection of first object in a task type's body not detected [Ada] Illegal selection of first object in a task type's body not detected - - - - --- 2019-08-14 Pierre-Marie de Rodat New
[Ada] Crash on precondition involving quantified expression [Ada] Crash on precondition involving quantified expression - - - - --- 2019-08-14 Pierre-Marie de Rodat New
[Ada] Crash on quantified expression in disabled assertion [Ada] Crash on quantified expression in disabled assertion - - - - --- 2019-08-14 Pierre-Marie de Rodat New
[Ada] Check SPARK restriction on Old/Loop_Entry with pointers [Ada] Check SPARK restriction on Old/Loop_Entry with pointers - - - - --- 2019-08-14 Pierre-Marie de Rodat New
[Ada] Fix discrepancy in mechanism tracking private and full views [Ada] Fix discrepancy in mechanism tracking private and full views - - - - --- 2019-08-14 Pierre-Marie de Rodat New
[Ada] Expose part of ownership checking for use in GNATprove [Ada] Expose part of ownership checking for use in GNATprove - - - - --- 2019-08-14 Pierre-Marie de Rodat New
[Ada] Fix internal error on inlined subprogram instance [Ada] Fix internal error on inlined subprogram instance - - - - --- 2019-08-14 Pierre-Marie de Rodat New
[Ada] Fix spurious ownership error in GNATprove [Ada] Fix spurious ownership error in GNATprove - - - - --- 2019-08-14 Pierre-Marie de Rodat New
[Ada] Alignment may be specified as zero [Ada] Alignment may be specified as zero - - - - --- 2019-08-14 Pierre-Marie de Rodat New
[Ada] Incorrect error on inline protected function [Ada] Incorrect error on inline protected function - - - - --- 2019-08-14 Pierre-Marie de Rodat New
[Ada] Strengthen Locked flag [Ada] Strengthen Locked flag - - - - --- 2019-08-14 Pierre-Marie de Rodat New
[Ada] Spurious error in discriminated aggregate [Ada] Spurious error in discriminated aggregate - - - - --- 2019-08-14 Pierre-Marie de Rodat New
« 1 2 ... 336 337 338 … 1264 1265 »