Show patches with: Submitter = Pierre-Marie de Rodat       |    State = Action Required       |    Archived = No       |   1818 patches
« 1 2 3 418 19 »
Patch Series S/W/F Date Submitter Delegate State
[Ada] Ada2020: AI12-0195 overriding class-wide pre/post conditions [Ada] Ada2020: AI12-0195 overriding class-wide pre/post conditions 0 0 0 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 0 0 0 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 0 0 0 2021-06-18 Pierre-Marie de Rodat New
[Ada] Fix asymmetries in detection of overlapping actuals [Ada] Fix asymmetries in detection of overlapping actuals 0 0 0 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 0 0 0 2021-06-18 Pierre-Marie de Rodat New
[Ada] Fix handling of gnat check/test commands [Ada] Fix handling of gnat check/test commands 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 2021-06-18 Pierre-Marie de Rodat New
[Ada] Fix detection of overlapping actuals with renamings [Ada] Fix detection of overlapping actuals with renamings 0 0 0 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 0 0 0 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 0 0 0 2021-06-18 Pierre-Marie de Rodat New
[Ada] Premature freezing of types [Ada] Premature freezing of types 0 0 0 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 0 0 0 2021-06-18 Pierre-Marie de Rodat New
[Ada] Implement basic support for -fdiagnostics-format=json [Ada] Implement basic support for -fdiagnostics-format=json 0 0 0 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 0 0 0 2021-06-18 Pierre-Marie de Rodat New
[Ada] Replace Opt.Extensions_Allowed by Ada_Version [Ada] Replace Opt.Extensions_Allowed by Ada_Version 0 0 0 2021-06-18 Pierre-Marie de Rodat New
[Ada] GNAT.Compiler_Version and LTO [Ada] GNAT.Compiler_Version and LTO 0 0 0 2021-06-18 Pierre-Marie de Rodat New
[Ada] Update comments related to TBD [Ada] Update comments related to TBD 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 2021-06-17 Pierre-Marie de Rodat New
[Ada] Remove dubious wrapper of a recursive function [Ada] Remove dubious wrapper of a recursive function 0 0 0 2021-06-17 Pierre-Marie de Rodat New
[Ada] Fix operations on Unbounded_String... [Ada] Fix operations on Unbounded_String... 0 0 0 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 0 0 0 2021-06-17 Pierre-Marie de Rodat New
[Ada] Missing finalization on nested expression with action [Ada] Missing finalization on nested expression with action 0 0 0 2021-06-17 Pierre-Marie de Rodat New
[Ada] Check all pairs of actuals for overlapping [Ada] Check all pairs of actuals for overlapping 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 2021-06-17 Pierre-Marie de Rodat New
[Ada] Display Entity in debugging printouts [Ada] Display Entity in debugging printouts 0 0 0 2021-06-17 Pierre-Marie de Rodat New
[Ada] AI12-0411 Add "bool" to Interfaces.C [Ada] AI12-0411 Add "bool" to Interfaces.C 0 0 0 2021-06-17 Pierre-Marie de Rodat New
[Ada] Reject allocators in contexts restricted by SPARK [Ada] Reject allocators in contexts restricted by SPARK 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 2021-06-17 Pierre-Marie de Rodat New
[Ada] Removal of technical debt [Ada] Removal of technical debt 0 0 0 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 0 0 0 2021-06-17 Pierre-Marie de Rodat New
[Ada] Clarify error for unsupported ELIMINATED overflow mode [Ada] Clarify error for unsupported ELIMINATED overflow mode 0 0 0 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 0 0 0 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 0 0 0 2021-06-17 Pierre-Marie de Rodat New
[Ada] Fix varsize node name conflict [Ada] Fix varsize node name conflict 0 0 0 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 0 0 0 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 0 0 0 2021-06-17 Pierre-Marie de Rodat New
[Ada] Fix floating-point exponentiation with Integer'First exponent [Ada] Fix floating-point exponentiation with Integer'First exponent 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 2021-06-16 Pierre-Marie de Rodat New
[Ada] Ignore volatile restrictions in preanalysis [Ada] Ignore volatile restrictions in preanalysis 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 2021-06-16 Pierre-Marie de Rodat New
[Ada] Fix ALI source location for dominance markers [Ada] Fix ALI source location for dominance markers 0 0 0 2021-06-16 Pierre-Marie de Rodat New
[Ada] Small cleanup in System.Exceptions [Ada] Small cleanup in System.Exceptions 0 0 0 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 0 0 0 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 0 0 0 2021-06-16 Pierre-Marie de Rodat New
[Ada] Fix missing array bounds checking [Ada] Fix missing array bounds checking 0 0 0 2021-06-16 Pierre-Marie de Rodat New
[Ada] Small cleanup in C header files [Ada] Small cleanup in C header files 0 0 0 2021-06-16 Pierre-Marie de Rodat New
[Ada] Raise expressions and unconstrained components [Ada] Raise expressions and unconstrained components 0 0 0 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 0 0 0 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 0 0 0 2021-06-16 Pierre-Marie de Rodat New
[Ada] Remove unused initialization with New_List [Ada] Remove unused initialization with New_List 0 0 0 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 0 0 0 2021-06-16 Pierre-Marie de Rodat New
[Ada] Add Interface_Name field to E_Loop_Parameter [Ada] Add Interface_Name field to E_Loop_Parameter 0 0 0 2021-06-15 Pierre-Marie de Rodat New
[Ada] AI12-0138: Iterators and other nonoverridable aspects [Ada] AI12-0138: Iterators and other nonoverridable aspects 0 0 0 2021-06-15 Pierre-Marie de Rodat New
[Ada] Disable certain checks in predefined units [Ada] Disable certain checks in predefined units 0 0 0 2021-06-15 Pierre-Marie de Rodat New
[Ada] Use runtime from base compiler during stage1 [Ada] Use runtime from base compiler during stage1 0 0 0 2021-06-15 Pierre-Marie de Rodat New
[Ada] Fix detection of access-to-variable types [Ada] Fix detection of access-to-variable types 0 0 0 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 0 0 0 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 0 0 0 2021-06-15 Pierre-Marie de Rodat New
[Ada] Variable-sized node types: improve error messages [Ada] Variable-sized node types: improve error messages 0 0 0 2021-06-15 Pierre-Marie de Rodat New
[Ada] Remove redundant guard from Find_Overlaid_Entity [Ada] Remove redundant guard from Find_Overlaid_Entity 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 2021-06-15 Pierre-Marie de Rodat New
[Ada] Avoid unhelpful dead code warnings [Ada] Avoid unhelpful dead code warnings 0 0 0 2021-06-15 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 0 0 0 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 0 0 0 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 0 0 0 2021-06-15 Pierre-Marie de Rodat New
[Ada] Robust switching from incomplete to access types [Ada] Robust switching from incomplete to access types 0 0 0 2021-06-15 Pierre-Marie de Rodat New
[Ada] Add more initialization of Stored_Constraint [Ada] Add more initialization of Stored_Constraint 0 0 0 2021-06-15 Pierre-Marie de Rodat New
[Ada] Fix type mismatch warnings during LTO bootstrap #3 [Ada] Fix type mismatch warnings during LTO bootstrap #3 0 0 0 2021-05-07 Pierre-Marie de Rodat New
[Ada] Fix type mismatch warnings during LTO bootstrap #4 [Ada] Fix type mismatch warnings during LTO bootstrap #4 0 0 0 2021-05-07 Pierre-Marie de Rodat New
[Ada] Reinitialize Private_Dependents when it is vanishing [Ada] Reinitialize Private_Dependents when it is vanishing 0 0 0 2021-05-07 Pierre-Marie de Rodat New
[Ada] Fix link from body protected entry implementation to source code [Ada] Fix link from body protected entry implementation to source code 0 0 0 2021-05-07 Pierre-Marie de Rodat New
[Ada] Fix type mismatch warnings during LTO bootstrap #5 [Ada] Fix type mismatch warnings during LTO bootstrap #5 0 0 0 2021-05-07 Pierre-Marie de Rodat New
[Ada] Replace packed records with integers in low-level implementation [Ada] Replace packed records with integers in low-level implementation 0 0 0 2021-05-07 Pierre-Marie de Rodat New
[Ada] Small cleanup in C header file [Ada] Small cleanup in C header file 0 0 0 2021-05-07 Pierre-Marie de Rodat New
[Ada] Fix signature mismatch for Defining_Entity [Ada] Fix signature mismatch for Defining_Entity 0 0 0 2021-05-07 Pierre-Marie de Rodat New
« 1 2 3 418 19 »