Show patches with: Submitter = Pierre-Marie de Rodat       |    Archived = No       |   3078 patches
« 1 2 ... 16 17 18 … 30 31 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Fix range check on constrained array with expanded index name [Ada] Fix range check on constrained array with expanded index name - - - - --- 2020-10-15 Pierre-Marie de Rodat New
[Ada] Refine type from Nat to Pos in Make_Index [Ada] Refine type from Nat to Pos in Make_Index - - - - --- 2020-10-15 Pierre-Marie de Rodat New
[Ada] Double evaluation of predicate [Ada] Double evaluation of predicate - - - - --- 2020-10-15 Pierre-Marie de Rodat New
[Ada] Remove excessive defensive calls to Is_Type [Ada] Remove excessive defensive calls to Is_Type - - - - --- 2020-10-15 Pierre-Marie de Rodat New
[Ada] Bring defensive guard for Null_Exclusion_Present up to date [Ada] Bring defensive guard for Null_Exclusion_Present up to date - - - - --- 2020-10-15 Pierre-Marie de Rodat New
[Ada] Do not use maximal values from System in runtime units [Ada] Do not use maximal values from System in runtime units - - - - --- 2020-10-15 Pierre-Marie de Rodat New
[Ada] AI12-0194: Language-defined aspects and entry bodies [Ada] AI12-0194: Language-defined aspects and entry bodies - - - - --- 2020-07-27 Pierre-Marie de Rodat New
[Ada] Ada2020: wording of 'Image messages [Ada] Ada2020: wording of 'Image messages - - - - --- 2020-07-27 Pierre-Marie de Rodat New
[Ada] Warnings on overloays involving generic In_Parameters [Ada] Warnings on overloays involving generic In_Parameters - - - - --- 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 - - - - --- 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 - - - - --- 2020-07-27 Pierre-Marie de Rodat New
[Ada] Remove obsolete special case in Switch_View [Ada] Remove obsolete special case in Switch_View - - - - --- 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 - - - - --- 2020-07-27 Pierre-Marie de Rodat New
[Ada] AI12-0383 Renaming values [Ada] AI12-0383 Renaming values - - - - --- 2020-07-27 Pierre-Marie de Rodat New
[Ada] Revert "Revamp dump and aux output names" [Ada] Revert "Revamp dump and aux output names" - - - - --- 2020-07-27 Pierre-Marie de Rodat New
[Ada] Unbounded string overriding control [Ada] Unbounded string overriding control - - - - --- 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 - - - - --- 2020-07-27 Pierre-Marie de Rodat New
[Ada] Refactor pragma argument getters [Ada] Refactor pragma argument getters - - - - --- 2020-07-27 Pierre-Marie de Rodat New
[Ada] Switch Ada_Version_Runtime to Ada 2020 [Ada] Switch Ada_Version_Runtime to Ada 2020 - - - - --- 2020-07-27 Pierre-Marie de Rodat New
[Ada] Remove disabled code [Ada] Remove disabled code - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 2020-07-27 Pierre-Marie de Rodat New
[Ada] Ongoing work for AI12-0212 : container aggregates [Ada] Ongoing work for AI12-0212 : container aggregates - - - - --- 2020-07-16 Pierre-Marie de Rodat New
[Ada] Misplace of internal master renaming declaration [Ada] Misplace of internal master renaming declaration - - - - --- 2020-07-16 Pierre-Marie de Rodat New
[Ada] AI12-0132 Freezing of renames_as_body [Ada] AI12-0132 Freezing of renames_as_body - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 2020-07-16 Pierre-Marie de Rodat New
[Ada] Add centralized capacity check in Generic_Bignums [Ada] Add centralized capacity check in Generic_Bignums - - - - --- 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 - - - - --- 2020-07-16 Pierre-Marie de Rodat New
[Ada] Incorrect static accessibility error in return aggregate [Ada] Incorrect static accessibility error in return aggregate - - - - --- 2020-07-16 Pierre-Marie de Rodat New
[Ada] Overflow in string streaming [Ada] Overflow in string streaming - - - - --- 2020-07-16 Pierre-Marie de Rodat New
[Ada] Implicit dereferencing in container indexing [Ada] Implicit dereferencing in container indexing - - - - --- 2020-07-16 Pierre-Marie de Rodat New
[Ada] Set missing Parent field of block entity [Ada] Set missing Parent field of block entity - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 2020-07-16 Pierre-Marie de Rodat New
[Ada] Wrong execution of Tan on large argument [Ada] Wrong execution of Tan on large argument - - - - --- 2020-07-16 Pierre-Marie de Rodat New
[Ada] Adjust heuristics about size of static aggregates [Ada] Adjust heuristics about size of static aggregates - - - - --- 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 - - - - --- 2020-07-16 Pierre-Marie de Rodat New
[Ada] AI12-0042: Type invariant checking rules [Ada] AI12-0042: Type invariant checking rules - - - - --- 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 - - - - --- 2020-07-16 Pierre-Marie de Rodat New
[Ada] Disable Initialize_Scalars on runtime files [Ada] Disable Initialize_Scalars on runtime files - - - - --- 2020-07-16 Pierre-Marie de Rodat New
[Ada] Spurious redundant use clause warning [Ada] Spurious redundant use clause warning - - - - --- 2020-07-16 Pierre-Marie de Rodat New
[Ada] Spurious error on Predicate_Failure aspect [Ada] Spurious error on Predicate_Failure aspect - - - - --- 2020-07-15 Pierre-Marie de Rodat New
[Ada] Fix logic in Allocate_Any_Controlled [Ada] Fix logic in Allocate_Any_Controlled - - - - --- 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 - - - - --- 2020-07-15 Pierre-Marie de Rodat New
[Ada] Cleanup in Convert_To_Positional after previous work [Ada] Cleanup in Convert_To_Positional after previous work - - - - --- 2020-07-15 Pierre-Marie de Rodat New
[Ada] Target name is an object reference [Ada] Target name is an object reference - - - - --- 2020-07-15 Pierre-Marie de Rodat New
[Ada] Ongoing work for AI12-0212: container aggregates [Ada] Ongoing work for AI12-0212: container aggregates - - - - --- 2020-07-15 Pierre-Marie de Rodat New
[Ada] Cleanup code related to object overlays [Ada] Cleanup code related to object overlays - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 2020-07-15 Pierre-Marie de Rodat New
[Ada] Missing error on operator call [Ada] Missing error on operator call - - - - --- 2020-07-15 Pierre-Marie de Rodat New
[Ada] Mark standard containers as not in SPARK [Ada] Mark standard containers as not in SPARK - - - - --- 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 - - - - --- 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 - - - - --- 2020-07-15 Pierre-Marie de Rodat New
[Ada] Fix oversight in Delayed_Aspect_Present predicate [Ada] Fix oversight in Delayed_Aspect_Present predicate - - - - --- 2020-07-15 Pierre-Marie de Rodat New
[Ada] Spurious accessibility error on allocator [Ada] Spurious accessibility error on allocator - - - - --- 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 - - - - --- 2020-07-15 Pierre-Marie de Rodat New
[Ada] Assert failure with -gnatwr [Ada] Assert failure with -gnatwr - - - - --- 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 - - - - --- 2020-07-15 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) - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 2020-07-10 Pierre-Marie de Rodat New
[Ada] Spurious error in generic dispatching constructor call [Ada] Spurious error in generic dispatching constructor call - - - - --- 2020-07-10 Pierre-Marie de Rodat New
[Ada] Small cleanup throughout Exp_Ch4 [Ada] Small cleanup throughout Exp_Ch4 - - - - --- 2020-07-10 Pierre-Marie de Rodat New
[Ada] Cleanup excessive conditions in Check_Completion [Ada] Cleanup excessive conditions in Check_Completion - - - - --- 2020-07-10 Pierre-Marie de Rodat New
[Ada] Fix detection of volatile properties in SPARK [Ada] Fix detection of volatile properties in SPARK - - - - --- 2020-07-10 Pierre-Marie de Rodat New
[Ada] Spurious error on parameterless acccess_to_subprogram [Ada] Spurious error on parameterless acccess_to_subprogram - - - - --- 2020-07-10 Pierre-Marie de Rodat New
[Ada] Use small limit for aggregates inside subprograms [Ada] Use small limit for aggregates inside subprograms - - - - --- 2020-07-10 Pierre-Marie de Rodat New
[Ada] Potentially unevaluated nested expressions [Ada] Potentially unevaluated nested expressions - - - - --- 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 - - - - --- 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 - - - - --- 2020-07-10 Pierre-Marie de Rodat New
[Ada] Preserve casing of output files [Ada] Preserve casing of output files - - - - --- 2020-07-10 Pierre-Marie de Rodat New
[Ada] Further improve the expansion of array aggregates [Ada] Further improve the expansion of array aggregates - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 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 - - - - --- 2020-07-10 Pierre-Marie de Rodat New
[Ada] Fix failing assertions related to volatile objects [Ada] Fix failing assertions related to volatile objects - - - - --- 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 - - - - --- 2020-07-10 Pierre-Marie de Rodat New
[Ada] ACATS 4.1R - BD10001 - Error missed [Ada] ACATS 4.1R - BD10001 - Error missed - - - - --- 2020-07-08 Pierre-Marie de Rodat New
[Ada] Remove excessive validity checks on in-parameters [Ada] Remove excessive validity checks on in-parameters - - - - --- 2020-07-08 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 - - - - --- 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 - - - - --- 2020-07-08 Pierre-Marie de Rodat New
[Ada] Ada_2020 AI12-0250 : Implement Iterator filters. [Ada] Ada_2020 AI12-0250 : Implement Iterator filters. - - - - --- 2020-07-08 Pierre-Marie de Rodat New
[Ada] Analyze aspects once generic subprograms are recognized [Ada] Analyze aspects once generic subprograms are recognized - - - - --- 2020-07-08 Pierre-Marie de Rodat New
[Ada] Fix C miss parentheses warning on Windows [Ada] Fix C miss parentheses warning on Windows - - - - --- 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 - - - - --- 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 - - - - --- 2020-07-08 Pierre-Marie de Rodat New
[Ada] Clean up in Interfaces.C.Extensions [Ada] Clean up in Interfaces.C.Extensions - - - - --- 2020-07-08 Pierre-Marie de Rodat New
« 1 2 ... 16 17 18 … 30 31 »