Show patches with: Submitter = Pierre-Marie de Rodat       |    State = Action Required       |    Archived = No       |   1620 patches
« 1 2 3 416 17 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] New flag Transform_Function_Array [Ada] New flag Transform_Function_Array - - - - --- 2020-10-27 Pierre-Marie de Rodat New
[Ada] Multidimensional arrays with Iterated_Component_Associations [Ada] Multidimensional arrays with Iterated_Component_Associations - - - - --- 2020-10-27 Pierre-Marie de Rodat New
[Ada] Warnings on g-spogwa.adb [Ada] Warnings on g-spogwa.adb - - - - --- 2020-10-27 Pierre-Marie de Rodat New
[Ada] Fix GNATprove support for iterated_component_associations [Ada] Fix GNATprove support for iterated_component_associations - - - - --- 2020-10-27 Pierre-Marie de Rodat New
[Ada] Remove Digits_From_Size and Width_From_Size [Ada] Remove Digits_From_Size and Width_From_Size - - - - --- 2020-10-27 Pierre-Marie de Rodat New
[Ada] CUDA: fix CUDA_Execute not working with aggregates [Ada] CUDA: fix CUDA_Execute not working with aggregates - - - - --- 2020-10-23 Pierre-Marie de Rodat New
[Ada] Decorate iterated_component_association in SPARK expansion [Ada] Decorate iterated_component_association in SPARK expansion - - - - --- 2020-10-23 Pierre-Marie de Rodat New
[Ada] Fix crash in SPARK on array delta_aggregate with subtype_indication [Ada] Fix crash in SPARK on array delta_aggregate with subtype_indication - - - - --- 2020-10-23 Pierre-Marie de Rodat New
[Ada] Error when closing c_stream [Ada] Error when closing c_stream - - - - --- 2020-10-23 Pierre-Marie de Rodat New
[Ada] Missing detection of unused with_clause [Ada] Missing detection of unused with_clause - - - - --- 2020-10-23 Pierre-Marie de Rodat New
[Ada] Do not use Long_Long_Long_Integer'Image with pragma Discard_Names [Ada] Do not use Long_Long_Long_Integer'Image with pragma Discard_Names - - - - --- 2020-10-23 Pierre-Marie de Rodat New
[Ada] CUDA: Use internal types instead of public ones [Ada] CUDA: Use internal types instead of public ones - - - - --- 2020-10-23 Pierre-Marie de Rodat New
[Ada] Crash on expression function and access type [Ada] Crash on expression function and access type - - - - --- 2020-10-23 Pierre-Marie de Rodat New
[Ada] Ignore container types for aggregates if not in Ada_2020 [Ada] Ignore container types for aggregates if not in Ada_2020 - - - - --- 2020-10-23 Pierre-Marie de Rodat New
[Ada] Reject illegal syntax in pragma Contract_Cases [Ada] Reject illegal syntax in pragma Contract_Cases - - - - --- 2020-10-23 Pierre-Marie de Rodat New
[Ada] Prevent copying uninitialized array with address clause [Ada] Prevent copying uninitialized array with address clause - - - - --- 2020-10-23 Pierre-Marie de Rodat New
[Ada] Fix logic in C_Select under mingw [Ada] Fix logic in C_Select under mingw - - - - --- 2020-10-23 Pierre-Marie de Rodat New
[Ada] Spurious errors on tagged types with renamed subprograms [Ada] Spurious errors on tagged types with renamed subprograms - - - - --- 2020-10-23 Pierre-Marie de Rodat New
[Ada] Clean up in writing of ALI files [Ada] Clean up in writing of ALI files - - - - --- 2020-10-23 Pierre-Marie de Rodat New
[Ada] Sync code for external properties with SPARK RM [Ada] Sync code for external properties with SPARK RM - - - - --- 2020-10-23 Pierre-Marie de Rodat New
[Ada] Always enable the support for 128-bit integer types on 64-bit platforms [Ada] Always enable the support for 128-bit integer types on 64-bit platforms - - - - --- 2020-10-23 Pierre-Marie de Rodat New
[Ada] Better error for illegal call to abstract operation in instantiations [Ada] Better error for illegal call to abstract operation in instantiations - - - - --- 2020-10-23 Pierre-Marie de Rodat New
[Ada] Fix default value for re-analysis of external property pragmas [Ada] Fix default value for re-analysis of external property pragmas - - - - --- 2020-10-23 Pierre-Marie de Rodat New
[Ada] Iterative patch for accessibility cleanup [Ada] Iterative patch for accessibility cleanup - - - - --- 2020-10-23 Pierre-Marie de Rodat New
[Ada] Fix scope of index parameter inside a delta aggregate [Ada] Fix scope of index parameter inside a delta aggregate - - - - --- 2020-10-23 Pierre-Marie de Rodat New
[Ada] CUDA: discover runtime types instead of hard-coding [Ada] CUDA: discover runtime types instead of hard-coding - - - - --- 2020-10-22 Pierre-Marie de Rodat New
[Ada] AI12-0211: Consistency of inherited nonoverridable aspects [Ada] AI12-0211: Consistency of inherited nonoverridable aspects - - - - --- 2020-10-22 Pierre-Marie de Rodat New
[Ada] Update the head comment of Check_Compile_Time_Size [Ada] Update the head comment of Check_Compile_Time_Size - - - - --- 2020-10-22 Pierre-Marie de Rodat New
[Ada] Implement AI12-0280's interactions with container aggregates [Ada] Implement AI12-0280's interactions with container aggregates - - - - --- 2020-10-22 Pierre-Marie de Rodat New
[Ada] Get rid of useless if-then-else in Exp_Fixd.Fpt_Value [Ada] Get rid of useless if-then-else in Exp_Fixd.Fpt_Value - - - - --- 2020-10-22 Pierre-Marie de Rodat New
[Ada] AI12-0307: uniform resolution rules for aggregates [Ada] AI12-0307: uniform resolution rules for aggregates - - - - --- 2020-10-22 Pierre-Marie de Rodat New
[Ada] Refactor appending to possibly empty lists [Ada] Refactor appending to possibly empty lists - - - - --- 2020-10-22 Pierre-Marie de Rodat New
[Ada] Build support units for 128-bit integer types on 64-bit platforms [Ada] Build support units for 128-bit integer types on 64-bit platforms - - - - --- 2020-10-22 Pierre-Marie de Rodat New
[Ada] Fix error message for import aspect [Ada] Fix error message for import aspect - - - - --- 2020-10-22 Pierre-Marie de Rodat New
[Ada] Implement AI12-0030: Stream attribute availability [Ada] Implement AI12-0030: Stream attribute availability - - - - --- 2020-10-22 Pierre-Marie de Rodat New
[Ada] Fix transformation of Suppress aspect into pragma [Ada] Fix transformation of Suppress aspect into pragma - - - - --- 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] Reduce scope of local variables for detecting extra WITH clauses [Ada] Reduce scope of local variables for detecting extra WITH clauses - - - - --- 2020-10-22 Pierre-Marie de Rodat New
[Ada] AI12-0095 Formal types and Constrained Partial Views [Ada] AI12-0095 Formal types and Constrained Partial Views - - - - --- 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] Add No_Implicit_Task_Allocations and No_Implicit_PO_Allocations to Jorvik [Ada] Add No_Implicit_Task_Allocations and No_Implicit_PO_Allocations to Jorvik - - - - --- 2020-10-22 Pierre-Marie de Rodat New
[Ada] Ada_2020: ongoing work for aggregates for bounded containers [Ada] Ada_2020: ongoing work for aggregates for bounded containers - - - - --- 2020-10-22 Pierre-Marie de Rodat New
[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] 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 parser not detecting casing issues in keywords [Ada] Fix parser not detecting casing issues in keywords - - - - --- 2020-10-22 Pierre-Marie de Rodat New
[Ada] Fix oversight in Eval_Attribute for Bit_Position [Ada] Fix oversight in Eval_Attribute for Bit_Position - - - - --- 2020-10-22 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] 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] 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 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] 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] 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] 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] 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 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] 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 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] 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 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] Make minimum accessibility level a constant object [Ada] Make minimum accessibility level a constant object - - - - --- 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] Incorrect associations for extra accessibility parameters [Ada] Incorrect associations for extra accessibility parameters - - - - --- 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] Improve precision of Ada.Directories.Modification_Time [Ada] Improve precision of Ada.Directories.Modification_Time - - - - --- 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] 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] 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] 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] Make attribute Update an obsolescent feature [Ada] Make attribute Update an obsolescent feature - - - - --- 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] 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] 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] Refine result type of Get_Accessibility [Ada] Refine result type of Get_Accessibility - - - - --- 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] 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] 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] 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] 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] Crash on precondition, discriminant and protected objects [Ada] Crash on precondition, discriminant and protected objects - - - - --- 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] 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] 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] 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] ACATS 4.1R - Exception missed [Ada] ACATS 4.1R - Exception missed - - - - --- 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] 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] 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] Remove excessive guards in building predicate functions [Ada] Remove excessive guards in building predicate functions - - - - --- 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] Missing check on array concatenation [Ada] Missing check on array concatenation - - - - --- 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] Expanded names in ghost assignments [Ada] Expanded names in ghost assignments - - - - --- 2020-10-19 Pierre-Marie de Rodat New
« 1 2 3 416 17 »