Show patches with: Submitter = Pierre-Marie de Rodat       |    State = Action Required       |    Archived = No       |   1252 patches
« 1 2 3 412 13 »
Patch Series S/W/F Date Submitter Delegate State
[Ada] Refactor pragma argument getters [Ada] Refactor pragma argument getters 0 0 0 2020-07-27 Pierre-Marie de Rodat New
[Ada] Wrong accessibility on 'Access of formal in call [Ada] Wrong accessibility on 'Access of formal in call 0 0 0 2020-07-27 Pierre-Marie de Rodat New
[Ada] Bug in Enum_Subtype'Image in Ada 2020 mode [Ada] Bug in Enum_Subtype'Image in Ada 2020 mode 0 0 0 2020-07-27 Pierre-Marie de Rodat New
[Ada] Warnings on overloays involving generic In_Parameters [Ada] Warnings on overloays involving generic In_Parameters 0 0 0 2020-07-27 Pierre-Marie de Rodat New
[Ada] x86-lynx178elf: use a-numaux.ads instead of a-numaux__libc-x86.ads [Ada] x86-lynx178elf: use a-numaux.ads instead of a-numaux__libc-x86.ads 0 0 0 2020-07-27 Pierre-Marie de Rodat New
[Ada] Switch Ada_Version_Runtime to Ada 2020 [Ada] Switch Ada_Version_Runtime to Ada 2020 0 0 0 2020-07-27 Pierre-Marie de Rodat New
[Ada] AI12-0377 View conversions and out parameters revisited [Ada] AI12-0377 View conversions and out parameters revisited 0 0 0 2020-07-27 Pierre-Marie de Rodat New
[Ada] AI12-0383 Renaming values [Ada] AI12-0383 Renaming values 0 0 0 2020-07-27 Pierre-Marie de Rodat New
[Ada] AI12-0194: Language-defined aspects and entry bodies [Ada] AI12-0194: Language-defined aspects and entry bodies 0 0 0 2020-07-27 Pierre-Marie de Rodat New
[Ada] Unbounded string overriding control [Ada] Unbounded string overriding control 0 0 0 2020-07-27 Pierre-Marie de Rodat New
[Ada] Ada2020: wording of 'Image messages [Ada] Ada2020: wording of 'Image messages 0 0 0 2020-07-27 Pierre-Marie de Rodat New
[Ada] Remove obsolete special case in Switch_View [Ada] Remove obsolete special case in Switch_View 0 0 0 2020-07-27 Pierre-Marie de Rodat New
[Ada] Remove disabled code [Ada] Remove disabled code 0 0 0 2020-07-27 Pierre-Marie de Rodat New
[Ada] Revert "Revamp dump and aux output names" [Ada] Revert "Revamp dump and aux output names" 0 0 0 2020-07-27 Pierre-Marie de Rodat New
[Ada] Add range check for GNATprove on 'Pos to Long_Integer conversion [Ada] Add range check for GNATprove on 'Pos to Long_Integer conversion 0 0 0 2020-07-27 Pierre-Marie de Rodat New
[Ada] AI12-0382: Loosen type-invariant overriding requirement of AI12-0042 [Ada] AI12-0382: Loosen type-invariant overriding requirement of AI12-0042 0 0 0 2020-07-27 Pierre-Marie de Rodat New
[Ada] Ada2020: AI12-0304 Put_Image attrs of lang-def types [Ada] Ada2020: AI12-0304 Put_Image attrs of lang-def types 0 0 0 2020-07-27 Pierre-Marie de Rodat New
[Ada] AI12-0132 Freezing of renames_as_body [Ada] AI12-0132 Freezing of renames_as_body 0 0 0 2020-07-16 Pierre-Marie de Rodat New
[Ada] Ongoing work for AI12-0212 : container aggregates [Ada] Ongoing work for AI12-0212 : container aggregates 0 0 0 2020-07-16 Pierre-Marie de Rodat New
[Ada] Misplace of internal master renaming declaration [Ada] Misplace of internal master renaming declaration 0 0 0 2020-07-16 Pierre-Marie de Rodat New
[Ada] Overflow in string streaming [Ada] Overflow in string streaming 0 0 0 2020-07-16 Pierre-Marie de Rodat New
[Ada] Ada2020: AI12-0107 convention of By_Protected_Procedure [Ada] Ada2020: AI12-0107 convention of By_Protected_Procedure 0 0 0 2020-07-16 Pierre-Marie de Rodat New
[Ada] Ada2020: AI12-0289 Implicitly null excluding anon access [Ada] Ada2020: AI12-0289 Implicitly null excluding anon access 0 0 0 2020-07-16 Pierre-Marie de Rodat New
[Ada] Spurious redundant use clause warning [Ada] Spurious redundant use clause warning 0 0 0 2020-07-16 Pierre-Marie de Rodat New
[Ada] Wrong execution of Tan on large argument [Ada] Wrong execution of Tan on large argument 0 0 0 2020-07-16 Pierre-Marie de Rodat New
[Ada] Do not perform null exclusion static checks on generated entities [Ada] Do not perform null exclusion static checks on generated entities 0 0 0 2020-07-16 Pierre-Marie de Rodat New
[Ada] Set missing Parent field of block entity [Ada] Set missing Parent field of block entity 0 0 0 2020-07-16 Pierre-Marie de Rodat New
[Ada] Spurious error in instance nested in formal package [Ada] Spurious error in instance nested in formal package 0 0 0 2020-07-16 Pierre-Marie de Rodat New
[Ada] Ada2020: AI12-0117 Restriction No_Tasks_Unassigned_To_CPU [Ada] Ada2020: AI12-0117 Restriction No_Tasks_Unassigned_To_CPU 0 0 0 2020-07-16 Pierre-Marie de Rodat New
[Ada] Add centralized capacity check in Generic_Bignums [Ada] Add centralized capacity check in Generic_Bignums 0 0 0 2020-07-16 Pierre-Marie de Rodat New
[Ada] Adjust heuristics about size of static aggregates [Ada] Adjust heuristics about size of static aggregates 0 0 0 2020-07-16 Pierre-Marie de Rodat New
[Ada] Implicit dereferencing in container indexing [Ada] Implicit dereferencing in container indexing 0 0 0 2020-07-16 Pierre-Marie de Rodat New
[Ada] gnatbind: Fix No_Entry_Calls_In_Elaboration_Code message [Ada] gnatbind: Fix No_Entry_Calls_In_Elaboration_Code message 0 0 0 2020-07-16 Pierre-Marie de Rodat New
[Ada] Handle N_Others_Choice case in range-building function [Ada] Handle N_Others_Choice case in range-building function 0 0 0 2020-07-16 Pierre-Marie de Rodat New
[Ada] Spurious accessibility error on allocator in generic instance [Ada] Spurious accessibility error on allocator in generic instance 0 0 0 2020-07-16 Pierre-Marie de Rodat New
[Ada] Disable Initialize_Scalars on runtime files [Ada] Disable Initialize_Scalars on runtime files 0 0 0 2020-07-16 Pierre-Marie de Rodat New
[Ada] AI12-0373 Additional check on Integer_Literal function [Ada] AI12-0373 Additional check on Integer_Literal function 0 0 0 2020-07-16 Pierre-Marie de Rodat New
[Ada] Simplify detection of others choice with just one value [Ada] Simplify detection of others choice with just one value 0 0 0 2020-07-16 Pierre-Marie de Rodat New
[Ada] Incorrect static accessibility error in return aggregate [Ada] Incorrect static accessibility error in return aggregate 0 0 0 2020-07-16 Pierre-Marie de Rodat New
[Ada] AI12-0042: Type invariant checking rules [Ada] AI12-0042: Type invariant checking rules 0 0 0 2020-07-16 Pierre-Marie de Rodat New
[Ada] Cleanup in Convert_To_Positional after previous work [Ada] Cleanup in Convert_To_Positional after previous work 0 0 0 2020-07-15 Pierre-Marie de Rodat New
[Ada] Ongoing work for AI12-0212: container aggregates [Ada] Ongoing work for AI12-0212: container aggregates 0 0 0 2020-07-15 Pierre-Marie de Rodat New
[Ada] Cleanup code related to object overlays [Ada] Cleanup code related to object overlays 0 0 0 2020-07-15 Pierre-Marie de Rodat New
[Ada] Do not generate elaboration code for alignment aspect [Ada] Do not generate elaboration code for alignment aspect 0 0 0 2020-07-15 Pierre-Marie de Rodat New
[Ada] Fix logic in Allocate_Any_Controlled [Ada] Fix logic in Allocate_Any_Controlled 0 0 0 2020-07-15 Pierre-Marie de Rodat New
[Ada] Target name is an object reference [Ada] Target name is an object reference 0 0 0 2020-07-15 Pierre-Marie de Rodat New
[Ada] Spurious error on Predicate_Failure aspect [Ada] Spurious error on Predicate_Failure aspect 0 0 0 2020-07-15 Pierre-Marie de Rodat New
[Ada] Spurious accessibility error on allocator [Ada] Spurious accessibility error on allocator 0 0 0 2020-07-15 Pierre-Marie de Rodat New
[Ada] Use Sloc of delay statement in timed entry call [Ada] Use Sloc of delay statement in timed entry call 0 0 0 2020-07-15 Pierre-Marie de Rodat New
[Ada] Assert failure with -gnatwr [Ada] Assert failure with -gnatwr 0 0 0 2020-07-15 Pierre-Marie de Rodat New
[Ada] Fix for possibly null ranges in 'Update and delta_aggregate [Ada] Fix for possibly null ranges in 'Update and delta_aggregate 0 0 0 2020-07-15 Pierre-Marie de Rodat New
[Ada] Mark standard containers as not in SPARK [Ada] Mark standard containers as not in SPARK 0 0 0 2020-07-15 Pierre-Marie de Rodat New
[Ada] Fix slices and qualified expressions being effectively volatile [Ada] Fix slices and qualified expressions being effectively volatile 0 0 0 2020-07-15 Pierre-Marie de Rodat New
[Ada] ACATS 4.1P [BDB4001] - 13.11.4(22-23/3) not enforced [Ada] ACATS 4.1P [BDB4001] - 13.11.4(22-23/3) not enforced 0 0 0 2020-07-15 Pierre-Marie de Rodat New
[Ada] Missing error on operator call [Ada] Missing error on operator call 0 0 0 2020-07-15 Pierre-Marie de Rodat New
[Ada] Guard against access to wrong fields in Is_Renaming [Ada] Guard against access to wrong fields in Is_Renaming 0 0 0 2020-07-15 Pierre-Marie de Rodat New
[Ada] Ongoing work for unnamed and named container aggregates [Ada] Ongoing work for unnamed and named container aggregates 0 0 0 2020-07-15 Pierre-Marie de Rodat New
[Ada] Small addition and tweaks in documentation on freezing [Ada] Small addition and tweaks in documentation on freezing 0 0 0 2020-07-15 Pierre-Marie de Rodat New
[Ada] Fix oversight in Delayed_Aspect_Present predicate [Ada] Fix oversight in Delayed_Aspect_Present predicate 0 0 0 2020-07-15 Pierre-Marie de Rodat New
[Ada] Do not generate extra copies inside initialization procedures [Ada] Do not generate extra copies inside initialization procedures 0 0 0 2020-07-15 Pierre-Marie de Rodat New
[Ada] Cleanup condition for an effectively volatile array type [Ada] Cleanup condition for an effectively volatile array type 0 0 0 2020-07-15 Pierre-Marie de Rodat New
[Ada] Potentially unevaluated nested expressions [Ada] Potentially unevaluated nested expressions 0 0 0 2020-07-10 Pierre-Marie de Rodat New
[Ada] Fix detection of volatile properties in SPARK [Ada] Fix detection of volatile properties in SPARK 0 0 0 2020-07-10 Pierre-Marie de Rodat New
[Ada] Remove references to non-existing E_Protected_Object [Ada] Remove references to non-existing E_Protected_Object 0 0 0 2020-07-10 Pierre-Marie de Rodat New
[Ada] Cleanup excessive conditions in Check_Completion [Ada] Cleanup excessive conditions in Check_Completion 0 0 0 2020-07-10 Pierre-Marie de Rodat New
[Ada] Use small limit for aggregates inside subprograms [Ada] Use small limit for aggregates inside subprograms 0 0 0 2020-07-10 Pierre-Marie de Rodat New
[Ada] Spurious error on parameterless acccess_to_subprogram [Ada] Spurious error on parameterless acccess_to_subprogram 0 0 0 2020-07-10 Pierre-Marie de Rodat New
[Ada] Fix crash on quantified expression in expression function [Ada] Fix crash on quantified expression in expression function 0 0 0 2020-07-10 Pierre-Marie de Rodat New
[Ada] Fix failing assertions related to volatile objects [Ada] Fix failing assertions related to volatile objects 0 0 0 2020-07-10 Pierre-Marie de Rodat New
[Ada] Fix internal error on if-expression in call returning tagged type [Ada] Fix internal error on if-expression in call returning tagged type 0 0 0 2020-07-10 Pierre-Marie de Rodat New
[Ada] Ada2020: AI12-0368 Declare expressions can be static [Ada] Ada2020: AI12-0368 Declare expressions can be static 0 0 0 2020-07-10 Pierre-Marie de Rodat New
[Ada] Add warning for overlays changing scalar storage order [Ada] Add warning for overlays changing scalar storage order 0 0 0 2020-07-10 Pierre-Marie de Rodat New
[Ada] Revert mistaken negation related to references to labels [Ada] Revert mistaken negation related to references to labels 0 0 0 2020-07-10 Pierre-Marie de Rodat New
[Ada] Part of implementation of AI12-0212: container aggregates [Ada] Part of implementation of AI12-0212: container aggregates 0 0 0 2020-07-10 Pierre-Marie de Rodat New
[Ada] Preserve casing of output files [Ada] Preserve casing of output files 0 0 0 2020-07-10 Pierre-Marie de Rodat New
[Ada] Further improve the expansion of array aggregates [Ada] Further improve the expansion of array aggregates 0 0 0 2020-07-10 Pierre-Marie de Rodat New
[Ada] Small cleanup throughout Exp_Ch4 [Ada] Small cleanup throughout Exp_Ch4 0 0 0 2020-07-10 Pierre-Marie de Rodat New
[Ada] Fix detection of actual parameters for procedure calls [Ada] Fix detection of actual parameters for procedure calls 0 0 0 2020-07-10 Pierre-Marie de Rodat New
[Ada] Reuse SPARK expansion of attribute Update for delta_aggregate [Ada] Reuse SPARK expansion of attribute Update for delta_aggregate 0 0 0 2020-07-10 Pierre-Marie de Rodat New
[Ada] Fix expansion of 'Update with multiple choices in GNATprove [Ada] Fix expansion of 'Update with multiple choices in GNATprove 0 0 0 2020-07-10 Pierre-Marie de Rodat New
[Ada] Fix crash on quantified expression in expression function (2) [Ada] Fix crash on quantified expression in expression function (2) 0 0 0 2020-07-10 Pierre-Marie de Rodat New
[Ada] Spurious error in generic dispatching constructor call [Ada] Spurious error in generic dispatching constructor call 0 0 0 2020-07-10 Pierre-Marie de Rodat New
[Ada] Revert too late setting of Ekind on discriminants [Ada] Revert too late setting of Ekind on discriminants 0 0 0 2020-07-10 Pierre-Marie de Rodat New
[Ada] Add global contracts to Ada.Numerics.Big_Numbers libraries [Ada] Add global contracts to Ada.Numerics.Big_Numbers libraries 0 0 0 2020-07-10 Pierre-Marie de Rodat New
[Ada] Add expected and actual size to "bit number out of range" error message [Ada] Add expected and actual size to "bit number out of range" error message 0 0 0 2020-07-08 Pierre-Marie de Rodat New
[Ada] Remove excessive validity checks on in-parameters [Ada] Remove excessive validity checks on in-parameters 0 0 0 2020-07-08 Pierre-Marie de Rodat New
[Ada] Disable warning about unsafe use of __builtin_frame_address [Ada] Disable warning about unsafe use of __builtin_frame_address 0 0 0 2020-07-08 Pierre-Marie de Rodat New
[Ada] Fix C miss parentheses warning on Windows [Ada] Fix C miss parentheses warning on Windows 0 0 0 2020-07-08 Pierre-Marie de Rodat New
[Ada] Fix warnings in C runtime files on Windows [Ada] Fix warnings in C runtime files on Windows 0 0 0 2020-07-08 Pierre-Marie de Rodat New
[Ada] Clean up in Interfaces.C.Extensions [Ada] Clean up in Interfaces.C.Extensions 0 0 0 2020-07-08 Pierre-Marie de Rodat New
[Ada] Accept aspect Relaxed_Initialization on generic subprograms [Ada] Accept aspect Relaxed_Initialization on generic subprograms 0 0 0 2020-07-08 Pierre-Marie de Rodat New
[Ada] Fix internal error on string type comparision with predicate [Ada] Fix internal error on string type comparision with predicate 0 0 0 2020-07-08 Pierre-Marie de Rodat New
[Ada] Do not apply constraint checks on allocator with No_Initialization [Ada] Do not apply constraint checks on allocator with No_Initialization 0 0 0 2020-07-08 Pierre-Marie de Rodat New
[Ada] Add comment on implementation choice for byte-packed array types [Ada] Add comment on implementation choice for byte-packed array types 0 0 0 2020-07-08 Pierre-Marie de Rodat New
[Ada] Ada_2020 AI12-0250 : Implement Iterator filters. [Ada] Ada_2020 AI12-0250 : Implement Iterator filters. 0 0 0 2020-07-08 Pierre-Marie de Rodat New
[Ada] Fix incorrect placement of freeze node with predicate [Ada] Fix incorrect placement of freeze node with predicate 0 0 0 2020-07-08 Pierre-Marie de Rodat New
[Ada] Update entities on class-wide condition function creation [Ada] Update entities on class-wide condition function creation 0 0 0 2020-07-08 Pierre-Marie de Rodat New
[Ada] Analyze aspects once generic subprograms are recognized [Ada] Analyze aspects once generic subprograms are recognized 0 0 0 2020-07-08 Pierre-Marie de Rodat New
[Ada] ACATS 4.1R - BD10001 - Error missed [Ada] ACATS 4.1R - BD10001 - Error missed 0 0 0 2020-07-08 Pierre-Marie de Rodat New
[Ada] Disallow Predicate_Failure without predicate [Ada] Disallow Predicate_Failure without predicate 0 0 0 2020-07-08 Pierre-Marie de Rodat New
« 1 2 3 412 13 »