Show patches with: Submitter = Pierre-Marie de Rodat       |    State = Action Required       |    Archived = No       |   3078 patches
« 1 2 ... 15 16 17 … 30 31 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Ada_2020 AI12-0250: Iterator filters in Iterated_Element_Assocations [Ada] Ada_2020 AI12-0250: Iterator filters in Iterated_Element_Assocations - - - - --- 2020-10-22 Pierre-Marie de Rodat New
[Ada] Fix bogus error on conversion from Float to 128-bit unsigned [Ada] Fix bogus error on conversion from Float to 128-bit unsigned - - - - --- 2020-10-22 Pierre-Marie de Rodat New
[Ada] Wrong accessibility for conversion to named access [Ada] Wrong accessibility for conversion to named access - - - - --- 2020-10-22 Pierre-Marie de Rodat New
[Ada] Adjust documentation for Has_Constrained_Partial_View flag [Ada] Adjust documentation for Has_Constrained_Partial_View flag - - - - --- 2020-10-22 Pierre-Marie de Rodat New
[Ada] Fix bogus error for bit-packed array with volatile component [Ada] Fix bogus error for bit-packed array with volatile component - - - - --- 2020-10-21 Pierre-Marie de Rodat New
[Ada] Fix crash on illegal OTHERS in iterated_component_association [Ada] Fix crash on illegal OTHERS in iterated_component_association - - - - --- 2020-10-21 Pierre-Marie de Rodat New
[Ada] Implement missing function result finalization. [Ada] Implement missing function result finalization. - - - - --- 2020-10-21 Pierre-Marie de Rodat New
[Ada] Compiler crash on prefixed call to controlled function with invariant check [Ada] Compiler crash on prefixed call to controlled function with invariant check - - - - --- 2020-10-21 Pierre-Marie de Rodat New
[Ada] Fix analysis of iterated component expression with null range [Ada] Fix analysis of iterated component expression with null range - - - - --- 2020-10-21 Pierre-Marie de Rodat New
[Ada] Fix problematic placement of freeze node after instantiation [Ada] Fix problematic placement of freeze node after instantiation - - - - --- 2020-10-21 Pierre-Marie de Rodat New
[Ada] Work around missing Long_Long_Long_Size entry in .atp file [Ada] Work around missing Long_Long_Long_Size entry in .atp file - - - - --- 2020-10-21 Pierre-Marie de Rodat New
[Ada] Use index parameter for iterated_component_association [Ada] Use index parameter for iterated_component_association - - - - --- 2020-10-21 Pierre-Marie de Rodat New
[Ada] Fix bootstrap with old GCC [Ada] Fix bootstrap with old GCC - - - - --- 2020-10-21 Pierre-Marie de Rodat New
[Ada] Wrong detection of potentially blocking call in protected object [Ada] Wrong detection of potentially blocking call in protected object - - - - --- 2020-10-21 Pierre-Marie de Rodat New
[Ada] Fix target configuration file used for CodePeer/SPARK for new ints [Ada] Fix target configuration file used for CodePeer/SPARK for new ints - - - - --- 2020-10-21 Pierre-Marie de Rodat New
[Ada] Raise Capacity_Error on formal vector insertion [Ada] Raise Capacity_Error on formal vector insertion - - - - --- 2020-10-21 Pierre-Marie de Rodat New
[Ada] Remove -mthreads from Linker_Options pragma for x86-lynx178e [Ada] Remove -mthreads from Linker_Options pragma for x86-lynx178e - - - - --- 2020-10-21 Pierre-Marie de Rodat New
[Ada] Use helper function in Freeze_Subprogram_Body [Ada] Use helper function in Freeze_Subprogram_Body - - - - --- 2020-10-21 Pierre-Marie de Rodat New
[Ada] Fix crash with iterated_component_association and -gnatc [Ada] Fix crash with iterated_component_association and -gnatc - - - - --- 2020-10-21 Pierre-Marie de Rodat New
[Ada] Disable warnings on entities when building finalizers [Ada] Disable warnings on entities when building finalizers - - - - --- 2020-10-21 Pierre-Marie de Rodat New
[Ada] Use VxWorks 7 APIs for accessing environment variables in kernel mode [Ada] Use VxWorks 7 APIs for accessing environment variables in kernel mode - - - - --- 2020-10-21 Pierre-Marie de Rodat New
[Ada] Improve precision of Ada.Directories.Modification_Time [Ada] Improve precision of Ada.Directories.Modification_Time - - - - --- 2020-10-21 Pierre-Marie de Rodat New
[Ada] Make minimum accessibility level a constant object [Ada] Make minimum accessibility level a constant object - - - - --- 2020-10-21 Pierre-Marie de Rodat New
[Ada] Incorrect associations for extra accessibility parameters [Ada] Incorrect associations for extra accessibility parameters - - - - --- 2020-10-21 Pierre-Marie de Rodat New
[Ada] Simplify the VxWorks implementation of __gnat_environ [Ada] Simplify the VxWorks implementation of __gnat_environ - - - - --- 2020-10-21 Pierre-Marie de Rodat New
[Ada] Prevent crashes when pretty-printing freeze nodes from gdb [Ada] Prevent crashes when pretty-printing freeze nodes from gdb - - - - --- 2020-10-20 Pierre-Marie de Rodat New
[Ada] Refine type for type constraining routines [Ada] Refine type for type constraining routines - - - - --- 2020-10-20 Pierre-Marie de Rodat New
[Ada] AI12-0339: Empty function for Aggregate aspect of Ada containers [Ada] AI12-0339: Empty function for Aggregate aspect of Ada containers - - - - --- 2020-10-20 Pierre-Marie de Rodat New
[Ada] Fixes for pretty command-line GNATprove output with -gnatdF [Ada] Fixes for pretty command-line GNATprove output with -gnatdF - - - - --- 2020-10-20 Pierre-Marie de Rodat New
[Ada] Make attribute Update an obsolescent feature [Ada] Make attribute Update an obsolescent feature - - - - --- 2020-10-20 Pierre-Marie de Rodat New
[Ada] New warning on not fully initialized box aggregate [Ada] New warning on not fully initialized box aggregate - - - - --- 2020-10-20 Pierre-Marie de Rodat New
[Ada] gnatpp: Fix documentation of threshold switches [Ada] gnatpp: Fix documentation of threshold switches - - - - --- 2020-10-20 Pierre-Marie de Rodat New
[Ada] Hang on cond expression as actual for anonymous access formal [Ada] Hang on cond expression as actual for anonymous access formal - - - - --- 2020-10-20 Pierre-Marie de Rodat New
[Ada] Crash on cond expression as actual for anonymous access formal [Ada] Crash on cond expression as actual for anonymous access formal - - - - --- 2020-10-20 Pierre-Marie de Rodat New
[Ada] Add support for Unreferenced aspect on formal parameters [Ada] Add support for Unreferenced aspect on formal parameters - - - - --- 2020-10-20 Pierre-Marie de Rodat New
[Ada] Refine result type of Get_Accessibility [Ada] Refine result type of Get_Accessibility - - - - --- 2020-10-20 Pierre-Marie de Rodat New
[Ada] Propagate predicate function to a full view of a private subtype [Ada] Propagate predicate function to a full view of a private subtype - - - - --- 2020-10-20 Pierre-Marie de Rodat New
[Ada] Inlining nonstatic calls to static expression functions [Ada] Inlining nonstatic calls to static expression functions - - - - --- 2020-10-20 Pierre-Marie de Rodat New
[Ada] Spurious discriminant check on "for of" loop [Ada] Spurious discriminant check on "for of" loop - - - - --- 2020-10-20 Pierre-Marie de Rodat New
[Ada] Issue with gnatbind -V switch and Ada 2012 [Ada] Issue with gnatbind -V switch and Ada 2012 - - - - --- 2020-10-20 Pierre-Marie de Rodat New
[Ada] Ada_2020: Further code cleanup for container aggregates [Ada] Ada_2020: Further code cleanup for container aggregates - - - - --- 2020-10-20 Pierre-Marie de Rodat New
[Ada] Crash on precondition, discriminant and protected objects [Ada] Crash on precondition, discriminant and protected objects - - - - --- 2020-10-20 Pierre-Marie de Rodat New
[Ada] Remove extra validity check in case statement [Ada] Remove extra validity check in case statement - - - - --- 2020-10-20 Pierre-Marie de Rodat New
[Ada] Display source code pointing at locations in messages for GNATprove [Ada] Display source code pointing at locations in messages for GNATprove - - - - --- 2020-10-20 Pierre-Marie de Rodat New
[Ada] Fix internal error on bit-aligned component of function call [Ada] Fix internal error on bit-aligned component of function call - - - - --- 2020-10-20 Pierre-Marie de Rodat New
[Ada] Ada_2020: Implement Key_Expression for named container aggregates [Ada] Ada_2020: Implement Key_Expression for named container aggregates - - - - --- 2020-10-19 Pierre-Marie de Rodat New
[Ada] Compiler abort on in_out function parameter with type invariant [Ada] Compiler abort on in_out function parameter with type invariant - - - - --- 2020-10-19 Pierre-Marie de Rodat New
[Ada] Ada2020: matching parentheses and brackets [Ada] Ada2020: matching parentheses and brackets - - - - --- 2020-10-19 Pierre-Marie de Rodat New
[Ada] Clarify current design of Errout wrt global variable usage [Ada] Clarify current design of Errout wrt global variable usage - - - - --- 2020-10-19 Pierre-Marie de Rodat New
[Ada] Missing check on array concatenation [Ada] Missing check on array concatenation - - - - --- 2020-10-19 Pierre-Marie de Rodat New
[Ada] Private type unexpectedly visible [Ada] Private type unexpectedly visible - - - - --- 2020-10-19 Pierre-Marie de Rodat New
[Ada] Expanded names in ghost assignments [Ada] Expanded names in ghost assignments - - - - --- 2020-10-19 Pierre-Marie de Rodat New
[Ada] Alternative display of multi-line messages for GNATprove [Ada] Alternative display of multi-line messages for GNATprove - - - - --- 2020-10-19 Pierre-Marie de Rodat New
[Ada] Clean up support of square brackets [Ada] Clean up support of square brackets - - - - --- 2020-10-19 Pierre-Marie de Rodat New
[Ada] Remove excessive guards in building predicate functions [Ada] Remove excessive guards in building predicate functions - - - - --- 2020-10-19 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-10-19 Pierre-Marie de Rodat New
[Ada] Remove useless initialization and refine type of a local variable [Ada] Remove useless initialization and refine type of a local variable - - - - --- 2020-10-19 Pierre-Marie de Rodat New
[Ada] Use alternate stack for signal handling on PowerPC/Linux [Ada] Use alternate stack for signal handling on PowerPC/Linux - - - - --- 2020-10-19 Pierre-Marie de Rodat New
[Ada] Crash in expression function defined in protected object [Ada] Crash in expression function defined in protected object - - - - --- 2020-10-19 Pierre-Marie de Rodat New
[Ada] Clarify protection offered by preconditions on Ada.Text_IO units [Ada] Clarify protection offered by preconditions on Ada.Text_IO units - - - - --- 2020-10-19 Pierre-Marie de Rodat New
[Ada] AI12-0170: Abstract subprogram calls in class-wide precond exprs [Ada] AI12-0170: Abstract subprogram calls in class-wide precond exprs - - - - --- 2020-10-19 Pierre-Marie de Rodat New
[Ada] AI12-0352: Early derivation and equality of untagged types [Ada] AI12-0352: Early derivation and equality of untagged types - - - - --- 2020-10-19 Pierre-Marie de Rodat New
[Ada] Reject use of Relaxed_Initialization on scalar/access param or result [Ada] Reject use of Relaxed_Initialization on scalar/access param or result - - - - --- 2020-10-19 Pierre-Marie de Rodat New
[Ada] ACATS 4.1R - Exception missed [Ada] ACATS 4.1R - Exception missed - - - - --- 2020-10-19 Pierre-Marie de Rodat New
[Ada] Do not replace bounds for packed arrays that depend on discriminants [Ada] Do not replace bounds for packed arrays that depend on discriminants - - - - --- 2020-10-19 Pierre-Marie de Rodat New
[Ada] No range check on fixed point to integer conversion [Ada] No range check on fixed point to integer conversion - - - - --- 2020-10-19 Pierre-Marie de Rodat New
[Ada] Refine type of a local variable [Ada] Refine type of a local variable - - - - --- 2020-10-19 Pierre-Marie de Rodat New
[Ada] Preelaborate rules not fully enforced [Ada] Preelaborate rules not fully enforced - - - - --- 2020-10-16 Pierre-Marie de Rodat New
[Ada] Avoid premature finalization of a function result [Ada] Avoid premature finalization of a function result - - - - --- 2020-10-16 Pierre-Marie de Rodat New
[Ada] Finalization of uninitialized object with build in place call [Ada] Finalization of uninitialized object with build in place call - - - - --- 2020-10-16 Pierre-Marie de Rodat New
[Ada] Relax too strong assertions [Ada] Relax too strong assertions - - - - --- 2020-10-16 Pierre-Marie de Rodat New
[Ada] Detect qualified type names for AI12-0027 [Ada] Detect qualified type names for AI12-0027 - - - - --- 2020-10-16 Pierre-Marie de Rodat New
[Ada] Improvements to implementation of Ada_2020 attribute Reduce [Ada] Improvements to implementation of Ada_2020 attribute Reduce - - - - --- 2020-10-16 Pierre-Marie de Rodat New
[Ada] Ada2020: parsing of qualified exprs with new agg syntax [Ada] Ada2020: parsing of qualified exprs with new agg syntax - - - - --- 2020-10-16 Pierre-Marie de Rodat New
[Ada] Clean up in system.ads dependencies during compiler build [Ada] Clean up in system.ads dependencies during compiler build - - - - --- 2020-10-16 Pierre-Marie de Rodat New
[Ada] Constants no longer synchronised if they are access-to-variable [Ada] Constants no longer synchronised if they are access-to-variable - - - - --- 2020-10-16 Pierre-Marie de Rodat New
[Ada] Legal actual type with inherited discriminants rejected in instantiation [Ada] Legal actual type with inherited discriminants rejected in instantiation - - - - --- 2020-10-16 Pierre-Marie de Rodat New
[Ada] Implement expansion of CUDA_Execute pragma [Ada] Implement expansion of CUDA_Execute pragma - - - - --- 2020-10-16 Pierre-Marie de Rodat New
[Ada] Remove non-ASCII character [Ada] Remove non-ASCII character - - - - --- 2020-10-16 Pierre-Marie de Rodat New
[Ada] Attribute Img on derived types [Ada] Attribute Img on derived types - - - - --- 2020-10-16 Pierre-Marie de Rodat New
[Ada] Attribute Img on derived types [Ada] Attribute Img on derived types - - - - --- 2020-10-16 Pierre-Marie de Rodat New
[Ada] Ada2020: AI12-0129 Make protected objects more protecting [Ada] Ada2020: AI12-0129 Make protected objects more protecting - - - - --- 2020-10-16 Pierre-Marie de Rodat New
[Ada] Unique itypes names for unconstrained array object declaration [Ada] Unique itypes names for unconstrained array object declaration - - - - --- 2020-10-16 Pierre-Marie de Rodat New
[Ada] SPARK: update for effectively volatile types and objects [Ada] SPARK: update for effectively volatile types and objects - - - - --- 2020-10-16 Pierre-Marie de Rodat New
[Ada] Spurious visibility error on Declare_Expression with renames [Ada] Spurious visibility error on Declare_Expression with renames - - - - --- 2020-10-16 Pierre-Marie de Rodat New
[Ada] Reduce use of primary stack on string concatenation [Ada] Reduce use of primary stack on string concatenation - - - - --- 2020-10-16 Pierre-Marie de Rodat New
[Ada] GNAT-LLVM unnesting issues in elaboration code [Ada] GNAT-LLVM unnesting issues in elaboration code - - - - --- 2020-10-16 Pierre-Marie de Rodat New
[Ada] Cleanup defensive guards for Null_Exclusion_Present [Ada] Cleanup defensive guards for Null_Exclusion_Present - - - - --- 2020-10-15 Pierre-Marie de Rodat New
[Ada] Spurious visibility on private with package [Ada] Spurious visibility on private with package - - - - --- 2020-10-15 Pierre-Marie de Rodat New
[Ada] Fix access to uninitialized global variable when emitting error [Ada] Fix access to uninitialized global variable when emitting error - - - - --- 2020-10-15 Pierre-Marie de Rodat New
[Ada] Crash on subtype of fixed-point type [Ada] Crash on subtype of fixed-point type - - - - --- 2020-10-15 Pierre-Marie de Rodat New
[Ada] Ada2020: AI12-0003 Specifying the standard storage pool [Ada] Ada2020: AI12-0003 Specifying the standard storage pool - - - - --- 2020-10-15 Pierre-Marie de Rodat New
[Ada] Wrong use of Scope_Depth_Value [Ada] Wrong use of Scope_Depth_Value - - - - --- 2020-10-15 Pierre-Marie de Rodat New
[Ada] Get finalization right when a function returns a function call [Ada] Get finalization right when a function returns a function call - - - - --- 2020-10-15 Pierre-Marie de Rodat New
[Ada] Ada_2020: Add aspect Aggregate to standard container units [Ada] Ada_2020: Add aspect Aggregate to standard container units - - - - --- 2020-10-15 Pierre-Marie de Rodat New
[Ada] Warn on unknown aspect [Ada] Warn on unknown aspect - - - - --- 2020-10-15 Pierre-Marie de Rodat New
[Ada] Add support for compile time evaluation of Shift_Right_Arithmetic [Ada] Add support for compile time evaluation of Shift_Right_Arithmetic - - - - --- 2020-10-15 Pierre-Marie de Rodat New
[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
« 1 2 ... 15 16 17 … 30 31 »