Show patches with: Submitter = Pierre-Marie de Rodat       |    State = Action Required       |    Archived = No       |   2038 patches
« 1 2 3 420 21 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[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] 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] 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] 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] 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] 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 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 asymmetries in detection of overlapping actuals [Ada] Fix asymmetries in detection of overlapping actuals - - - - --- 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] 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] Fix detection of overlapping actuals with renamings [Ada] Fix detection of overlapping actuals with renamings - - - - --- 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 handling of gnat check/test commands [Ada] Fix handling of gnat check/test commands - - - - --- 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 slices indexed by characters [Ada] Fix detection of overlapping slices indexed by characters - - - - --- 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] 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] Update comments related to TBD [Ada] Update comments related to TBD - - - - --- 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] Replace Opt.Extensions_Allowed by Ada_Version [Ada] Replace Opt.Extensions_Allowed by Ada_Version - - - - --- 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] 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] 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] 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] 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] Remove dubious wrapper of a recursive function [Ada] Remove dubious wrapper of a recursive function - - - - --- 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] Fix operations on Unbounded_String... [Ada] Fix operations on Unbounded_String... - - - - --- 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] 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] 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] Check all pairs of actuals for overlapping [Ada] Check all pairs of actuals for overlapping - - - - --- 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] 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] 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] 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] Display Entity in debugging printouts [Ada] Display Entity in debugging printouts - - - - --- 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] Fix varsize node name conflict [Ada] Fix varsize node name conflict - - - - --- 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] 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] 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] Removal of technical debt [Ada] Removal of technical debt - - - - --- 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] 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] 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] 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] 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] 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] 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 ALI source location for dominance markers [Ada] Fix ALI source location for dominance markers - - - - --- 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] 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] 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
[Ada] Wrong reference to System.Tasking in expanded code [Ada] Wrong reference to System.Tasking in expanded code - - - - --- 2021-06-16 Pierre-Marie de Rodat New
[Ada] Non-static Interrupt_Priority allowed with restriction Static_Priorities [Ada] Non-static Interrupt_Priority allowed with restriction Static_Priorities - - - - --- 2021-06-16 Pierre-Marie de Rodat New
[Ada] Implementation of AI12-0152: legality rules for Raise_Expression [Ada] Implementation of AI12-0152: legality rules for Raise_Expression - - - - --- 2021-06-16 Pierre-Marie de Rodat New
[Ada] Small cleanup in System.Exceptions [Ada] Small cleanup in System.Exceptions - - - - --- 2021-06-16 Pierre-Marie de Rodat New
[Ada] Do not perform useless work in Check_No_Parts_Violations [Ada] Do not perform useless work in Check_No_Parts_Violations - - - - --- 2021-06-16 Pierre-Marie de Rodat New
[Ada] Make Incomplete_Or_Partial_View independent of the context [Ada] Make Incomplete_Or_Partial_View independent of the context - - - - --- 2021-06-16 Pierre-Marie de Rodat New
[Ada] Reorder code for validity checks of unchecked conversions [Ada] Reorder code for validity checks of unchecked conversions - - - - --- 2021-06-16 Pierre-Marie de Rodat New
[Ada] Raise expressions and unconstrained components [Ada] Raise expressions and unconstrained components - - - - --- 2021-06-16 Pierre-Marie de Rodat New
[Ada] Small cleanup in C header files [Ada] Small cleanup in C header files - - - - --- 2021-06-16 Pierre-Marie de Rodat New
[Ada] Use more straightforward implementation for Current_Entity_In_Scope [Ada] Use more straightforward implementation for Current_Entity_In_Scope - - - - --- 2021-06-16 Pierre-Marie de Rodat New
[Ada] Fix missing array bounds checking [Ada] Fix missing array bounds checking - - - - --- 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] Allow Known_Static_Component_Size (etc) on private types [Ada] Allow Known_Static_Component_Size (etc) on private types - - - - --- 2021-06-15 Pierre-Marie de Rodat New
[Ada] Disable certain checks in predefined units [Ada] Disable certain checks in predefined units - - - - --- 2021-06-15 Pierre-Marie de Rodat New
[Ada] Add Interface_Name field to E_Loop_Parameter [Ada] Add Interface_Name field to E_Loop_Parameter - - - - --- 2021-06-15 Pierre-Marie de Rodat New
[Ada] Remove const qualifier on a couple of pointed-to types [Ada] Remove const qualifier on a couple of pointed-to types - - - - --- 2021-06-15 Pierre-Marie de Rodat New
[Ada] Add support for folding more and/or expressions [Ada] Add support for folding more and/or expressions - - - - --- 2021-06-15 Pierre-Marie de Rodat New
[Ada] Fix bug in if_expressions introduced by var-size nodes changes [Ada] Fix bug in if_expressions introduced by var-size nodes changes - - - - --- 2021-06-15 Pierre-Marie de Rodat New
[Ada] Variable-sized node types: improve error messages [Ada] Variable-sized node types: improve error messages - - - - --- 2021-06-15 Pierre-Marie de Rodat New
[Ada] Remove redundant guard from Find_Overlaid_Entity [Ada] Remove redundant guard from Find_Overlaid_Entity - - - - --- 2021-06-15 Pierre-Marie de Rodat New
[Ada] Use runtime from base compiler during stage1 [Ada] Use runtime from base compiler during stage1 - - - - --- 2021-06-15 Pierre-Marie de Rodat New
[Ada] Fix typos in comment about expansion of attribute Image [Ada] Fix typos in comment about expansion of attribute Image - - - - --- 2021-06-15 Pierre-Marie de Rodat New
[Ada] Avoid unhelpful dead code warnings [Ada] Avoid unhelpful dead code warnings - - - - --- 2021-06-15 Pierre-Marie de Rodat New
[Ada] Error when passing subprogram'Access to null-defaulted formal subprogram [Ada] Error when passing subprogram'Access to null-defaulted formal subprogram - - - - --- 2021-06-15 Pierre-Marie de Rodat New
[Ada] AI12-0138: Iterators and other nonoverridable aspects [Ada] AI12-0138: Iterators and other nonoverridable aspects - - - - --- 2021-06-15 Pierre-Marie de Rodat New
[Ada] Fix detection of access-to-variable types [Ada] Fix detection of access-to-variable types - - - - --- 2021-06-15 Pierre-Marie de Rodat New
[Ada] Incorrect Reinit_Field_To_Zero calls for concurrent entities [Ada] Incorrect Reinit_Field_To_Zero calls for concurrent entities - - - - --- 2021-06-15 Pierre-Marie de Rodat New
[Ada] Enable removal of side-effects in component declarations [Ada] Enable removal of side-effects in component declarations - - - - --- 2021-06-15 Pierre-Marie de Rodat New
[Ada] Fix bug in subtype of private type with invariants [Ada] Fix bug in subtype of private type with invariants - - - - --- 2021-06-15 Pierre-Marie de Rodat New
[Ada] Add more initialization of Stored_Constraint [Ada] Add more initialization of Stored_Constraint - - - - --- 2021-06-15 Pierre-Marie de Rodat New
[Ada] Avoid inappropriate error messages regarding aggregates and variant parts [Ada] Avoid inappropriate error messages regarding aggregates and variant parts - - - - --- 2021-06-15 Pierre-Marie de Rodat New
[Ada] Robust switching from incomplete to access types [Ada] Robust switching from incomplete to access types - - - - --- 2021-06-15 Pierre-Marie de Rodat New
[Ada] Fix type mismatch warnings during LTO bootstrap #5 [Ada] Fix type mismatch warnings during LTO bootstrap #5 - - - - --- 2021-05-07 Pierre-Marie de Rodat New
[Ada] Fix signature mismatch for Defining_Entity [Ada] Fix signature mismatch for Defining_Entity - - - - --- 2021-05-07 Pierre-Marie de Rodat New
[Ada] Computation of Shift_Left and large signed values [Ada] Computation of Shift_Left and large signed values - - - - --- 2021-05-07 Pierre-Marie de Rodat New
[Ada] Crash on imported object with deep initialization and No_Aborts [Ada] Crash on imported object with deep initialization and No_Aborts - - - - --- 2021-05-07 Pierre-Marie de Rodat New
[Ada] Attribute Address is not an interfering context in SPARK [Ada] Attribute Address is not an interfering context in SPARK - - - - --- 2021-05-07 Pierre-Marie de Rodat New
[Ada] Remove End_Interp_List from the overloaded resolution API [Ada] Remove End_Interp_List from the overloaded resolution API - - - - --- 2021-05-07 Pierre-Marie de Rodat New
[Ada] Generate warning for negative literal of a modular type [Ada] Generate warning for negative literal of a modular type - - - - --- 2021-05-07 Pierre-Marie de Rodat New
[Ada] Spurious error with component of unchecked_union type [Ada] Spurious error with component of unchecked_union type - - - - --- 2021-05-07 Pierre-Marie de Rodat New
« 1 2 3 420 21 »