Show patches with: Submitter = Pierre-Marie de Rodat       |    State = Action Required       |    Archived = No       |   3078 patches
« 1 2 ... 10 11 12 … 30 31 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Expose symmetry between Known_ and Unknown_ query routines [Ada] Expose symmetry between Known_ and Unknown_ query routines - - - - --- 2021-06-30 Pierre-Marie de Rodat New
[Ada] Do not catch 'N mod -1' in CodePeer_Mode [Ada] Do not catch 'N mod -1' in CodePeer_Mode - - - - --- 2021-06-30 Pierre-Marie de Rodat New
[Ada] Small tweak in a couple of comments [Ada] Small tweak in a couple of comments - - - - --- 2021-06-30 Pierre-Marie de Rodat New
[Ada] Remove an obsolete variant of Adjust_Name_Case used only by SPARK [Ada] Remove an obsolete variant of Adjust_Name_Case used only by SPARK - - - - --- 2021-06-30 Pierre-Marie de Rodat New
[Ada] Further adjustment and optimization of System.Value_N [Ada] Further adjustment and optimization of System.Value_N - - - - --- 2021-06-30 Pierre-Marie de Rodat New
[Ada] Reuse Is_Subprogram_Or_Entry where possible [Ada] Reuse Is_Subprogram_Or_Entry where possible - - - - --- 2021-06-30 Pierre-Marie de Rodat New
[Ada] More robust guard against cascaded errors with overlapping actuals [Ada] More robust guard against cascaded errors with overlapping actuals - - - - --- 2021-06-30 Pierre-Marie de Rodat New
[Ada] Remove redundant check for empty list [Ada] Remove redundant check for empty list - - - - --- 2021-06-30 Pierre-Marie de Rodat New
[Ada] Factor out many fields in entities [Ada] Factor out many fields in entities - - - - --- 2021-06-30 Pierre-Marie de Rodat New
[Ada] Add some OS constants to control keepalive on TCP connections [Ada] Add some OS constants to control keepalive on TCP connections - - - - --- 2021-06-30 Pierre-Marie de Rodat New
[Ada] Fix style in Get_Fullest_View [Ada] Fix style in Get_Fullest_View - - - - --- 2021-06-30 Pierre-Marie de Rodat New
[Ada] Accept arrays and scalars as type views that can be validated [Ada] Accept arrays and scalars as type views that can be validated - - - - --- 2021-06-30 Pierre-Marie de Rodat New
[Ada] Rewrite Validated_View in recursive style [Ada] Rewrite Validated_View in recursive style - - - - --- 2021-06-30 Pierre-Marie de Rodat New
[Ada] Consistently use Validated_View for Valid_Scalars on records [Ada] Consistently use Validated_View for Valid_Scalars on records - - - - --- 2021-06-30 Pierre-Marie de Rodat New
[Ada] Ignore again errors when running gen_il-main [Ada] Ignore again errors when running gen_il-main - - - - --- 2021-06-30 Pierre-Marie de Rodat New
[Ada] Fix bug in node/entity kind numbers in sinfo/einfo.h [Ada] Fix bug in node/entity kind numbers in sinfo/einfo.h - - - - --- 2021-06-30 Pierre-Marie de Rodat New
[Ada] tech debt: Parent (Empty) is not allowed [Ada] tech debt: Parent (Empty) is not allowed - - - - --- 2021-06-30 Pierre-Marie de Rodat New
[Ada] Simplify detection of local types [Ada] Simplify detection of local types - - - - --- 2021-06-30 Pierre-Marie de Rodat New
[Ada] Disable Pre/Post in formal containers [Ada] Disable Pre/Post in formal containers - - - - --- 2021-06-30 Pierre-Marie de Rodat New
[Ada] vx7-shared-libs: Unused variable __gnat_user_int_connect [Ada] vx7-shared-libs: Unused variable __gnat_user_int_connect - - - - --- 2021-06-30 Pierre-Marie de Rodat New
[Ada] vx7-shared-libs - x86_64-vx7r2 (gnat runtime) [Ada] vx7-shared-libs - x86_64-vx7r2 (gnat runtime) - - - - --- 2021-06-30 Pierre-Marie de Rodat New
[Ada] Remove a special case for forking-for-expect from ordinary spawn [Ada] Remove a special case for forking-for-expect from ordinary spawn - - - - --- 2021-06-30 Pierre-Marie de Rodat New
[Ada] Overriding errors on renamings and instances overriding predefined operators [Ada] Overriding errors on renamings and instances overriding predefined operators - - - - --- 2021-06-30 Pierre-Marie de Rodat New
[Ada] Ensure System.Tasking.Debug.Known_Tasks component access is atomic [Ada] Ensure System.Tasking.Debug.Known_Tasks component access is atomic - - - - --- 2021-06-30 Pierre-Marie de Rodat New
[Ada] Implement fixed-lower-bound consistency checks for qualified_expressions [Ada] Implement fixed-lower-bound consistency checks for qualified_expressions - - - - --- 2021-06-21 Pierre-Marie de Rodat New
[Ada] Improve efficiency of small slice assignments of packed arrays [Ada] Improve efficiency of small slice assignments of packed arrays - - - - --- 2021-06-21 Pierre-Marie de Rodat New
[Ada] Optimization of System.Value_N [Ada] Optimization of System.Value_N - - - - --- 2021-06-21 Pierre-Marie de Rodat New
[Ada] Zero-size slices [Ada] Zero-size slices - - - - --- 2021-06-21 Pierre-Marie de Rodat New
[Ada] Make -gnatU and -gnatw.d the default [Ada] Make -gnatU and -gnatw.d the default - - - - --- 2021-06-21 Pierre-Marie de Rodat New
[Ada] Add Return_Statement field [Ada] Add Return_Statement field - - - - --- 2021-06-21 Pierre-Marie de Rodat New
[Ada] Adjust new fast bit-field copy path to big-endian platforms [Ada] Adjust new fast bit-field copy path to big-endian platforms - - - - --- 2021-06-21 Pierre-Marie de Rodat New
[Ada] Fix unbalanced parens in documentation of Address clauses [Ada] Fix unbalanced parens in documentation of Address clauses - - - - --- 2021-06-21 Pierre-Marie de Rodat New
[Ada] Implementation of AI12-205: defaults for formal types [Ada] Implementation of AI12-205: defaults for formal types - - - - --- 2021-06-21 Pierre-Marie de Rodat New
[Ada] Fix invalid JSON real numbers generated with -gnatRj [Ada] Fix invalid JSON real numbers generated with -gnatRj - - - - --- 2021-06-21 Pierre-Marie de Rodat New
[Ada] Simplify detection of statically overlapping slices [Ada] Simplify detection of statically overlapping slices - - - - --- 2021-06-21 Pierre-Marie de Rodat New
[Ada] Fix detection of overlapping actuals with renamings [Ada] Fix detection of overlapping actuals with renamings - - - - --- 2021-06-21 Pierre-Marie de Rodat New
[Ada] Compile s-mmap on aarch64-linux [Ada] Compile s-mmap on aarch64-linux - - - - --- 2021-06-21 Pierre-Marie de Rodat New
[Ada] Skip overlay checks on protected components with expansion disabled [Ada] Skip overlay checks on protected components with expansion disabled - - - - --- 2021-06-21 Pierre-Marie de Rodat New
[Ada] Compiler crash on sliding of fixed-lower-bound object in Loop_Invariant [Ada] Compiler crash on sliding of fixed-lower-bound object in Loop_Invariant - - - - --- 2021-06-21 Pierre-Marie de Rodat New
[Ada] Disable wrong computation of offsets within multidimensional arrays [Ada] Disable wrong computation of offsets within multidimensional arrays - - - - --- 2021-06-21 Pierre-Marie de Rodat New
[Ada] Fix asymmetries in detection of overlapping actuals [Ada] Fix asymmetries in detection of overlapping actuals - - - - --- 2021-06-18 Pierre-Marie de Rodat New
[Ada] Warn about overlapping actuals in all versions of Ada [Ada] Warn about overlapping actuals in all versions of Ada - - - - --- 2021-06-18 Pierre-Marie de Rodat New
[Ada] Fix handling of gnat check/test commands [Ada] Fix handling of gnat check/test commands - - - - --- 2021-06-18 Pierre-Marie de Rodat New
[Ada] Ada2020: AI12-0195 overriding class-wide pre/post conditions [Ada] Ada2020: AI12-0195 overriding class-wide pre/post conditions - - - - --- 2021-06-18 Pierre-Marie de Rodat New
[Ada] Premature freezing of types [Ada] Premature freezing of types - - - - --- 2021-06-18 Pierre-Marie de Rodat New
[Ada] Fix inaccuracies in signal handler trampoline for aarch64-vxworks [Ada] Fix inaccuracies in signal handler trampoline for aarch64-vxworks - - - - --- 2021-06-18 Pierre-Marie de Rodat New
[Ada] Fix detection of overlapping slices indexed by characters [Ada] Fix detection of overlapping slices indexed by characters - - - - --- 2021-06-18 Pierre-Marie de Rodat New
[Ada] Avoid passing Enum_Lit'Size to the back end [Ada] Avoid passing Enum_Lit'Size to the back end - - - - --- 2021-06-18 Pierre-Marie de Rodat New
[Ada] Missing check for assigning too-large array to fixed-lower-bound object [Ada] Missing check for assigning too-large array to fixed-lower-bound object - - - - --- 2021-06-18 Pierre-Marie de Rodat New
[Ada] Make "gcc -gnatDGL" handle unterminated last lines properly [Ada] Make "gcc -gnatDGL" handle unterminated last lines properly - - - - --- 2021-06-18 Pierre-Marie de Rodat New
[Ada] Error issued on string literal assigned to fixed-lower-bound array [Ada] Error issued on string literal assigned to fixed-lower-bound array - - - - --- 2021-06-18 Pierre-Marie de Rodat New
[Ada] New debug switch to disable large static aggregates [Ada] New debug switch to disable large static aggregates - - - - --- 2021-06-18 Pierre-Marie de Rodat New
[Ada] Additional error checking on index constraints with fixed-lower-bound ranges [Ada] Additional error checking on index constraints with fixed-lower-bound ranges - - - - --- 2021-06-18 Pierre-Marie de Rodat New
[Ada] Warn on 'in out' param containing access in private type [Ada] Warn on 'in out' param containing access in private type - - - - --- 2021-06-18 Pierre-Marie de Rodat New
[Ada] Fix detection of overlapping actuals with renamings [Ada] Fix detection of overlapping actuals with renamings - - - - --- 2021-06-18 Pierre-Marie de Rodat New
[Ada] Correct A'First (N) where N is an object name [Ada] Correct A'First (N) where N is an object name - - - - --- 2021-06-18 Pierre-Marie de Rodat New
[Ada] GNAT.Compiler_Version and LTO [Ada] GNAT.Compiler_Version and LTO - - - - --- 2021-06-18 Pierre-Marie de Rodat New
[Ada] Update comments related to TBD [Ada] Update comments related to TBD - - - - --- 2021-06-18 Pierre-Marie de Rodat New
[Ada] Remove dead code for overlapping actuals in prefix notation [Ada] Remove dead code for overlapping actuals in prefix notation - - - - --- 2021-06-18 Pierre-Marie de Rodat New
[Ada] Do not clear Is_True_Constant flag on imported constants [Ada] Do not clear Is_True_Constant flag on imported constants - - - - --- 2021-06-18 Pierre-Marie de Rodat New
[Ada] Replace Opt.Extensions_Allowed by Ada_Version [Ada] Replace Opt.Extensions_Allowed by Ada_Version - - - - --- 2021-06-18 Pierre-Marie de Rodat New
[Ada] Relax null exclusion mismatch check in Relaxed_RM_Semantics mode [Ada] Relax null exclusion mismatch check in Relaxed_RM_Semantics mode - - - - --- 2021-06-18 Pierre-Marie de Rodat New
[Ada] Implement basic support for -fdiagnostics-format=json [Ada] Implement basic support for -fdiagnostics-format=json - - - - --- 2021-06-18 Pierre-Marie de Rodat New
[Ada] Fix operations on Unbounded_String... [Ada] Fix operations on Unbounded_String... - - - - --- 2021-06-17 Pierre-Marie de Rodat New
[Ada] Crash on overriding of an abstract primitive on an incomplete type [Ada] Crash on overriding of an abstract primitive on an incomplete type - - - - --- 2021-06-17 Pierre-Marie de Rodat New
[Ada] Missing finalization on nested expression with action [Ada] Missing finalization on nested expression with action - - - - --- 2021-06-17 Pierre-Marie de Rodat New
[Ada] Remove dubious wrapper of a recursive function [Ada] Remove dubious wrapper of a recursive function - - - - --- 2021-06-17 Pierre-Marie de Rodat New
[Ada] Crash on a nested aggregate containing controlled objects [Ada] Crash on a nested aggregate containing controlled objects - - - - --- 2021-06-17 Pierre-Marie de Rodat New
[Ada] Warn on 'in out' param containing access in predefined private type [Ada] Warn on 'in out' param containing access in predefined private type - - - - --- 2021-06-17 Pierre-Marie de Rodat New
[Ada] Check all pairs of actuals for overlapping [Ada] Check all pairs of actuals for overlapping - - - - --- 2021-06-17 Pierre-Marie de Rodat New
[Ada] Fix detection of slices that denote the same object [Ada] Fix detection of slices that denote the same object - - - - --- 2021-06-17 Pierre-Marie de Rodat New
[Ada] Error in instance on incomplete actual passed to formal incomplete type [Ada] Error in instance on incomplete actual passed to formal incomplete type - - - - --- 2021-06-17 Pierre-Marie de Rodat New
[Ada] Fix detection of valid renamings for overlapping checks [Ada] Fix detection of valid renamings for overlapping checks - - - - --- 2021-06-17 Pierre-Marie de Rodat New
[Ada] Don't check No_Wide_Characters restriction for illegal types [Ada] Don't check No_Wide_Characters restriction for illegal types - - - - --- 2021-06-17 Pierre-Marie de Rodat New
[Ada] Fix handling of generic types in check for overlapping actuals [Ada] Fix handling of generic types in check for overlapping actuals - - - - --- 2021-06-17 Pierre-Marie de Rodat New
[Ada] Cleanup redundant conditions in checks for overlapping actuals [Ada] Cleanup redundant conditions in checks for overlapping actuals - - - - --- 2021-06-17 Pierre-Marie de Rodat New
[Ada] Move runtime units for Put_Image attribute to libgnarl [Ada] Move runtime units for Put_Image attribute to libgnarl - - - - --- 2021-06-17 Pierre-Marie de Rodat New
[Ada] Clarify error for unsupported ELIMINATED overflow mode [Ada] Clarify error for unsupported ELIMINATED overflow mode - - - - --- 2021-06-17 Pierre-Marie de Rodat New
[Ada] Removal of technical debt [Ada] Removal of technical debt - - - - --- 2021-06-17 Pierre-Marie de Rodat New
[Ada] Use source casing in messages for aliasing checks [Ada] Use source casing in messages for aliasing checks - - - - --- 2021-06-17 Pierre-Marie de Rodat New
[Ada] Remove dead code for overlapping actuals and prefix notation [Ada] Remove dead code for overlapping actuals and prefix notation - - - - --- 2021-06-17 Pierre-Marie de Rodat New
[Ada] Display Entity in debugging printouts [Ada] Display Entity in debugging printouts - - - - --- 2021-06-17 Pierre-Marie de Rodat New
[Ada] Do not systematically suppress checks on atree.adb [Ada] Do not systematically suppress checks on atree.adb - - - - --- 2021-06-17 Pierre-Marie de Rodat New
[Ada] Apply aliasing checks only to names and not to objects as actuals [Ada] Apply aliasing checks only to names and not to objects as actuals - - - - --- 2021-06-17 Pierre-Marie de Rodat New
[Ada] Look at Others_Discrete_Choices for N_Others_Choice [Ada] Look at Others_Discrete_Choices for N_Others_Choice - - - - --- 2021-06-17 Pierre-Marie de Rodat New
[Ada] Provide new function Uintp.UI_To_Unsigned_64 [Ada] Provide new function Uintp.UI_To_Unsigned_64 - - - - --- 2021-06-17 Pierre-Marie de Rodat New
[Ada] Reject allocators in contexts restricted by SPARK [Ada] Reject allocators in contexts restricted by SPARK - - - - --- 2021-06-17 Pierre-Marie de Rodat New
[Ada] AI12-0411 Add "bool" to Interfaces.C [Ada] AI12-0411 Add "bool" to Interfaces.C - - - - --- 2021-06-17 Pierre-Marie de Rodat New
[Ada] Fix varsize node name conflict [Ada] Fix varsize node name conflict - - - - --- 2021-06-17 Pierre-Marie de Rodat New
[Ada] Fix detection of volatile expressions in restricted contexts [Ada] Fix detection of volatile expressions in restricted contexts - - - - --- 2021-06-16 Pierre-Marie de Rodat New
[Ada] Fix Is_Volatile_Function for functions declared in protected bodies [Ada] Fix Is_Volatile_Function for functions declared in protected bodies - - - - --- 2021-06-16 Pierre-Marie de Rodat New
[Ada] Ignore volatile restrictions in preanalysis [Ada] Ignore volatile restrictions in preanalysis - - - - --- 2021-06-16 Pierre-Marie de Rodat New
[Ada] Fix aliasing check for actual parameters passed by reference [Ada] Fix aliasing check for actual parameters passed by reference - - - - --- 2021-06-16 Pierre-Marie de Rodat New
[Ada] Do not generate an Itype_Reference node for slices in GNATprove mode [Ada] Do not generate an Itype_Reference node for slices in GNATprove mode - - - - --- 2021-06-16 Pierre-Marie de Rodat New
[Ada] Fix floating-point exponentiation with Integer'First exponent [Ada] Fix floating-point exponentiation with Integer'First exponent - - - - --- 2021-06-16 Pierre-Marie de Rodat New
[Ada] Mixing of positional and named entries allowed in enum rep [Ada] Mixing of positional and named entries allowed in enum rep - - - - --- 2021-06-16 Pierre-Marie de Rodat New
[Ada] Remove unused initialization with New_List [Ada] Remove unused initialization with New_List - - - - --- 2021-06-16 Pierre-Marie de Rodat New
[Ada] ACATS 4.1R-c611a04: Class-wide preconditions in dispatching calls [Ada] ACATS 4.1R-c611a04: Class-wide preconditions in dispatching calls - - - - --- 2021-06-16 Pierre-Marie de Rodat New
[Ada] Spurious accessibility error on "for of" loop parameter [Ada] Spurious accessibility error on "for of" loop parameter - - - - --- 2021-06-16 Pierre-Marie de Rodat New
[Ada] Adapt Is_Actual_Parameter to also work for entry parameters [Ada] Adapt Is_Actual_Parameter to also work for entry parameters - - - - --- 2021-06-16 Pierre-Marie de Rodat New
« 1 2 ... 10 11 12 … 30 31 »