Show patches with: Submitter = Marc Poulhiès       |    State = Action Required       |   463 patches
« 1 2 … 2 3 4 5 »
Patch Series A/R/T S/W/F Date Submitter Delegate State
[COMMITTED] ada: Flip warning suppression routine to positive meaning [COMMITTED] ada: Flip warning suppression routine to positive meaning - - - -1- 2022-11-07 Marc Poulhiès Unresolved
[COMMITTED] ada: Cleanup detection of code within generic instances [COMMITTED] ada: Cleanup detection of code within generic instances - - - -1- 2022-11-07 Marc Poulhiès Unresolved
[COMMITTED] ada: Remove redundant suppression for non-modified IN OUT parameters [COMMITTED] ada: Remove redundant suppression for non-modified IN OUT parameters - - - -1- 2022-11-07 Marc Poulhiès Unresolved
[COMMITTED] ada: Reject boxes in delta array aggregates [COMMITTED] ada: Reject boxes in delta array aggregates - - - -1- 2022-11-07 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Allow reuse of Enclosing_Declaration_Or_Statement by GNATprove [COMMITTED] ada: Allow reuse of Enclosing_Declaration_Or_Statement by GNATprove - - - -1- 2022-11-07 Marc Poulhiès Unresolved
[COMMITTED] ada: Clean up unnecesary call in resolution of overloaded expressions [COMMITTED] ada: Clean up unnecesary call in resolution of overloaded expressions - - - -1- 2022-11-07 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Clean up code for visibility of generic actuals [COMMITTED] ada: Clean up code for visibility of generic actuals - - - -1- 2022-11-07 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Cleanup comment about mapping parameters when inlining [COMMITTED] ada: Cleanup comment about mapping parameters when inlining - - - -1- 2022-11-07 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Put_Image aspect spec incorrectly not inherited [COMMITTED] ada: Put_Image aspect spec incorrectly not inherited - - - -1- 2022-11-07 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Tune layout after switching to Ada 2022 aggregate syntax [COMMITTED] ada: Tune layout after switching to Ada 2022 aggregate syntax - - - -1- 2022-11-07 Marc Poulhiès Unresolved
[COMMITTED] ada: Cleanup WITH clauses after switching from obsolescent Ada 83 unit [COMMITTED] ada: Cleanup WITH clauses after switching from obsolescent Ada 83 unit - - - -1- 2022-11-07 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Create operator nodes in functional style [COMMITTED] ada: Create operator nodes in functional style - - - -1- 2022-11-07 Marc Poulhiès Unresolved
[COMMITTED] ada: Don't reuse operator nodes in expansion [COMMITTED] ada: Don't reuse operator nodes in expansion - - - -1- 2022-11-07 Marc Poulhiès Unresolved
[COMMITTED] ada: Simplify detection of pragmas in the context items [COMMITTED] ada: Simplify detection of pragmas in the context items - - - -1- 2022-11-07 Marc Poulhiès Unresolved
[COMMITTED] ada: Reject misplaced pragma Obsolescent [COMMITTED] ada: Reject misplaced pragma Obsolescent - - - -1- 2022-11-07 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Fix missing tag for with of an obsolescent function [COMMITTED] ada: Fix missing tag for with of an obsolescent function - - - -1- 2022-11-07 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Remove useless validity suppression for attribute Input [COMMITTED] ada: Remove useless validity suppression for attribute Input - - - -1- 2022-11-07 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Fix for validity checks combined with aliasing checks [COMMITTED] ada: Fix for validity checks combined with aliasing checks - - - -1- 2022-11-04 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix couple of issues with arrays indexed by enumeration type [COMMITTED] ada: Fix couple of issues with arrays indexed by enumeration type - - - -1- 2022-11-04 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix typo in comment referring to pragma Restrictions [COMMITTED] ada: Fix typo in comment referring to pragma Restrictions - - - -1- 2022-11-04 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Cleanup code for warnings about unreferenced formal parameters [COMMITTED] ada: Cleanup code for warnings about unreferenced formal parameters - - - -1- 2022-11-04 Marc Poulhiès Unresolved
[COMMITTED] ada: Cleanup code for unreferenced variables [COMMITTED] ada: Cleanup code for unreferenced variables - - - -1- 2022-11-04 Marc Poulhiès Unresolved
[COMMITTED] ada: Cleanup code for warnings about unset references [COMMITTED] ada: Cleanup code for warnings about unset references - - - -1- 2022-11-04 Marc Poulhiès Unresolved
[COMMITTED] ada: Static intrinsic functions are a core language extension. [COMMITTED] ada: Static intrinsic functions are a core language extension. - - - -1- 2022-11-04 Marc Poulhiès Unresolved
[COMMITTED] ada: Remove redundant calls in handling of aspect specifications [COMMITTED] ada: Remove redundant calls in handling of aspect specifications - - - -1- 2022-11-04 Marc Poulhiès Unresolved
[COMMITTED] ada: Flag unsupported dispatching constructor calls [COMMITTED] ada: Flag unsupported dispatching constructor calls - - - -1- 2022-11-04 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Avoid repeated iteration over private protected components [COMMITTED] ada: Avoid repeated iteration over private protected components - - - -1- 2022-11-04 Marc Poulhiès Unresolved
[COMMITTED] ada: Cleanup clearing flags on package variables [COMMITTED] ada: Cleanup clearing flags on package variables - - - -1- 2022-11-04 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Fix various typos in GNAT User's Guide [COMMITTED] ada: Fix various typos in GNAT User's Guide - - - -1- 2022-11-04 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix loop unnesting issue. [COMMITTED] ada: Fix loop unnesting issue. - - - -1- 2022-11-04 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix repeated killing of private entity values [COMMITTED] ada: Fix repeated killing of private entity values - - - -1- 2022-11-04 Marc Poulhiès Unresolved
[COMMITTED] ada: Simplify detection of controlling formals [COMMITTED] ada: Simplify detection of controlling formals - - - -1- 2022-11-04 Marc Poulhiès Unresolved
[COMMITTED] ada: Skip dynamic interface conversion under configurable runtime [COMMITTED] ada: Skip dynamic interface conversion under configurable runtime - - - -1- 2022-11-04 Marc Poulhiès Unresolved
[COMMITTED] ada: Skip dynamic interface conversion under configurable runtime [COMMITTED] ada: Skip dynamic interface conversion under configurable runtime - - - -1- 2022-11-04 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix typo [COMMITTED] ada: Fix typo - - - -1- 2022-11-04 Marc Poulhiès Unresolved
[COMMITTED] ada: Remove sa_messages [COMMITTED] ada: Remove sa_messages - - - -1- 2022-11-04 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Refactor: replace uses of `not Present(X)` with `No (X)` [COMMITTED] ada: Refactor: replace uses of `not Present(X)` with `No (X)` - - - -1- 2022-11-04 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix various typos in node and entity description comments [COMMITTED] ada: Fix various typos in node and entity description comments - - - -1- 2022-11-04 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix various typos in GNAT RM [COMMITTED] ada: Fix various typos in GNAT RM - - - -1- 2022-11-04 Marc Poulhiès Unresolved
[COMMITTED] ada: Improve efficiency of scope stack restoration [COMMITTED] ada: Improve efficiency of scope stack restoration - - - -1- 2022-11-04 Marc Poulhiès Unresolved
[COMMITTED] ada: Small editorial changes to documentation comments [COMMITTED] ada: Small editorial changes to documentation comments - - - -1- 2022-11-04 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Allow enabling a restricted set of language extensions. [COMMITTED] ada: Allow enabling a restricted set of language extensions. - - - -1- 2022-11-04 Marc Poulhiès Unresolved
[COMMITTED] ada: Generate missing object decls for adainit/adafinal registration calls [COMMITTED] ada: Generate missing object decls for adainit/adafinal registration calls - - - -1- 2022-11-04 Marc Poulhiès Unresolved
[COMMITTED] ada: Support lock-free protected objects with pragma Initialize_Scalars [COMMITTED] ada: Support lock-free protected objects with pragma Initialize_Scalars - - - -1- 2022-11-04 Marc Poulhiès Unresolved
[COMMITTED] ada: Remove VxWorks 6 and VxWorks 653 2.x content from the UGX [COMMITTED] ada: Remove VxWorks 6 and VxWorks 653 2.x content from the UGX - - - -1- 2022-11-04 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Reject expanded global names in lock-free protected objects [COMMITTED] ada: Reject expanded global names in lock-free protected objects - - - -1- 2022-11-04 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Generate host-side CUDA_Register_Function calls for device's adainit/adafinal [COMMITTED] ada: Generate host-side CUDA_Register_Function calls for device's adainit/adafinal - - - -1- 2022-11-04 Marc Poulhiès Unresolved
[COMMITED] ada: Implementation of support for storage models in gigi [COMMITED] ada: Implementation of support for storage models in gigi - - - --- 2022-10-06 Marc Poulhiès New
[COMMITED] ada: Minor potential bug in sem_ch6.adb [COMMITED] ada: Minor potential bug in sem_ch6.adb - - - --- 2022-10-06 Marc Poulhiès New
[COMMITED] ada: Reject conditional goto in lock-free protected subprograms [COMMITED] ada: Reject conditional goto in lock-free protected subprograms - - - --- 2022-10-06 Marc Poulhiès New
[COMMITED] ada: Cleanup related to lock-free protected subprograms [COMMITED] ada: Cleanup related to lock-free protected subprograms - - - --- 2022-10-06 Marc Poulhiès New
[COMMITED] ada: hardened conditionals: exemplify codegen changes [COMMITED] ada: hardened conditionals: exemplify codegen changes - - - --- 2022-10-06 Marc Poulhiès New
[COMMITED] ada: hardened booleans: exemplify codegen changes [COMMITED] ada: hardened booleans: exemplify codegen changes - - - --- 2022-10-06 Marc Poulhiès New
[COMMITED] ada: stack scrubbing: exemplify codegen changes [COMMITED] ada: stack scrubbing: exemplify codegen changes - - - --- 2022-10-06 Marc Poulhiès New
[COMMITED] ada: Fix inserting of validity checks in lock-free protected subprograms [COMMITED] ada: Fix inserting of validity checks in lock-free protected subprograms - - - --- 2022-10-06 Marc Poulhiès New
[COMMITED] ada: Add C declarations for Storage Model support [COMMITED] ada: Add C declarations for Storage Model support - - - --- 2022-10-06 Marc Poulhiès New
[COMMITED] ada: Incorrect inferences drawn from if/elsif/while conditions with -gnatVo [COMMITED] ada: Incorrect inferences drawn from if/elsif/while conditions with -gnatVo - - - --- 2022-10-06 Marc Poulhiès New
[COMMITED] ada: Accessibility error incorrectly flagged on call within Pre'Class expression [COMMITED] ada: Accessibility error incorrectly flagged on call within Pre'Class expression - - - --- 2022-10-06 Marc Poulhiès New
[COMMITED] ada: Clean up slice-of-component optimization [COMMITED] ada: Clean up slice-of-component optimization - - - --- 2022-10-06 Marc Poulhiès New
[COMMITED] ada: Do not issue compiler warnings in GNATprove mode [COMMITED] ada: Do not issue compiler warnings in GNATprove mode - - - --- 2022-10-06 Marc Poulhiès New
[COMMITED] ada: Disable slice-of-component optimization in some cases [COMMITED] ada: Disable slice-of-component optimization in some cases - - - --- 2022-10-06 Marc Poulhiès New
[COMMITED] ada: Fix spurious warning on unreferenced refinement constituents [COMMITED] ada: Fix spurious warning on unreferenced refinement constituents - - - --- 2022-10-06 Marc Poulhiès New
[COMMITED] ada: Remove duplicated doc comment section [COMMITED] ada: Remove duplicated doc comment section - - - --- 2022-09-29 Marc Poulhiès New
[COMMITED] ada: Further tweak new expansion of contracts [COMMITED] ada: Further tweak new expansion of contracts - - - --- 2022-09-29 Marc Poulhiès New
[COMMITED] ada: Improve efficiency of slice-of-component assignment [COMMITED] ada: Improve efficiency of slice-of-component assignment - - - --- 2022-09-29 Marc Poulhiès New
[COMMITED] ada: Fix checking of Refined_State with nested package renamings [COMMITED] ada: Fix checking of Refined_State with nested package renamings - - - --- 2022-09-29 Marc Poulhiès New
[COMMITED] ada: Remove GNATmetric's documentation from GNAT's documentation [COMMITED] ada: Remove GNATmetric's documentation from GNAT's documentation - - - --- 2022-09-26 Marc Poulhiès New
[COMMITED] ada: Doc: rename Valid_Image to Valid_Value [COMMITED] ada: Doc: rename Valid_Image to Valid_Value - - - --- 2022-09-26 Marc Poulhiès New
[COMMITED] ada: Fix location of pragmas coming from aspects in top-level instances [COMMITED] ada: Fix location of pragmas coming from aspects in top-level instances - - - --- 2022-09-26 Marc Poulhiès New
[COMMITED] ada: Remove unreferenced Rtsfind entries [COMMITED] ada: Remove unreferenced Rtsfind entries - - - --- 2022-09-26 Marc Poulhiès New
[COMMITED] ada: Remove unreferenced C macro from OS constants template [COMMITED] ada: Remove unreferenced C macro from OS constants template - - - --- 2022-09-26 Marc Poulhiès New
[COMMITED] ada: Document Long_Long_Long_Size parameter for -gnateT [COMMITED] ada: Document Long_Long_Long_Size parameter for -gnateT - - - --- 2022-09-26 Marc Poulhiès New
[COMMITED] ada: Improve CUDA host-side and device-side binder support [COMMITED] ada: Improve CUDA host-side and device-side binder support - - - --- 2022-09-26 Marc Poulhiès New
[COMMITED] ada: Document support for the mold linker [COMMITED] ada: Document support for the mold linker - - - --- 2022-09-26 Marc Poulhiès New
[COMMITED] ada: Make Original_Aspect_Pragma_Name more precise [COMMITED] ada: Make Original_Aspect_Pragma_Name more precise - - - --- 2022-09-26 Marc Poulhiès New
[COMMITED] ada: Delay expansion of iterator specification in preanalysis [COMMITED] ada: Delay expansion of iterator specification in preanalysis - - - --- 2022-09-26 Marc Poulhiès New
[COMMITED] ada: Delay expansion of iterated component association [COMMITED] ada: Delay expansion of iterated component association - - - --- 2022-09-26 Marc Poulhiès New
[COMMITED] ada: Only reject volatile ghost objects when SPARK_Mode is On [COMMITED] ada: Only reject volatile ghost objects when SPARK_Mode is On - - - --- 2022-09-26 Marc Poulhiès New
[COMMITED] ada: Improve accessibility check generation [COMMITED] ada: Improve accessibility check generation - - - --- 2022-09-26 Marc Poulhiès New
[COMMITED] ada: Remove socket definitions for ancient MinGW [COMMITED] ada: Remove socket definitions for ancient MinGW - - - --- 2022-09-26 Marc Poulhiès New
[COMMITED] ada: Remove definition of MAXPATHLEN for ancient MinGW [COMMITED] ada: Remove definition of MAXPATHLEN for ancient MinGW - - - --- 2022-09-26 Marc Poulhiès New
[COMMITED] ada: Deconstruct build support for ancient MinGW [COMMITED] ada: Deconstruct build support for ancient MinGW - - - --- 2022-09-26 Marc Poulhiès New
[COMMITED] ada: Tune comment of routine for detecting junk names [COMMITED] ada: Tune comment of routine for detecting junk names - - - --- 2022-09-26 Marc Poulhiès New
[Ada] Fix immediate assertion failure with -gnatd.1 [Ada] Fix immediate assertion failure with -gnatd.1 - - - --- 2022-09-12 Marc Poulhiès New
[Ada] Storage_Error raised analyzing type with call in its range constraint [Ada] Storage_Error raised analyzing type with call in its range constraint - - - --- 2022-09-12 Marc Poulhiès New
[Ada] Improve CUDA host-side and device-side binder support [Ada] Improve CUDA host-side and device-side binder support - - - --- 2022-09-12 Marc Poulhiès New
[Ada] Sync documentation of junk names with code [Ada] Sync documentation of junk names with code - - - --- 2022-09-12 Marc Poulhiès New
[Ada] Reject 'Valid_Scalars on Unchecked_Union regardless of privacy [Ada] Reject 'Valid_Scalars on Unchecked_Union regardless of privacy - - - --- 2022-09-12 Marc Poulhiès New
[Ada] Improve CUDA host-side and device-side binder support [Ada] Improve CUDA host-side and device-side binder support - - - --- 2022-09-12 Marc Poulhiès New
[Ada] Temporary tweak new expansion of contracts [Ada] Temporary tweak new expansion of contracts - - - --- 2022-09-12 Marc Poulhiès New
[Ada] Special-case printing of SPARK_Mode in error messages [Ada] Special-case printing of SPARK_Mode in error messages - - - --- 2022-09-12 Marc Poulhiès New
[Ada] Justify false alarm from CodePeer analysis of GNAT [Ada] Justify false alarm from CodePeer analysis of GNAT - - - --- 2022-09-12 Marc Poulhiès New
[Ada] Cleanup routine for handling SPARK_Mode kinds [Ada] Cleanup routine for handling SPARK_Mode kinds - - - --- 2022-09-12 Marc Poulhiès New
[Ada] Accept explicit SPARK_Mode Auto as configuration pragma [Ada] Accept explicit SPARK_Mode Auto as configuration pragma - - - --- 2022-09-12 Marc Poulhiès New
[Ada] Reject use in SPARK of Asm intrinsics for code insertions [Ada] Reject use in SPARK of Asm intrinsics for code insertions - - - --- 2022-09-12 Marc Poulhiès New
[Ada] Internal error compiling formal instance of generic with Initial_Condition [Ada] Internal error compiling formal instance of generic with Initial_Condition - - - --- 2022-09-12 Marc Poulhiès New
[Ada] Fix validity checking on renamed Old attribute prefix [Ada] Fix validity checking on renamed Old attribute prefix - - - --- 2022-09-12 Marc Poulhiès New
[Ada] Fix oversight in implementation of unnesting [Ada] Fix oversight in implementation of unnesting - - - --- 2022-09-12 Marc Poulhiès New
[Ada] Syntax error in Ada 2022 array aggregate causes bug box [Ada] Syntax error in Ada 2022 array aggregate causes bug box - - - --- 2022-09-12 Marc Poulhiès New
[Ada] bugbox referencing INOX prefixed view of primitive op of modular type [Ada] bugbox referencing INOX prefixed view of primitive op of modular type - - - --- 2022-09-12 Marc Poulhiès New
« 1 2 … 2 3 4 5 »