Show patches with: Submitter = Pierre-Marie de Rodat       |    State = Action Required       |    Archived = No       |   1146 patches
« 1 2 3 411 12 »
Patch Series S/W/F Date Submitter Delegate State
[Ada] Hang on conditional expression as actual [Ada] Hang on conditional expression as actual 0 0 0 2020-07-07 Pierre-Marie de Rodat New
[Ada] Set range checks for for 'Update on arrays in GNATprove expansion [Ada] Set range checks for for 'Update on arrays in GNATprove expansion 0 0 0 2020-07-07 Pierre-Marie de Rodat New
[Ada] Use pragma Unsuppress in Time_IO [Ada] Use pragma Unsuppress in Time_IO 0 0 0 2020-07-07 Pierre-Marie de Rodat New
[Ada] ACATS 4.1K - C452003 [Ada] ACATS 4.1K - C452003 0 0 0 2020-07-07 Pierre-Marie de Rodat New
[Ada] Handle explicit dereferences in expression functions [Ada] Handle explicit dereferences in expression functions 0 0 0 2020-07-07 Pierre-Marie de Rodat New
[Ada] Fix documentation of -gnatVa switch [Ada] Fix documentation of -gnatVa switch 0 0 0 2020-07-07 Pierre-Marie de Rodat New
[Ada] Avoid crash on node extension [Ada] Avoid crash on node extension 0 0 0 2020-07-07 Pierre-Marie de Rodat New
[Ada] Fix expansion of delta aggregates with slices [Ada] Fix expansion of delta aggregates with slices 0 0 0 2020-07-07 Pierre-Marie de Rodat New
[Ada] Use Is_Generic_Subprogram where possible [Ada] Use Is_Generic_Subprogram where possible 0 0 0 2020-07-07 Pierre-Marie de Rodat New
[Ada] Freeze aspect expression relocated to pragma Precondition [Ada] Freeze aspect expression relocated to pragma Precondition 0 0 0 2020-07-07 Pierre-Marie de Rodat New
[Ada] Fix typo in code to get a better error message [Ada] Fix typo in code to get a better error message 0 0 0 2020-07-07 Pierre-Marie de Rodat New
[Ada] Add support for XDR streaming in the default runtime [Ada] Add support for XDR streaming in the default runtime 0 0 0 2020-07-07 Pierre-Marie de Rodat New
[Ada] Small adjustment in the handling of alignment for arrays [Ada] Small adjustment in the handling of alignment for arrays 0 0 0 2020-07-07 Pierre-Marie de Rodat New
[Ada] Spurious elaboration warnings with -gnatc and null procedures [Ada] Spurious elaboration warnings with -gnatc and null procedures 0 0 0 2020-07-07 Pierre-Marie de Rodat New
[Ada] Errors in handling of access_to_subprogram contracts [Ada] Errors in handling of access_to_subprogram contracts 0 0 0 2020-07-07 Pierre-Marie de Rodat New
[Ada] ACATS 4.1J - B854003 - Subtype conformance check missed #2 [Ada] ACATS 4.1J - B854003 - Subtype conformance check missed #2 0 0 0 2020-07-07 Pierre-Marie de Rodat New
[Ada] Ada2020: AI12-0198 potentially unevaluated components of arrays [Ada] Ada2020: AI12-0198 potentially unevaluated components of arrays 0 0 0 2020-07-07 Pierre-Marie de Rodat New
[Ada] Checking type invariants on in params of procedures, not functions (AI12-0044) [Ada] Checking type invariants on in params of procedures, not functions (AI12-0044) 0 0 0 2020-07-07 Pierre-Marie de Rodat New
[Ada] ACATS 4.1H - BC60005 - null exclusion matching for formal subprograms [Ada] ACATS 4.1H - BC60005 - null exclusion matching for formal subprograms 0 0 0 2020-07-07 Pierre-Marie de Rodat New
[Ada] Simplify statically known Max_Size_In_Storage_Elements attribute in more cases [Ada] Simplify statically known Max_Size_In_Storage_Elements attribute in more cases 0 0 0 2020-07-07 Pierre-Marie de Rodat New
[Ada] Ada2020: AI12-0198 potentially unevaluated components of arrays [Ada] Ada2020: AI12-0198 potentially unevaluated components of arrays 0 0 0 2020-07-07 Pierre-Marie de Rodat New
[Ada] Move generation of range checks for entry families to expander [Ada] Move generation of range checks for entry families to expander 0 0 0 2020-07-07 Pierre-Marie de Rodat New
[Ada] Ensure No_Specification_Of_Aspect forbids pragmas and repr. clauses [Ada] Ensure No_Specification_Of_Aspect forbids pragmas and repr. clauses 0 0 0 2020-07-07 Pierre-Marie de Rodat New
[Ada] Remove extra checks for non-static context from resolving 'Update [Ada] Remove extra checks for non-static context from resolving 'Update 0 0 0 2020-07-07 Pierre-Marie de Rodat New
[Ada] Assert failure on invalid Variable_Indexing [Ada] Assert failure on invalid Variable_Indexing 0 0 0 2020-07-07 Pierre-Marie de Rodat New
[Ada] Allow aspect Relaxed_Initialization on protected entries [Ada] Allow aspect Relaxed_Initialization on protected entries 0 0 0 2020-07-07 Pierre-Marie de Rodat New
[Ada] Fix evaluation of Enum_Rep applied to imported constant [Ada] Fix evaluation of Enum_Rep applied to imported constant 0 0 0 2020-07-06 Pierre-Marie de Rodat New
[Ada] Ada2020: AI12-0198 potentially unevaluated array components [Ada] Ada2020: AI12-0198 potentially unevaluated array components 0 0 0 2020-07-06 Pierre-Marie de Rodat New
[Ada] Set range checks flag on 'Update for GNATprove in expansion [Ada] Set range checks flag on 'Update for GNATprove in expansion 0 0 0 2020-07-06 Pierre-Marie de Rodat New
[Ada] Time_IO.Value: Allow subseconds and time zones together [Ada] Time_IO.Value: Allow subseconds and time zones together 0 0 0 2020-07-06 Pierre-Marie de Rodat New
[Ada] Time_IO.Image: Allow printing the time zone [Ada] Time_IO.Image: Allow printing the time zone 0 0 0 2020-07-06 Pierre-Marie de Rodat New
[Ada] Visibility error with aggregate in Declare_Expression [Ada] Visibility error with aggregate in Declare_Expression 0 0 0 2020-07-06 Pierre-Marie de Rodat New
[Ada] Hang on generic declaration with ambiguous formal package [Ada] Hang on generic declaration with ambiguous formal package 0 0 0 2020-07-06 Pierre-Marie de Rodat New
[Ada] Remove obsolete code in Eval_Attribute [Ada] Remove obsolete code in Eval_Attribute 0 0 0 2020-07-06 Pierre-Marie de Rodat New
[Ada] Crash on derived type with rep. clause and renamed discriminant [Ada] Crash on derived type with rep. clause and renamed discriminant 0 0 0 2020-07-06 Pierre-Marie de Rodat New
[Ada] Fix bad interaction between Unchecked_Conversion and limited type [Ada] Fix bad interaction between Unchecked_Conversion and limited type 0 0 0 2020-07-06 Pierre-Marie de Rodat New
[Ada] Use Stream_Element_Arrays internally for secure hash computations [Ada] Use Stream_Element_Arrays internally for secure hash computations 0 0 0 2020-07-06 Pierre-Marie de Rodat New
[Ada] Predicates and the current instance of a subtype (AI12-0068) [Ada] Predicates and the current instance of a subtype (AI12-0068) 0 0 0 2020-07-06 Pierre-Marie de Rodat New
[Ada] Crash when an exception handler is executed with -gnatdk [Ada] Crash when an exception handler is executed with -gnatdk 0 0 0 2020-07-06 Pierre-Marie de Rodat New
[Ada] Refine use of access types in unnesting [Ada] Refine use of access types in unnesting 0 0 0 2020-07-06 Pierre-Marie de Rodat New
[Ada] Implement Time_IO.Image with Time_Zone [Ada] Implement Time_IO.Image with Time_Zone 0 0 0 2020-07-06 Pierre-Marie de Rodat New
[Ada] Correct time zone in GNAT.Calendar.Time_IO.Value [Ada] Correct time zone in GNAT.Calendar.Time_IO.Value 0 0 0 2020-07-06 Pierre-Marie de Rodat New
[Ada] Avoid forced loading of System.Priority in CodePeer mode [Ada] Avoid forced loading of System.Priority in CodePeer mode 0 0 0 2020-07-06 Pierre-Marie de Rodat New
[Ada] Small cleanup throughout Exp_Ch9 [Ada] Small cleanup throughout Exp_Ch9 0 0 0 2020-07-06 Pierre-Marie de Rodat New
[Ada] Remove special case for processing null range in GNATprove [Ada] Remove special case for processing null range in GNATprove 0 0 0 2020-07-06 Pierre-Marie de Rodat New
[Ada] Wording problems with predicates (AI12-0099) [Ada] Wording problems with predicates (AI12-0099) 0 0 0 2020-07-06 Pierre-Marie de Rodat New
[Ada] Crash on declaration with aggregate for unchecked union [Ada] Crash on declaration with aggregate for unchecked union 0 0 0 2020-07-06 Pierre-Marie de Rodat New
[Ada] AI12-0376 Relax RM 13.1(10) rule wrt primitive operations [Ada] AI12-0376 Relax RM 13.1(10) rule wrt primitive operations 0 0 0 2020-07-06 Pierre-Marie de Rodat New
[Ada] Improve run-time performance for large initialized allocators [Ada] Improve run-time performance for large initialized allocators 0 0 0 2020-07-06 Pierre-Marie de Rodat New
[Ada] Deal with enumeration types with very large size [Ada] Deal with enumeration types with very large size 0 0 0 2020-06-19 Pierre-Marie de Rodat New
[Ada] Spurious condition warning on type conversion in return [Ada] Spurious condition warning on type conversion in return 0 0 0 2020-06-19 Pierre-Marie de Rodat New
[Ada] Crash on compiling project with multiple subunits per file [Ada] Crash on compiling project with multiple subunits per file 0 0 0 2020-06-19 Pierre-Marie de Rodat New
[Ada] Fix small fallout of previous change for allocator [Ada] Fix small fallout of previous change for allocator 0 0 0 2020-06-19 Pierre-Marie de Rodat New
[Ada] Fix check for bounds in aggregate expansion of allocator [Ada] Fix check for bounds in aggregate expansion of allocator 0 0 0 2020-06-19 Pierre-Marie de Rodat New
[Ada] Plug small loophole in implementation of AI12-0100 [Ada] Plug small loophole in implementation of AI12-0100 0 0 0 2020-06-19 Pierre-Marie de Rodat New
[Ada] Fix small fallout of previous change for Analyze_Selected_Component [Ada] Fix small fallout of previous change for Analyze_Selected_Component 0 0 0 2020-06-19 Pierre-Marie de Rodat New
[Ada] Further cleanup in constraint checking code for allocators [Ada] Further cleanup in constraint checking code for allocators 0 0 0 2020-06-19 Pierre-Marie de Rodat New
[Ada] Fix internal error on component of class-wide parameter in instance body [Ada] Fix internal error on component of class-wide parameter in instance body 0 0 0 2020-06-19 Pierre-Marie de Rodat New
[Ada] Spurious error on private type in ghost expression function [Ada] Spurious error on private type in ghost expression function 0 0 0 2020-06-19 Pierre-Marie de Rodat New
[Ada] Remove repeated testing of Check_Validity_Of_Parameters [Ada] Remove repeated testing of Check_Validity_Of_Parameters 0 0 0 2020-06-19 Pierre-Marie de Rodat New
[Ada] Simplify processing of 'Valid_Scalars on array types [Ada] Simplify processing of 'Valid_Scalars on array types 0 0 0 2020-06-19 Pierre-Marie de Rodat New
[Ada] Add comments about attribute 'Valid_Scalars on private tagged types [Ada] Add comments about attribute 'Valid_Scalars on private tagged types 0 0 0 2020-06-19 Pierre-Marie de Rodat New
[Ada] AI12-0293-1 Remove pragma Assert [Ada] AI12-0293-1 Remove pragma Assert 0 0 0 2020-06-19 Pierre-Marie de Rodat New
[Ada] Fix validity checking for class-wide objects [Ada] Fix validity checking for class-wide objects 0 0 0 2020-06-19 Pierre-Marie de Rodat New
[Ada] Fix validity checks on attribute 'Old prefix [Ada] Fix validity checks on attribute 'Old prefix 0 0 0 2020-06-19 Pierre-Marie de Rodat New
[Ada] Small cleanup in Apply_Range_Check implementation [Ada] Small cleanup in Apply_Range_Check implementation 0 0 0 2020-06-19 Pierre-Marie de Rodat New
[Ada] Style checks on invalid UTF character cause crash [Ada] Style checks on invalid UTF character cause crash 0 0 0 2020-06-19 Pierre-Marie de Rodat New
[Ada] Reject junk expressions in attribute Update [Ada] Reject junk expressions in attribute Update 0 0 0 2020-06-19 Pierre-Marie de Rodat New
[Ada] Decorate record delta aggregate for GNATprove [Ada] Decorate record delta aggregate for GNATprove 0 0 0 2020-06-19 Pierre-Marie de Rodat New
[Ada] Attempt to hide public entities in nested instance bodies [Ada] Attempt to hide public entities in nested instance bodies 0 0 0 2020-06-19 Pierre-Marie de Rodat New
[Ada] universal_access equality and 'Access attributes [Ada] universal_access equality and 'Access attributes 0 0 0 2020-06-19 Pierre-Marie de Rodat New
[Ada] Remove second warning for convention C_Variadic_n [Ada] Remove second warning for convention C_Variadic_n 0 0 0 2020-06-19 Pierre-Marie de Rodat New
[Ada] AI12-0293-1 Implement storage streams [Ada] AI12-0293-1 Implement storage streams 0 0 0 2020-06-18 Pierre-Marie de Rodat New
[Ada] Missing error on aspects Input and Output [Ada] Missing error on aspects Input and Output 0 0 0 2020-06-18 Pierre-Marie de Rodat New
[Ada] Small cleanup in constraint checking code for allocators [Ada] Small cleanup in constraint checking code for allocators 0 0 0 2020-06-18 Pierre-Marie de Rodat New
[Ada] Fix small inefficiency in previous change to expander [Ada] Fix small inefficiency in previous change to expander 0 0 0 2020-06-18 Pierre-Marie de Rodat New
[Ada] Narrow large arithmetic and comparison operations [Ada] Narrow large arithmetic and comparison operations 0 0 0 2020-06-18 Pierre-Marie de Rodat New
[Ada] ACATS 4.1J - B854003 - Subtype conformance check missed [Ada] ACATS 4.1J - B854003 - Subtype conformance check missed 0 0 0 2020-06-18 Pierre-Marie de Rodat New
[Ada] Implement AI12-0032 fixes for 'Old attribute accessibility [Ada] Implement AI12-0032 fixes for 'Old attribute accessibility 0 0 0 2020-06-18 Pierre-Marie de Rodat New
[Ada] No Default_Initial_Condition check when declaring an imported object [Ada] No Default_Initial_Condition check when declaring an imported object 0 0 0 2020-06-18 Pierre-Marie de Rodat New
[Ada] Small cleanup in the attribute code of the expander [Ada] Small cleanup in the attribute code of the expander 0 0 0 2020-06-18 Pierre-Marie de Rodat New
[Ada] Update output of verbose error summary [Ada] Update output of verbose error summary 0 0 0 2020-06-18 Pierre-Marie de Rodat New
[Ada] Minor cleanup in Expand_Call_Helper [Ada] Minor cleanup in Expand_Call_Helper 0 0 0 2020-06-18 Pierre-Marie de Rodat New
[Ada] Fix host/target confusion for attribute To_Address [Ada] Fix host/target confusion for attribute To_Address 0 0 0 2020-06-18 Pierre-Marie de Rodat New
[Ada] Add second warning for convention C_Variadic_n [Ada] Add second warning for convention C_Variadic_n 0 0 0 2020-06-18 Pierre-Marie de Rodat New
[Ada] ACATS 4.1L - B452002 - Wrong universal access "=" rules [Ada] ACATS 4.1L - B452002 - Wrong universal access "=" rules 0 0 0 2020-06-18 Pierre-Marie de Rodat New
[Ada] Small adjustment to Get_Integer_Type function [Ada] Small adjustment to Get_Integer_Type function 0 0 0 2020-06-18 Pierre-Marie de Rodat New
[Ada] Fix failed assertion on a slice indexed by a subtype_indication [Ada] Fix failed assertion on a slice indexed by a subtype_indication 0 0 0 2020-06-18 Pierre-Marie de Rodat New
[Ada] Fix invalid expression sharing in Expand_Array_Equality [Ada] Fix invalid expression sharing in Expand_Array_Equality 0 0 0 2020-06-18 Pierre-Marie de Rodat New
[Ada] Small improvement to Optimize_Length_Comparison [Ada] Small improvement to Optimize_Length_Comparison 0 0 0 2020-06-18 Pierre-Marie de Rodat New
[Ada] The definition of constants in declare expressions is an interfering context [Ada] The definition of constants in declare expressions is an interfering context 0 0 0 2020-06-18 Pierre-Marie de Rodat New
[Ada] Small cleanup throughout CStand body [Ada] Small cleanup throughout CStand body 0 0 0 2020-06-17 Pierre-Marie de Rodat New
[Ada] Fix incorrect operand sharing after expansion [Ada] Fix incorrect operand sharing after expansion 0 0 0 2020-06-17 Pierre-Marie de Rodat New
[Ada] Ada2020: AI12-0279 more dispatching points with aspect Yield [Ada] Ada2020: AI12-0279 more dispatching points with aspect Yield 0 0 0 2020-06-17 Pierre-Marie de Rodat New
[Ada] Add early return to Apply_Universal_Integer_Attribute_Checks [Ada] Add early return to Apply_Universal_Integer_Attribute_Checks 0 0 0 2020-06-17 Pierre-Marie de Rodat New
[Ada] Nested subprograms in protected subprograms improperly handled in GNAT-LLVM [Ada] Nested subprograms in protected subprograms improperly handled in GNAT-LLVM 0 0 0 2020-06-17 Pierre-Marie de Rodat New
[Ada] Support aspect Relaxed_Initialization on private types and constants [Ada] Support aspect Relaxed_Initialization on private types and constants 0 0 0 2020-06-17 Pierre-Marie de Rodat New
[Ada] Crash in tagged type constructor with task components [Ada] Crash in tagged type constructor with task components 0 0 0 2020-06-17 Pierre-Marie de Rodat New
[Ada] Additional legality rule for indexing operation for derived type [Ada] Additional legality rule for indexing operation for derived type 0 0 0 2020-06-17 Pierre-Marie de Rodat New
[Ada] ACATS 4.1H - BA12018 - Missed errors for private with [Ada] ACATS 4.1H - BA12018 - Missed errors for private with 0 0 0 2020-06-17 Pierre-Marie de Rodat New
« 1 2 3 411 12 »