Show patches with: Archived = No       |   127515 patches
« 1 2 ... 361 362 363 … 1275 1276 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[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] Adapt ghost code to maintain proof [Ada] Adapt ghost code to maintain proof - - - - --- 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] 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] Reuse Make_Temporary where possible [Ada] Reuse Make_Temporary where possible - - - - --- 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] 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] PR ada/79724 [Ada] PR ada/79724 - - - - --- 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] 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] Adapt proof of System.Arith_Double [Ada] Adapt proof of System.Arith_Double - - - - --- 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] Balance parentheses in comments about allocators [Ada] Balance parentheses in comments about allocators - - - - --- 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] 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] Avoid redundant checks for empty lists [Ada] Avoid redundant checks for empty lists - - - - --- 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] Task arrays trigger spurious unreferenced warnings [Ada] Task arrays trigger spurious unreferenced warnings - - - - --- 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] 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] 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] 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] doc/share/conf.py: fix string handling [Ada] doc/share/conf.py: fix string handling - - - - --- 2022-01-31 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] Stabilize exit code on close process [Ada] Stabilize exit code on close process - - - - --- 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] 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 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 repeated analysis of attribute prefixes [Ada] Remove repeated analysis of attribute prefixes - - - - --- 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] Use "aspect" instead of "pragma" in warnings [Ada] Use "aspect" instead of "pragma" in warnings - - - - --- 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] 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] 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] 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] Fix visibility inside declare_expression [Ada] Fix visibility inside declare_expression - - - - --- 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 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] Properly handle unprefixed references to components [Ada] Properly handle unprefixed references to components - - - - --- 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] 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] 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] 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] Remove redundant guards for empty list [Ada] Remove redundant guards for empty list - - - - --- 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 CodePeer annotations for pragma Loop_Variant [Ada] Remove CodePeer annotations for pragma Loop_Variant - - - - --- 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] Fully qualify name in JSON representation info [Ada] Fully qualify name in JSON representation info - - - - --- 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] Simplify conversions from Uint to Char_Code [Ada] Simplify conversions from Uint to Char_Code - - - - --- 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] 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] Simplify conversion from Character to Char_Code [Ada] Simplify conversion from Character to Char_Code - - - - --- 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] 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 incorrect range computation [Ada] Fix incorrect range computation - - - - --- 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] Reject numeric literals with too big exponents [Ada] Reject numeric literals with too big exponents - - - - --- 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] 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] 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] 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] 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] 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] Refine iteration from entities to formals [Ada] Refine iteration from entities to formals - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Cleanup unnecessary declare block in Check_Unreachable_Code [Ada] Cleanup unnecessary declare block in Check_Unreachable_Code - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Remove tiny and incomplete optimization for unset references [Ada] Remove tiny and incomplete optimization for unset references - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Prevent search for references in postconditions from going too far [Ada] Prevent search for references in postconditions from going too far - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Cleanup detection of No_Elist with No and Present [Ada] Cleanup detection of No_Elist with No and Present - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Reuse Is_Rewrite_Substitution where possible [Ada] Reuse Is_Rewrite_Substitution where possible - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Remove repeated conversions between Source_Ptr and Int [Ada] Remove repeated conversions between Source_Ptr and Int - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Simplify call to overloaded Earlier_In_Extended_Unit [Ada] Simplify call to overloaded Earlier_In_Extended_Unit - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Incorrect ineffective use type clause warning [Ada] Incorrect ineffective use type clause warning - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Handle non-standard booleans in if_expression condition [Ada] Handle non-standard booleans in if_expression condition - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Optimize nonstandard boolean conversions [Ada] Optimize nonstandard boolean conversions - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Optimize nonstandard boolean validity checking [Ada] Optimize nonstandard boolean validity checking - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Avoid crash for -gnatR -gnatc [Ada] Avoid crash for -gnatR -gnatc - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Set_Is_Known_Valid only if Safe_To_Capture_Value [Ada] Set_Is_Known_Valid only if Safe_To_Capture_Value - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Move Reachable flag to E_Label entities [Ada] Move Reachable flag to E_Label entities - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Properly reject unsupported address specifications [Ada] Properly reject unsupported address specifications - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Add guard for making only legal labels unreachable [Ada] Add guard for making only legal labels unreachable - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Fix markup in description of pragma Eliminate [Ada] Fix markup in description of pragma Eliminate - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Fix markup in description of implementation-defined characteristics [Ada] Fix markup in description of implementation-defined characteristics - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Fix layout in description of aspects and pragmas [Ada] Fix layout in description of aspects and pragmas - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Fix layout of tables in PDF version of GNAT RM [Ada] Fix layout of tables in PDF version of GNAT RM - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Reset Reachable field when mutating label into loop entity [Ada] Reset Reachable field when mutating label into loop entity - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] fix crash on Secondary_Stack_Size with discriminant [Ada] fix crash on Secondary_Stack_Size with discriminant - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Excess finalization on assignment with target name symbol [Ada] Excess finalization on assignment with target name symbol - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Use pygments for Ada code examples of elaboration control [Ada] Use pygments for Ada code examples of elaboration control - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Fix formatting glitches in GNAT User's Guide [Ada] Fix formatting glitches in GNAT User's Guide - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Add SUSE 32bit dependency [Ada] Add SUSE 32bit dependency - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Fix "S p e c" and "B o d y" file headers [Ada] Fix "S p e c" and "B o d y" file headers - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Update categorization of implementation restrictions [Ada] Update categorization of implementation restrictions - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Adapt proof of System.Arith_Double after update of Z3 [Ada] Adapt proof of System.Arith_Double after update of Z3 - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Detect infinite loops with operators in exit conditions [Ada] Detect infinite loops with operators in exit conditions - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Do not create useless itype in Constrain_Access [Ada] Do not create useless itype in Constrain_Access - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Fix spurious ambiguity for if_expression containing operator [Ada] Fix spurious ambiguity for if_expression containing operator - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Fix unbalanced paren in documentation marker for GNAT Studio [Ada] Fix unbalanced paren in documentation marker for GNAT Studio - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Correctly reject record aggregate using brackets [Ada] Correctly reject record aggregate using brackets - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Fix Compile_Time_(Error|Warning) as non-configuration pragmas [Ada] Fix Compile_Time_(Error|Warning) as non-configuration pragmas - - - - --- 2022-05-11 Pierre-Marie de Rodat New
« 1 2 ... 361 362 363 … 1275 1276 »