Show patches with: Submitter = Pierre-Marie de Rodat       |    State = Action Required       |    Archived = No       |   3078 patches
« 1 2 ... 4 5 6 … 30 31 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Check declare and qualified expressions for unset references [Ada] Check declare and qualified expressions for unset references - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Check if- and case-expressions for unset references [Ada] Check if- and case-expressions for unset references - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Accept Structural in aspect Subprogram_Variant and pragma Loop_Variant [Ada] Accept Structural in aspect Subprogram_Variant and pragma Loop_Variant - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Fix hiding of user-defined operator that is not a homograph [Ada] Fix hiding of user-defined operator that is not a homograph - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Fix oversight for case expression in Eval_Integer_Literal [Ada] Fix oversight for case expression in Eval_Integer_Literal - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Avoid repeated conversions from Int to Char_Code [Ada] Avoid repeated conversions from Int to Char_Code - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Reject numeric literals with too big exponents [Ada] Reject numeric literals with too big exponents - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Replace variables with constants in expanded code for task names [Ada] Replace variables with constants in expanded code for task names - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Fix incorrect range computation [Ada] Fix incorrect range computation - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Failure compiling "for ... of" loop over a slice [Ada] Failure compiling "for ... of" loop over a slice - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Fix comment about building names in task arrays [Ada] Fix comment about building names in task arrays - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Simplify conversion from Character to Char_Code [Ada] Simplify conversion from Character to Char_Code - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Suggest use of First_Valid/Last_Valid on type with static predicate [Ada] Suggest use of First_Valid/Last_Valid on type with static predicate - - - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] Raise Constraint_Error when converting negative values to Char_Code [Ada] Raise Constraint_Error when converting negative values to Char_Code - - - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] Simplify conversions from Uint to Char_Code [Ada] Simplify conversions from Uint to Char_Code - - - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] Fix invalid memory access on finalization of class-wide type [Ada] Fix invalid memory access on finalization of class-wide type - - - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] Fully qualify name in JSON representation info [Ada] Fully qualify name in JSON representation info - - - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] Remove extra space around binary operators [Ada] Remove extra space around binary operators - - - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] Remove CodePeer annotations for pragma Loop_Variant [Ada] Remove CodePeer annotations for pragma Loop_Variant - - - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] Prevent inlining-for-proof for calls inside ELSIF condition [Ada] Prevent inlining-for-proof for calls inside ELSIF condition - - - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] Remove redundant guards for empty list [Ada] Remove redundant guards for empty list - - - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] Fix missing error on actual for In/Out parameter [Ada] Fix missing error on actual for In/Out parameter - - - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] Fix indentation of "Start of processing for ..." labels [Ada] Fix indentation of "Start of processing for ..." labels - - - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] Improve error messages to include full package name [Ada] Improve error messages to include full package name - - - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] Set Error_Msg_Warn before use of << insertion [Ada] Set Error_Msg_Warn before use of << insertion - - - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] Properly handle unprefixed references to components [Ada] Properly handle unprefixed references to components - - - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] Fix package installation for private array type of private element [Ada] Fix package installation for private array type of private element - - - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] Fix internal error on declaration of derived discriminated record type [Ada] Fix internal error on declaration of derived discriminated record type - - - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] Fix visibility inside declare_expression [Ada] Fix visibility inside declare_expression - - - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] Fix check for looking for user defined literals [Ada] Fix check for looking for user defined literals - - - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] Refine description of SPARK with static Boolean expressions [Ada] Refine description of SPARK with static Boolean expressions - - - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] Allow Big_Integer in loop and subprogram variants [Ada] Allow Big_Integer in loop and subprogram variants - - - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] Add utility to preanalyze assert expression without forcing its type [Ada] Add utility to preanalyze assert expression without forcing its type - - - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] Use "aspect" instead of "pragma" in warnings [Ada] Use "aspect" instead of "pragma" in warnings - - - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] vx21.07: stack-checking on ppc [Ada] vx21.07: stack-checking on ppc - - - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] Remove repeated analysis of attribute prefixes [Ada] Remove repeated analysis of attribute prefixes - - - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] Remove redundant call to Set_Etype for attribute Bit_Order [Ada] Remove redundant call to Set_Etype for attribute Bit_Order - - - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] Remove doubly-negated tests for empty lists [Ada] Remove doubly-negated tests for empty lists - - - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] Remove unused parameter from __gnat_kill [Ada] Remove unused parameter from __gnat_kill - - - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] Stabilize exit code on close process [Ada] Stabilize exit code on close process - - - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] Revert r12-6599 (Fix up handling of ghost units [PR104027]) [Ada] Revert r12-6599 (Fix up handling of ghost units [PR104027]) - - - - --- 2022-04-27 Pierre-Marie de Rodat New
[Ada] doc/share/conf.py: fix string handling [Ada] doc/share/conf.py: fix string handling - - - - --- 2022-01-31 Pierre-Marie de Rodat New
[Ada] Fix up handling of ghost units PR104027 #2 [Ada] Fix up handling of ghost units PR104027 #2 - - - - --- 2022-01-31 Pierre-Marie de Rodat New
[Ada] Relax assertion on designated types for equality operators [Ada] Relax assertion on designated types for equality operators - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Include generic instance names in non-visible entity errors [Ada] Include generic instance names in non-visible entity errors - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Accept square brackets for expression functions [Ada] Accept square brackets for expression functions - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Task arrays trigger spurious unreferenced warnings [Ada] Task arrays trigger spurious unreferenced warnings - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Remove unreferenced CCG-specific routine Insert_Declaration [Ada] Remove unreferenced CCG-specific routine Insert_Declaration - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Avoid redundant checks for empty lists [Ada] Avoid redundant checks for empty lists - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Remove name constant used by GNATprove but not by GNAT [Ada] Remove name constant used by GNATprove but not by GNAT - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Reduce scope of declare block in analysis of allocators [Ada] Reduce scope of declare block in analysis of allocators - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Balance parentheses in comments about allocators [Ada] Balance parentheses in comments about allocators - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Remove unreferenced name constants [Ada] Remove unreferenced name constants - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Adapt proof of System.Arith_Double [Ada] Adapt proof of System.Arith_Double - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Deconstruct a VMS utility routine which is only used by GNATprove [Ada] Deconstruct a VMS utility routine which is only used by GNATprove - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Recover proof of Ada.Strings.Fixed with assertions [Ada] Recover proof of Ada.Strings.Fixed with assertions - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] PR ada/79724 [Ada] PR ada/79724 - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Remove unnecessary block in code for expansion of allocators [Ada] Remove unnecessary block in code for expansion of allocators - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Fix incomplete debug info for derived packed array type [Ada] Fix incomplete debug info for derived packed array type - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Reuse Make_Temporary where possible [Ada] Reuse Make_Temporary where possible - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Fix check for implicit allocation of dynamic objects [Ada] Fix check for implicit allocation of dynamic objects - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Proof of unit System.Case_Util [Ada] Proof of unit System.Case_Util - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Adapt ghost code to maintain proof [Ada] Adapt ghost code to maintain proof - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Remove redundant initialization of Test_And_Set_Flag object [Ada] Remove redundant initialization of Test_And_Set_Flag object - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Tune inconsistent message about fixed-lower-bound and -gnatX [Ada] Tune inconsistent message about fixed-lower-bound and -gnatX - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Conformance error on protected subp with anonymous-access-to-tagged formal [Ada] Conformance error on protected subp with anonymous-access-to-tagged formal - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Proof of System.Vectors.Boolean_Operations [Ada] Proof of System.Vectors.Boolean_Operations - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Remove extra space in single object declarations [Ada] Remove extra space in single object declarations - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Code cleanups [Ada] Code cleanups - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Remove warnings-as-errors about constraints error in dead code [Ada] Remove warnings-as-errors about constraints error in dead code - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Escalate pre-continuation messages from warnings to errors [Ada] Escalate pre-continuation messages from warnings to errors - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Document LLVM-specific flags [Ada] Document LLVM-specific flags - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Use atomic builtins for atomic counters on x86 (32bit) [Ada] Use atomic builtins for atomic counters on x86 (32bit) - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Fix bogus error on call to subprogram with incomplete profile [Ada] Fix bogus error on call to subprogram with incomplete profile - - - - --- 2022-01-10 Pierre-Marie de Rodat New
[Ada] Fix internal error on unchecked union with component clauses [Ada] Fix internal error on unchecked union with component clauses - - - - --- 2022-01-10 Pierre-Marie de Rodat New
[Ada] Make pragma Inspection_Point work for constants [Ada] Make pragma Inspection_Point work for constants - - - - --- 2022-01-10 Pierre-Marie de Rodat New
[Ada] Switch from __sync to __atomic builtins for Lock_Free_Try_Write [Ada] Switch from __sync to __atomic builtins for Lock_Free_Try_Write - - - - --- 2022-01-10 Pierre-Marie de Rodat New
[Ada] Remove CodePeer annotations for pragma Loop_Variant [Ada] Remove CodePeer annotations for pragma Loop_Variant - - - - --- 2022-01-10 Pierre-Marie de Rodat New
[Ada] Disable expansion of pragma Loop_Variant in CodePeer mode [Ada] Disable expansion of pragma Loop_Variant in CodePeer mode - - - - --- 2022-01-10 Pierre-Marie de Rodat New
[Ada] Adjust the alignment to the size for bit-packed arrays [Ada] Adjust the alignment to the size for bit-packed arrays - - - - --- 2022-01-10 Pierre-Marie de Rodat New
[Ada] Switch from __sync to __atomic builtins for atomic counters [Ada] Switch from __sync to __atomic builtins for atomic counters - - - - --- 2022-01-10 Pierre-Marie de Rodat New
[Ada] Fix error on too large size clause for bit-packed array [Ada] Fix error on too large size clause for bit-packed array - - - - --- 2022-01-10 Pierre-Marie de Rodat New
[Ada] Task arrays trigger spurious unreferenced warnings [Ada] Task arrays trigger spurious unreferenced warnings - - - - --- 2022-01-10 Pierre-Marie de Rodat New
[Ada] Fix the check of the 'Old prefix [Ada] Fix the check of the 'Old prefix - - - - --- 2022-01-07 Pierre-Marie de Rodat New
[Ada] Fix uses of pragma Unreferenced in MinGW runtime unit [Ada] Fix uses of pragma Unreferenced in MinGW runtime unit - - - - --- 2022-01-07 Pierre-Marie de Rodat New
[Ada] Fix layout of pragma Inline in generated AST unit [Ada] Fix layout of pragma Inline in generated AST unit - - - - --- 2022-01-07 Pierre-Marie de Rodat New
[Ada] Fix style in expansion of multi-dimensional array aggregates [Ada] Fix style in expansion of multi-dimensional array aggregates - - - - --- 2022-01-07 Pierre-Marie de Rodat New
[Ada] More default initialization for multi-dim array aggregates [Ada] More default initialization for multi-dim array aggregates - - - - --- 2022-01-07 Pierre-Marie de Rodat New
[Ada] Crash in class-wide pre/postconditions [Ada] Crash in class-wide pre/postconditions - - - - --- 2022-01-07 Pierre-Marie de Rodat New
[Ada] Spurious error caused by order of interfaces in full view [Ada] Spurious error caused by order of interfaces in full view - - - - --- 2022-01-07 Pierre-Marie de Rodat New
[Ada] Fix __gnat_kill on Windows [Ada] Fix __gnat_kill on Windows - - - - --- 2022-01-07 Pierre-Marie de Rodat New
[Ada] Fix a couple of issues with pragma Inspection_Point [Ada] Fix a couple of issues with pragma Inspection_Point - - - - --- 2022-01-07 Pierre-Marie de Rodat New
[Ada] Remove repeated routines for printing AST in Mixed_Case [Ada] Remove repeated routines for printing AST in Mixed_Case - - - - --- 2022-01-07 Pierre-Marie de Rodat New
[Ada] Simplify traversal in hooking of transient scopes [Ada] Simplify traversal in hooking of transient scopes - - - - --- 2022-01-07 Pierre-Marie de Rodat New
[Ada] Remove extra space before THEN keywords [Ada] Remove extra space before THEN keywords - - - - --- 2022-01-07 Pierre-Marie de Rodat New
[Ada] Fix exit status of GNAT.Expect.Close call on running process [Ada] Fix exit status of GNAT.Expect.Close call on running process - - - - --- 2022-01-07 Pierre-Marie de Rodat New
[Ada] Remove explicit expansion of block with general case statement [Ada] Remove explicit expansion of block with general case statement - - - - --- 2022-01-07 Pierre-Marie de Rodat New
[Ada] Update -gnatwr doc for import of parent package [Ada] Update -gnatwr doc for import of parent package - - - - --- 2022-01-07 Pierre-Marie de Rodat New
[Ada] Fix comment about subprogram unnesting and unconstrained arrays [Ada] Fix comment about subprogram unnesting and unconstrained arrays - - - - --- 2022-01-07 Pierre-Marie de Rodat New
[Ada] Fix inconsistent quoting in messages about compile-time errors [Ada] Fix inconsistent quoting in messages about compile-time errors - - - - --- 2022-01-07 Pierre-Marie de Rodat New
« 1 2 ... 4 5 6 … 30 31 »