Show patches with: Submitter = Pierre-Marie de Rodat       |    State = Action Required       |    Archived = No       |   1726 patches
« 1 2 3 417 18 »
Patch Series S/W/F Date Submitter Delegate State
[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] Restore nnd capability [Ada] Restore nnd capability 0 0 0 2021-05-07 Pierre-Marie de Rodat New
[Ada] Fix type mismatch warnings during LTO bootstrap #2 [Ada] Fix type mismatch warnings during LTO bootstrap #2 0 0 0 2021-05-07 Pierre-Marie de Rodat New
[Ada] Robust detection of access-to-subprogram and access-to-object types [Ada] Robust detection of access-to-subprogram and access-to-object types 0 0 0 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 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] Generate warning for negative literal of a modular type [Ada] Generate warning for negative literal of a modular type 0 0 0 2021-05-07 Pierre-Marie de Rodat New
[Ada] Implement aspect No_Controlled_Parts [Ada] Implement aspect No_Controlled_Parts 0 0 0 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 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 #3 [Ada] Fix type mismatch warnings during LTO bootstrap #3 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
[Ada] Computation of Shift_Left and large signed values [Ada] Computation of Shift_Left and large signed values 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 type mismatch warnings during LTO bootstrap #1 [Ada] Fix type mismatch warnings during LTO bootstrap #1 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] 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] Spurious error with component of unchecked_union type [Ada] Spurious error with component of unchecked_union type 0 0 0 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 0 0 0 2021-05-07 Pierre-Marie de Rodat New
[Ada] Raise Constraint_Error for Compose and Scaling if Machine_Overflows [Ada] Raise Constraint_Error for Compose and Scaling if Machine_Overflows 0 0 0 2021-05-07 Pierre-Marie de Rodat New
[Ada] sigtramp: fix powerpc64 against -fPIC [Ada] sigtramp: fix powerpc64 against -fPIC 0 0 0 2021-05-07 Pierre-Marie de Rodat New
[Ada] Minor efficiency improvement in containers [Ada] Minor efficiency improvement in containers 0 0 0 2021-05-07 Pierre-Marie de Rodat New
[Ada] Move Has_Inferable_Discriminants to Sem_Util [Ada] Move Has_Inferable_Discriminants to Sem_Util 0 0 0 2021-05-07 Pierre-Marie de Rodat New
[Ada] Spurious error on protected call in inherited postcondition [Ada] Spurious error on protected call in inherited postcondition 0 0 0 2021-05-07 Pierre-Marie de Rodat New
[Ada] Missing semantic error on ineffective Others_Clause [Ada] Missing semantic error on ineffective Others_Clause 0 0 0 2021-05-06 Pierre-Marie de Rodat New
[Ada] Crash on if_expression used as index of discriminant-dependent array [Ada] Crash on if_expression used as index of discriminant-dependent array 0 0 0 2021-05-06 Pierre-Marie de Rodat New
[Ada] In CodePeer mode, use regular-exception handling [Ada] In CodePeer mode, use regular-exception handling 0 0 0 2021-05-06 Pierre-Marie de Rodat New
[Ada] Do not second-guess the hardware for underflow handling of Scaling [Ada] Do not second-guess the hardware for underflow handling of Scaling 0 0 0 2021-05-06 Pierre-Marie de Rodat New
[Ada] Fix restriction No_Enumeration_Maps on both Image attributes [Ada] Fix restriction No_Enumeration_Maps on both Image attributes 0 0 0 2021-05-06 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-05-06 Pierre-Marie de Rodat New
[Ada] Spurious constraint error on conversion of access types [Ada] Spurious constraint error on conversion of access types 0 0 0 2021-05-06 Pierre-Marie de Rodat New
[Ada] Fix off-by-one bug in underflow handling of Scaling [Ada] Fix off-by-one bug in underflow handling of Scaling 0 0 0 2021-05-06 Pierre-Marie de Rodat New
[Ada] Implement tiered support for floating-point exponentiation [Ada] Implement tiered support for floating-point exponentiation 0 0 0 2021-05-06 Pierre-Marie de Rodat New
[Ada] Remove excessive conditions in iterations across components [Ada] Remove excessive conditions in iterations across components 0 0 0 2021-05-06 Pierre-Marie de Rodat New
[Ada] Make new implementation of System.Fat_Gen.Valid more robust [Ada] Make new implementation of System.Fat_Gen.Valid more robust 0 0 0 2021-05-06 Pierre-Marie de Rodat New
[Ada] Make Is_OK_Static_Subtype use Is_Static_Subtype [Ada] Make Is_OK_Static_Subtype use Is_Static_Subtype 0 0 0 2021-05-06 Pierre-Marie de Rodat New
[Ada] Avoid repeated analysis of constraint ranges [Ada] Avoid repeated analysis of constraint ranges 0 0 0 2021-05-06 Pierre-Marie de Rodat New
[Ada] Remove hardcoded pragma Warnings from the formal vectors library [Ada] Remove hardcoded pragma Warnings from the formal vectors library 0 0 0 2021-05-06 Pierre-Marie de Rodat New
[Ada] Remove unused initial value in Read_Library_Info_From_Full [Ada] Remove unused initial value in Read_Library_Info_From_Full 0 0 0 2021-05-06 Pierre-Marie de Rodat New
[Ada] Remove redundant condition for Image attribute and Ada version [Ada] Remove redundant condition for Image attribute and Ada version 0 0 0 2021-05-06 Pierre-Marie de Rodat New
[Ada] Set Raises_CE flag only in Apply_Compile_Time_Constraint_Error [Ada] Set Raises_CE flag only in Apply_Compile_Time_Constraint_Error 0 0 0 2021-05-06 Pierre-Marie de Rodat New
[Ada] Reset x87 FPU to 64-bit precision for floating-point I/O on Linux [Ada] Reset x87 FPU to 64-bit precision for floating-point I/O on Linux 0 0 0 2021-05-06 Pierre-Marie de Rodat New
[Ada] Fix handling of PATs [Ada] Fix handling of PATs 0 0 0 2021-05-06 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-05-06 Pierre-Marie de Rodat New
[Ada] Bad expansion with -gnato2 and if expression [Ada] Bad expansion with -gnato2 and if expression 0 0 0 2021-05-06 Pierre-Marie de Rodat New
[Ada] Assert failure on pragma Inline in procedure body [Ada] Assert failure on pragma Inline in procedure body 0 0 0 2021-05-06 Pierre-Marie de Rodat New
[Ada] Reuse Has_Defaulted_Discriminants where possible [Ada] Reuse Has_Defaulted_Discriminants where possible 0 0 0 2021-05-05 Pierre-Marie de Rodat New
[Ada] Detect unchecked union subcomponents in nested variant parts [Ada] Detect unchecked union subcomponents in nested variant parts 0 0 0 2021-05-05 Pierre-Marie de Rodat New
[Ada] Remove redundant explicit calls to UI_From_Int in comparisons [Ada] Remove redundant explicit calls to UI_From_Int in comparisons 0 0 0 2021-05-05 Pierre-Marie de Rodat New
[Ada] Fix expansion of attributes Input/Output for unchecked union types [Ada] Fix expansion of attributes Input/Output for unchecked union types 0 0 0 2021-05-05 Pierre-Marie de Rodat New
[Ada] Remove commented code [Ada] Remove commented code 0 0 0 2021-05-05 Pierre-Marie de Rodat New
[Ada] Do not use hash function for enumeration Value with trampolines [Ada] Do not use hash function for enumeration Value with trampolines 0 0 0 2021-05-05 Pierre-Marie de Rodat New
[Ada] Fix s-os_lib.adb so vectorizing compilation works [Ada] Fix s-os_lib.adb so vectorizing compilation works 0 0 0 2021-05-05 Pierre-Marie de Rodat New
[Ada] Refine types of variables with call to Scope as their initial values [Ada] Refine types of variables with call to Scope as their initial values 0 0 0 2021-05-05 Pierre-Marie de Rodat New
[Ada] Remove redundant checks for empty lists [Ada] Remove redundant checks for empty lists 0 0 0 2021-05-05 Pierre-Marie de Rodat New
[Ada] Use inline expansion of Image for enumeration types by default [Ada] Use inline expansion of Image for enumeration types by default 0 0 0 2021-05-05 Pierre-Marie de Rodat New
[Ada] Incorrect accessibility level on actual in procedure call [Ada] Incorrect accessibility level on actual in procedure call 0 0 0 2021-05-05 Pierre-Marie de Rodat New
[Ada] Move Build_And_Insert_CUDA_Initialization to expansion phase [Ada] Move Build_And_Insert_CUDA_Initialization to expansion phase 0 0 0 2021-05-05 Pierre-Marie de Rodat New
[Ada] Spurious warning on useless assignment with target name [Ada] Spurious warning on useless assignment with target name 0 0 0 2021-05-05 Pierre-Marie de Rodat New
[Ada] Use inline expansion of Image for standard boolean by default [Ada] Use inline expansion of Image for standard boolean by default 0 0 0 2021-05-05 Pierre-Marie de Rodat New
[Ada] Small cleanup in the Expand_Image_Attribute procedure [Ada] Small cleanup in the Expand_Image_Attribute procedure 0 0 0 2021-05-05 Pierre-Marie de Rodat New
[Ada] Don't emit style errors when parens are required [Ada] Don't emit style errors when parens are required 0 0 0 2021-05-05 Pierre-Marie de Rodat New
[Ada] Detect unchecked union components with fully qualified names [Ada] Detect unchecked union components with fully qualified names 0 0 0 2021-05-05 Pierre-Marie de Rodat New
[Ada] Qualify internal access-to-subprogram types as not null [Ada] Qualify internal access-to-subprogram types as not null 0 0 0 2021-05-05 Pierre-Marie de Rodat New
[Ada] Handle defaults in declare_expressions in postconditions [Ada] Handle defaults in declare_expressions in postconditions 0 0 0 2021-05-05 Pierre-Marie de Rodat New
[Ada] Adjust expansion of perfect hash function for Value [Ada] Adjust expansion of perfect hash function for Value 0 0 0 2021-05-05 Pierre-Marie de Rodat New
[Ada] Ongoing work for AI12-0212: container aggregates [Ada] Ongoing work for AI12-0212: container aggregates 0 0 0 2021-05-05 Pierre-Marie de Rodat New
[Ada] Remove unnecessary parameter of Apply_Compile_Time_Constraint_Error [Ada] Remove unnecessary parameter of Apply_Compile_Time_Constraint_Error 0 0 0 2021-05-05 Pierre-Marie de Rodat New
[Ada] Refactor repeated call to Next when pretty-printing if-expressions [Ada] Refactor repeated call to Next when pretty-printing if-expressions 0 0 0 2021-05-05 Pierre-Marie de Rodat New
[Ada] Set constraint error on real division just like on integer division [Ada] Set constraint error on real division just like on integer division 0 0 0 2021-05-05 Pierre-Marie de Rodat New
[Ada] Minor tweak in pretty-printing of expressions [Ada] Minor tweak in pretty-printing of expressions 0 0 0 2021-05-04 Pierre-Marie de Rodat New
[Ada] Reuse existing To_Mixed routine in pretty-printer [Ada] Reuse existing To_Mixed routine in pretty-printer 0 0 0 2021-05-04 Pierre-Marie de Rodat New
[Ada] Use function and not procedure UI_Image in pretty-printing [Ada] Use function and not procedure UI_Image in pretty-printing 0 0 0 2021-05-04 Pierre-Marie de Rodat New
[Ada] Remove arbitrary and redundant qualification with Sinfo [Ada] Remove arbitrary and redundant qualification with Sinfo 0 0 0 2021-05-04 Pierre-Marie de Rodat New
[Ada] Do not "optimize" by converting Positive to Unsigned [Ada] Do not "optimize" by converting Positive to Unsigned 0 0 0 2021-05-04 Pierre-Marie de Rodat New
[Ada] Refine type of a counter variable from Integer to Natural [Ada] Refine type of a counter variable from Integer to Natural 0 0 0 2021-05-04 Pierre-Marie de Rodat New
[Ada] Reject formals of mode IN appearing as global outputs [Ada] Reject formals of mode IN appearing as global outputs 0 0 0 2021-05-04 Pierre-Marie de Rodat New
[Ada] Missing finalization on generic instantiation [Ada] Missing finalization on generic instantiation 0 0 0 2021-05-04 Pierre-Marie de Rodat New
[Ada] Reject constants of access-to-variable type as function globals [Ada] Reject constants of access-to-variable type as function globals 0 0 0 2021-05-04 Pierre-Marie de Rodat New
[Ada] Check entries for formals of mode IN appearing as global outputs [Ada] Check entries for formals of mode IN appearing as global outputs 0 0 0 2021-05-04 Pierre-Marie de Rodat New
[Ada] Use error marker for messages in GNATprove mode [Ada] Use error marker for messages in GNATprove mode 0 0 0 2021-05-04 Pierre-Marie de Rodat New
[Ada] Assert_Failure vs Assertion_Error [Ada] Assert_Failure vs Assertion_Error 0 0 0 2021-05-04 Pierre-Marie de Rodat New
[Ada] Reuse First_Formal for generic subprograms [Ada] Reuse First_Formal for generic subprograms 0 0 0 2021-05-04 Pierre-Marie de Rodat New
[Ada] Fix handling of access-to-variable objects in Global and Depends [Ada] Fix handling of access-to-variable objects in Global and Depends 0 0 0 2021-05-04 Pierre-Marie de Rodat New
[Ada] Move match function for pragma Warnings to public spec [Ada] Move match function for pragma Warnings to public spec 0 0 0 2021-05-04 Pierre-Marie de Rodat New
[Ada] Ongoing work for AI12-0212: container aggregates [Ada] Ongoing work for AI12-0212: container aggregates 0 0 0 2021-05-04 Pierre-Marie de Rodat New
[Ada] Fix reference to SPARK RM rule in comment [Ada] Fix reference to SPARK RM rule in comment 0 0 0 2021-05-04 Pierre-Marie de Rodat New
[Ada] Guard against leading and trailing spaces reappearing in errors [Ada] Guard against leading and trailing spaces reappearing in errors 0 0 0 2021-05-04 Pierre-Marie de Rodat New
[Ada] Simplify iteration over formal parameters for Global/Depends check [Ada] Simplify iteration over formal parameters for Global/Depends check 0 0 0 2021-05-04 Pierre-Marie de Rodat New
[Ada] Simplify use of a global name buffer for Global/Depends errors [Ada] Simplify use of a global name buffer for Global/Depends errors 0 0 0 2021-05-04 Pierre-Marie de Rodat New
[Ada] Wrong membership test computation for interface type [Ada] Wrong membership test computation for interface type 0 0 0 2021-05-04 Pierre-Marie de Rodat New
[Ada] Fix inconsistent handling of character set control switches [Ada] Fix inconsistent handling of character set control switches 0 0 0 2021-05-04 Pierre-Marie de Rodat New
[Ada] Fix inconsistent iteration with First_Formal and Next_Entity [Ada] Fix inconsistent iteration with First_Formal and Next_Entity 0 0 0 2021-05-04 Pierre-Marie de Rodat New
[Ada] Rename package instead of each routine [Ada] Rename package instead of each routine 0 0 0 2021-05-03 Pierre-Marie de Rodat New
[Ada] Replace calls to RTE with Is_RTE where possible [Ada] Replace calls to RTE with Is_RTE where possible 0 0 0 2021-05-03 Pierre-Marie de Rodat New
[Ada] Refine type of a counter object from Int to Nat [Ada] Refine type of a counter object from Int to Nat 0 0 0 2021-05-03 Pierre-Marie de Rodat New
[Ada] Spurious warning on postcondition and result [Ada] Spurious warning on postcondition and result 0 0 0 2021-05-03 Pierre-Marie de Rodat New
[Ada] Crash on aggregate in function call in object declaration [Ada] Crash on aggregate in function call in object declaration 0 0 0 2021-05-03 Pierre-Marie de Rodat New
[Ada] Spurious warning about premature use of selected component [Ada] Spurious warning about premature use of selected component 0 0 0 2021-05-03 Pierre-Marie de Rodat New
[Ada] Remove leading and trailing spaces in error messages [Ada] Remove leading and trailing spaces in error messages 0 0 0 2021-05-03 Pierre-Marie de Rodat New
« 1 2 3 417 18 »