Show patches with: Submitter = Pierre-Marie de Rodat       |    State = Action Required       |    Archived = No       |   3078 patches
« 1 2 3 4 … 30 31 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Adapt proof of runtime unit s-arit32 [Ada] Adapt proof of runtime unit s-arit32 - - - - --- 2022-05-30 Pierre-Marie de Rodat New
[Ada] PR ada/105303 Fix use of Assertion_Policy in internal generics unit [Ada] PR ada/105303 Fix use of Assertion_Policy in internal generics unit - - - - --- 2022-05-30 Pierre-Marie de Rodat New
[Ada] Delete no-longer-used Convert_To_Return_False flag [Ada] Delete no-longer-used Convert_To_Return_False flag - - - - --- 2022-05-30 Pierre-Marie de Rodat New
[Ada] Add empty constructors to the functional containers [Ada] Add empty constructors to the functional containers - - - - --- 2022-05-30 Pierre-Marie de Rodat New
[Ada] Fix new CUDA kernel registration scheme [Ada] Fix new CUDA kernel registration scheme - - - - --- 2022-05-30 Pierre-Marie de Rodat New
[Ada] Do not give warnings for compiler-generated entities by default [Ada] Do not give warnings for compiler-generated entities by default - - - - --- 2022-05-19 Pierre-Marie de Rodat New
[Ada] Small housekeeping work in gnat_gimplify_expr [Ada] Small housekeeping work in gnat_gimplify_expr - - - - --- 2022-05-19 Pierre-Marie de Rodat New
[Ada] Fix internal error on unchecked union with component clauses (2) [Ada] Fix internal error on unchecked union with component clauses (2) - - - - --- 2022-05-19 Pierre-Marie de Rodat New
[Ada] Do not set Current_Error_Node to a node without location [Ada] Do not set Current_Error_Node to a node without location - - - - --- 2022-05-19 Pierre-Marie de Rodat New
[Ada] Fix internal error on semi-circular record types [Ada] Fix internal error on semi-circular record types - - - - --- 2022-05-19 Pierre-Marie de Rodat New
[Ada] Fix for internal error on semi-circular record aggregate [Ada] Fix for internal error on semi-circular record aggregate - - - - --- 2022-05-19 Pierre-Marie de Rodat New
[Ada] Preserve unchecked conversion of string constant [Ada] Preserve unchecked conversion of string constant - - - - --- 2022-05-19 Pierre-Marie de Rodat New
[Ada] Remove redundant marking of illegal pragma with error posted [Ada] Remove redundant marking of illegal pragma with error posted - - - - --- 2022-05-19 Pierre-Marie de Rodat New
[Ada] Fix continuation message without a prior error [Ada] Fix continuation message without a prior error - - - - --- 2022-05-19 Pierre-Marie de Rodat New
[Ada] Mark Requires_Transient_Scope as Inline [Ada] Mark Requires_Transient_Scope as Inline - - - - --- 2022-05-19 Pierre-Marie de Rodat New
[Ada] Fix spurious violations of No_Secondary_Stack restriction [Ada] Fix spurious violations of No_Secondary_Stack restriction - - - - --- 2022-05-19 Pierre-Marie de Rodat New
[Ada] Fix compilation of raise-gcc.c with -DSTANDALONE under windows [Ada] Fix compilation of raise-gcc.c with -DSTANDALONE under windows - - - - --- 2022-05-19 Pierre-Marie de Rodat New
[Ada] Preserve and reuse original type in Narrow_Large_Operation [Ada] Preserve and reuse original type in Narrow_Large_Operation - - - - --- 2022-05-19 Pierre-Marie de Rodat New
[Ada] Wrong interface dynamic dispatch via access parameter [Ada] Wrong interface dynamic dispatch via access parameter - - - - --- 2022-05-19 Pierre-Marie de Rodat New
[Ada] Ignore Predicate_Failure in GNATprove mode [Ada] Ignore Predicate_Failure in GNATprove mode - - - - --- 2022-05-19 Pierre-Marie de Rodat New
[Ada] Avoid copy operation for returns involving function calls [Ada] Avoid copy operation for returns involving function calls - - - - --- 2022-05-19 Pierre-Marie de Rodat New
[Ada] Fix invalid expanded code for entry families [Ada] Fix invalid expanded code for entry families - - - - --- 2022-05-19 Pierre-Marie de Rodat New
[Ada] Cleanup expansion of protected entry families [Ada] Cleanup expansion of protected entry families - - - - --- 2022-05-19 Pierre-Marie de Rodat New
[Ada] Fix proof of runtime unit a-strfix and a-strsup [Ada] Fix proof of runtime unit a-strfix and a-strsup - - - - --- 2022-05-19 Pierre-Marie de Rodat New
[Ada] Support Ada 2022 null array aggregates [Ada] Support Ada 2022 null array aggregates - - - - --- 2022-05-19 Pierre-Marie de Rodat New
[Ada] Further adapt proof of double arithmetic runtime unit [Ada] Further adapt proof of double arithmetic runtime unit - - - - --- 2022-05-19 Pierre-Marie de Rodat New
[Ada] Improve optimization of "=" on bit-packed arrays [Ada] Improve optimization of "=" on bit-packed arrays - - - - --- 2022-05-19 Pierre-Marie de Rodat New
[Ada] Casing style on record components [Ada] Casing style on record components - - - - --- 2022-05-19 Pierre-Marie de Rodat New
[Ada] Small housekeeping work continued [Ada] Small housekeeping work continued - - - - --- 2022-05-19 Pierre-Marie de Rodat New
[Ada] Small housekeeping work [Ada] Small housekeeping work - - - - --- 2022-05-19 Pierre-Marie de Rodat New
[Ada] Remove dead code for scope entity having E_Subprogram_Body kind [Ada] Remove dead code for scope entity having E_Subprogram_Body kind - - - - --- 2022-05-19 Pierre-Marie de Rodat New
[Ada] Fix proof of runtime unit s-imageu [Ada] Fix proof of runtime unit s-imageu - - - - --- 2022-05-18 Pierre-Marie de Rodat New
[Ada] qnx-7.1: warning in sigtramp-qnx.c __gnat_sigtramp [Ada] qnx-7.1: warning in sigtramp-qnx.c __gnat_sigtramp - - - - --- 2022-05-18 Pierre-Marie de Rodat New
[Ada] arm-qnx-7.1: stack-checking and sigtramp implementation [Ada] arm-qnx-7.1: stack-checking and sigtramp implementation - - - - --- 2022-05-18 Pierre-Marie de Rodat New
[Ada] Adapt proof of double arithmetic runtime unit [Ada] Adapt proof of double arithmetic runtime unit - - - - --- 2022-05-18 Pierre-Marie de Rodat New
[Ada] Fix proof of runtime unit s-valeu [Ada] Fix proof of runtime unit s-valeu - - - - --- 2022-05-18 Pierre-Marie de Rodat New
[Ada] Disable Vet calls when container checks are disabled [Ada] Disable Vet calls when container checks are disabled - - - - --- 2022-05-18 Pierre-Marie de Rodat New
[Ada] arm-qnx-7.1: undefined reference to fma* symbols [Ada] arm-qnx-7.1: undefined reference to fma* symbols - - - - --- 2022-05-18 Pierre-Marie de Rodat New
[Ada] Fix DWARF parsing for 32-bit targets on 64-bit hosts [Ada] Fix DWARF parsing for 32-bit targets on 64-bit hosts - - - - --- 2022-05-18 Pierre-Marie de Rodat New
[Ada] Improve error messages for occurrence of GNAT extensions without -gnatX [Ada] Improve error messages for occurrence of GNAT extensions without -gnatX - - - - --- 2022-05-18 Pierre-Marie de Rodat New
[Ada] Fix Ada-QNX task priority conversion [Ada] Fix Ada-QNX task priority conversion - - - - --- 2022-05-18 Pierre-Marie de Rodat New
[Ada] Use specific predicate before manipulating BIP_Alloc_Form [Ada] Use specific predicate before manipulating BIP_Alloc_Form - - - - --- 2022-05-18 Pierre-Marie de Rodat New
[Ada] Crash building VSS with compiler built with assertions [Ada] Crash building VSS with compiler built with assertions - - - - --- 2022-05-18 Pierre-Marie de Rodat New
[Ada] Fix proof of runtime units [Ada] Fix proof of runtime units - - - - --- 2022-05-18 Pierre-Marie de Rodat New
[Ada] Errors missed on ACATS test B650007 [Ada] Errors missed on ACATS test B650007 - - - - --- 2022-05-18 Pierre-Marie de Rodat New
[Ada] Fix the parsing for delta aggregate [Ada] Fix the parsing for delta aggregate - - - - --- 2022-05-18 Pierre-Marie de Rodat New
[Ada] Secondary stack and a-tags [Ada] Secondary stack and a-tags - - - - --- 2022-05-18 Pierre-Marie de Rodat New
[Ada] Fix problematic underflow for Float_Type'Value [Ada] Fix problematic underflow for Float_Type'Value - - - - --- 2022-05-18 Pierre-Marie de Rodat New
[Ada] Spurious error on freezing of tagged types in SPARK [Ada] Spurious error on freezing of tagged types in SPARK - - - - --- 2022-05-18 Pierre-Marie de Rodat New
[Ada] Rework optimization skipping pragma check in object declaration [Ada] Rework optimization skipping pragma check in object declaration - - - - --- 2022-05-18 Pierre-Marie de Rodat New
[Ada] Fix internal error on subprogram instantiation [Ada] Fix internal error on subprogram instantiation - - - - --- 2022-05-18 Pierre-Marie de Rodat New
[Ada] Overriding error on type derived from discriminated untagged private type [Ada] Overriding error on type derived from discriminated untagged private type - - - - --- 2022-05-18 Pierre-Marie de Rodat New
[Ada] Prevent overflow in computation of aggregate size [Ada] Prevent overflow in computation of aggregate size - - - - --- 2022-05-18 Pierre-Marie de Rodat New
[Ada] Freezing too strict in instances [Ada] Freezing too strict in instances - - - - --- 2022-05-18 Pierre-Marie de Rodat New
[Ada] Fix incorrect freezing with generic child unit [Ada] Fix incorrect freezing with generic child unit - - - - --- 2022-05-18 Pierre-Marie de Rodat New
[Ada] Ada.Numerics.Aux.*: Mention more Intrinsic and less C Math Library [Ada] Ada.Numerics.Aux.*: Mention more Intrinsic and less C Math Library - - - - --- 2022-05-18 Pierre-Marie de Rodat New
[Ada] Small performance tweak in recent change [Ada] Small performance tweak in recent change - - - - --- 2022-05-18 Pierre-Marie de Rodat New
[Ada] New port arm-qnx [Ada] New port arm-qnx - - - - --- 2022-05-18 Pierre-Marie de Rodat New
[Ada] Restore defensive guard in checks for volatile actuals [Ada] Restore defensive guard in checks for volatile actuals - - - - --- 2022-05-17 Pierre-Marie de Rodat New
[Ada] Subprogram renaming fails to hide homograph [Ada] Subprogram renaming fails to hide homograph - - - - --- 2022-05-17 Pierre-Marie de Rodat New
[Ada] CUDA: remove code performing kernel registration [Ada] CUDA: remove code performing kernel registration - - - - --- 2022-05-17 Pierre-Marie de Rodat New
[Ada] Enhance the warning on C enum with size clause for size /= 32 [Ada] Enhance the warning on C enum with size clause for size /= 32 - - - - --- 2022-05-17 Pierre-Marie de Rodat New
[Ada] Allow inlining for proof inside generics [Ada] Allow inlining for proof inside generics - - - - --- 2022-05-17 Pierre-Marie de Rodat New
[Ada] Provide allocation subtype for allocators of a Designated_Storage_Model type [Ada] Provide allocation subtype for allocators of a Designated_Storage_Model type - - - - --- 2022-05-17 Pierre-Marie de Rodat New
[Ada] Cleanups related to front-end SJLJ [Ada] Cleanups related to front-end SJLJ - - - - --- 2022-05-17 Pierre-Marie de Rodat New
[Ada] GNAT.Binary_Search is not internal [Ada] GNAT.Binary_Search is not internal - - - - --- 2022-05-17 Pierre-Marie de Rodat New
[Ada] Fix insertion of declaration inside quantified expression [Ada] Fix insertion of declaration inside quantified expression - - - - --- 2022-05-17 Pierre-Marie de Rodat New
[Ada] Fix Forced sign flag in formatted string [Ada] Fix Forced sign flag in formatted string - - - - --- 2022-05-17 Pierre-Marie de Rodat New
[Ada] Fix small glitch in Expand_N_Full_Type_Declaration [Ada] Fix small glitch in Expand_N_Full_Type_Declaration - - - - --- 2022-05-17 Pierre-Marie de Rodat New
[Ada] Requires_Cleanup_Actions and N_Protected_Body [Ada] Requires_Cleanup_Actions and N_Protected_Body - - - - --- 2022-05-17 Pierre-Marie de Rodat New
[Ada] Output.w always writes to stderr [Ada] Output.w always writes to stderr - - - - --- 2022-05-17 Pierre-Marie de Rodat New
[Ada] Fix bogus visibility error with partially parameterized formal package [Ada] Fix bogus visibility error with partially parameterized formal package - - - - --- 2022-05-17 Pierre-Marie de Rodat New
[Ada] Take full view of private type [Ada] Take full view of private type - - - - --- 2022-05-17 Pierre-Marie de Rodat New
[Ada] Allow 'Reduce with -gnat2022 [Ada] Allow 'Reduce with -gnat2022 - - - - --- 2022-05-17 Pierre-Marie de Rodat New
[Ada] Don't create calls to Abort_Undefer when not Abort_Allowed [Ada] Don't create calls to Abort_Undefer when not Abort_Allowed - - - - --- 2022-05-17 Pierre-Marie de Rodat New
[Ada] Initialize Compiler_State to avoid Constraint_Error [Ada] Initialize Compiler_State to avoid Constraint_Error - - - - --- 2022-05-17 Pierre-Marie de Rodat New
[Ada] Typo fix in finalization comment [Ada] Typo fix in finalization comment - - - - --- 2022-05-17 Pierre-Marie de Rodat New
[Ada] Deal with derived record types in Has_Compatible_Representation [Ada] Deal with derived record types in Has_Compatible_Representation - - - - --- 2022-05-17 Pierre-Marie de Rodat New
[Ada] Streamline implementation of Has_Compatible_Representation [Ada] Streamline implementation of Has_Compatible_Representation - - - - --- 2022-05-17 Pierre-Marie de Rodat New
[Ada] Remove superfluous call to Original_Node [Ada] Remove superfluous call to Original_Node - - - - --- 2022-05-17 Pierre-Marie de Rodat New
[Ada] Crash freezing declaration that will raise constraint error [Ada] Crash freezing declaration that will raise constraint error - - - - --- 2022-05-17 Pierre-Marie de Rodat New
[Ada] Use Actions field of freeze nodes for subprograms [Ada] Use Actions field of freeze nodes for subprograms - - - - --- 2022-05-17 Pierre-Marie de Rodat New
[Ada] Implement calls to abstract subprograms in class-wide pre/post-conditions [Ada] Implement calls to abstract subprograms in class-wide pre/post-conditions - - - - --- 2022-05-17 Pierre-Marie de Rodat New
[Ada] Fix documentation of using attribute Loop_Entry in pragmas [Ada] Fix documentation of using attribute Loop_Entry in pragmas - - - - --- 2022-05-17 Pierre-Marie de Rodat New
[Ada] Check token to be "access", reject it if not [Ada] Check token to be "access", reject it if not - - - - --- 2022-05-17 Pierre-Marie de Rodat New
[Ada] Enable current value propagation within pragma expressions [Ada] Enable current value propagation within pragma expressions - - - - --- 2022-05-17 Pierre-Marie de Rodat New
[Ada] Fix fallout of change in equality for untagged record types [Ada] Fix fallout of change in equality for untagged record types - - - - --- 2022-05-16 Pierre-Marie de Rodat New
[Ada] Fix expansion of attribute Loop_Entry wrt value propagation [Ada] Fix expansion of attribute Loop_Entry wrt value propagation - - - - --- 2022-05-16 Pierre-Marie de Rodat New
[Ada] Remove useless code related to current value propagation [Ada] Remove useless code related to current value propagation - - - - --- 2022-05-16 Pierre-Marie de Rodat New
[Ada] Type invariant or postcondition may cause uninitialized memory reads [Ada] Type invariant or postcondition may cause uninitialized memory reads - - - - --- 2022-05-16 Pierre-Marie de Rodat New
[Ada] Freeze target type on qualified expression expansion [Ada] Freeze target type on qualified expression expansion - - - - --- 2022-05-16 Pierre-Marie de Rodat New
[Ada] Fix proof of double arithmetic units [Ada] Fix proof of double arithmetic units - - - - --- 2022-05-16 Pierre-Marie de Rodat New
[Ada] Don't crash on ghost packages when emitting CUDA symbols in ALI files [Ada] Don't crash on ghost packages when emitting CUDA symbols in ALI files - - - - --- 2022-05-16 Pierre-Marie de Rodat New
[Ada] GNAT.Debug_Pools: Improve documentation of the Stack_Trace_Depth parameter [Ada] GNAT.Debug_Pools: Improve documentation of the Stack_Trace_Depth parameter - - - - --- 2022-05-16 Pierre-Marie de Rodat New
[Ada] sigaction result not properly checked in __gnat_install_handler (QNX) [Ada] sigaction result not properly checked in __gnat_install_handler (QNX) - - - - --- 2022-05-16 Pierre-Marie de Rodat New
[Ada] Fix thinko in QNX's implementation of __gnat_install_handler [Ada] Fix thinko in QNX's implementation of __gnat_install_handler - - - - --- 2022-05-16 Pierre-Marie de Rodat New
[Ada] Add <stdlib.h> #include in cstreams.c [Ada] Add <stdlib.h> #include in cstreams.c - - - - --- 2022-05-16 Pierre-Marie de Rodat New
[Ada] replace call to bzero in terminals.c by call to memset [Ada] replace call to bzero in terminals.c by call to memset - - - - --- 2022-05-16 Pierre-Marie de Rodat New
[Ada] Revise Storage_Model_Support operations to do checks and take objects and types [Ada] Revise Storage_Model_Support operations to do checks and take objects and types - - - - --- 2022-05-16 Pierre-Marie de Rodat New
[Ada] Fix iterated element association loop var escaping loop scope [Ada] Fix iterated element association loop var escaping loop scope - - - - --- 2022-05-16 Pierre-Marie de Rodat New
« 1 2 3 4 … 30 31 »