[Bug middle-end/116933] various issues of -ftrivial-auto-var-init=zero with Ada
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116933 Eric Botcazou changed: What|Removed |Added Target Milestone|--- |15.0 Resolution|--- |FIXED Status|ASSIGNED|RESOLVED --- Comment #14 from Eric Botcazou --- This should work now.
[Bug middle-end/116933] various issues of -ftrivial-auto-var-init=zero with Ada
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116933 --- Comment #12 from Eric Botcazou --- > We added one more argument for __builtin_clear_padding to distinguish > whether this call is for AUTO_INIT or not. > > > > diff --git a/gcc/tree.cc b/gcc/tree.cc > > index bc50afca9a3..095c02c5474 100644 > > --- a/gcc/tree.cc > > +++ b/gcc/tree.cc > > @@ -9848,7 +9848,6 @@ build_common_builtin_nodes (void) > > ftype = build_function_type_list (void_type_node, > >ptr_type_node, > >ptr_type_node, > > - integer_type_node, > > This integer_type_node is for the new argument. See this assertion in gimple_fold_builtin_clear_padding: gcc_assert (gimple_call_num_args (stmt) == 2);
[Bug middle-end/116933] various issues of -ftrivial-auto-var-init=zero with Ada
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116933 --- Comment #10 from Eric Botcazou --- Created attachment 59283 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=59283&action=edit Tentative fix
[Bug ada/114964] Ada Address_To_Access_Conversions gnat_to_gnu_entity internal error
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114964 --- Comment #5 from Eric Botcazou --- > I have read the detailed instructions for submitting bug reports and > they are not realistic for a project as large as mine. It is, perhaps, > the largest open source Ada project. I don't think you want me to > attach source files. Yes, that's the procedure: the bugbox contains the list of files computed by the compiler in order to reproduce the problem, put them in a tarball, compress it and attach it to this ticket, whatever its size, and we'll do the rest. > As neither of us seem able to action this bug report on either end, I > would suggest closing it as unresolvable and hope that someone with a > smaller and less complex project can shed light on the issue. We are interested in compiling all existing projects and, therefore, in fixing all the problems they may trigger in the compiler, but the prerequisite is that we can reproduce them.
[Bug middle-end/116933] internal error on basic Ada program with -ftrivial-auto-var-init=zero
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116933 --- Comment #9 from Eric Botcazou --- But that's not sufficient and passing LOC to build_string_literal does not change anything either since gimplify_arg has this: /* FIXME diagnostics: This will mess up gcc.dg/Warray-bounds.c. */ /* Make sure arguments have the same location as the function call itself. */ protected_set_expr_location (*arg_p, call_location);
[Bug middle-end/116933] internal error on basic Ada program with -ftrivial-auto-var-init=zero
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116933 --- Comment #8 from Eric Botcazou --- Note that: location_t loc = EXPR_LOCATION (decl); is equivalent to: location_t loc = UNKNOWN_LOCATION; I presume that DECL_SOURCE_LOCATION was meant instead here.
[Bug middle-end/116933] internal error on basic Ada program with -ftrivial-auto-var-init=zero
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116933 --- Comment #7 from Eric Botcazou --- Another installment in the series "How come this worked before?": diff --git a/gcc/tree.cc b/gcc/tree.cc index bc50afca9a3..095c02c5474 100644 --- a/gcc/tree.cc +++ b/gcc/tree.cc @@ -9848,7 +9848,6 @@ build_common_builtin_nodes (void) ftype = build_function_type_list (void_type_node, ptr_type_node, ptr_type_node, - integer_type_node, NULL_TREE); local_define_builtin ("__builtin_clear_padding", ftype, BUILT_IN_CLEAR_PADDING,
[Bug middle-end/116933] internal error on basic Ada program with -ftrivial-auto-var-init=zero
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116933 Eric Botcazou changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |ebotcazou at gcc dot gnu.org Status|NEW |ASSIGNED
[Bug middle-end/116933] internal error on basic Ada program with -ftrivial-auto-var-init=zero
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116933 --- Comment #6 from Eric Botcazou --- > -ftrivial-auto-var-init was initially added for C/C++. It was not fully > tested for other FEs. > I guess that there should be issues for other FEs in addition to ada. > > So, shall we disable this feature for FEs other than C/C++ at this moment? Let me see first what's missing the implementation to fully support GENERIC.
[Bug ada/115376] ICE with if expression in value setting of a constant declaration
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115376 --- Comment #4 from Eric Botcazou --- Any news about this? Did you try with GCC 14.1 or GCC 14.2? If you still get the bugbox, then proceed as explained in the detailed instructions written at https://gcc.gnu.org/bugs/#gnat in particular: "If you report a bug which causes the compiler to print a bug box, include that bug box in your report, and do not forget to send all the source files listed after the bug box along with your report."
[Bug ada/114964] Ada Address_To_Access_Conversions gnat_to_gnu_entity internal error
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114964 --- Comment #3 from Eric Botcazou --- Any news about this? Did you try with GCC 14.1 or GCC 14.2? If you still get the bugbox, then proceed as explained in the detailed instructions written at https://gcc.gnu.org/bugs/#gnat in particular: "If you report a bug which causes the compiler to print a bug box, include that bug box in your report, and do not forget to send all the source files listed after the bug box along with your report."
[Bug ada/116430] [14 regression] crash with subunit of local package
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116430 Eric Botcazou changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED|RESOLVED --- Comment #7 from Eric Botcazou --- Fixed on the 14 branch.
[Bug ada/31687] GNAT incorrectly finds its libraries through symlinks
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=31687 Eric Botcazou changed: What|Removed |Added Status|WAITING |RESOLVED Resolution|--- |WONTFIX --- Comment #3 from Eric Botcazou --- .
[Bug ada/71072] GNAT doesn't respect --enable-default-pie
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71072 Eric Botcazou changed: What|Removed |Added Status|WAITING |RESOLVED Resolution|--- |WONTFIX --- Comment #3 from Eric Botcazou --- Presumably obsolete.
[Bug ada/87777] Let gnat tools call each other with an explicit target and version
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=8 Eric Botcazou changed: What|Removed |Added Status|WAITING |NEW
[Bug ada/26827] "GNAT BUG DETECTED" on compile GPS 1.3.1/gtkada
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=26827 Eric Botcazou changed: What|Removed |Added Status|WAITING |RESOLVED Resolution|--- |WONTFIX CC||ebotcazou at gcc dot gnu.org --- Comment #7 from Eric Botcazou --- Presumably obsolete.
[Bug ada/87973] ICE with pragma Discard_Names and GCC optimisation for x64
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87973 Eric Botcazou changed: What|Removed |Added Resolution|--- |WONTFIX Status|WAITING |RESOLVED --- Comment #2 from Eric Botcazou --- .
[Bug ada/99662] GNAT compiled with the address sanitizer fails at build time
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99662 Eric Botcazou changed: What|Removed |Added Status|WAITING |RESOLVED Resolution|--- |WONTFIX --- Comment #2 from Eric Botcazou --- .
[Bug ada/107440] GCC error: in gnat_to_gnu_entity, at ada/gcc-interface/decl.cc:610
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107440 Eric Botcazou changed: What|Removed |Added Status|WAITING |RESOLVED Resolution|--- |WONTFIX --- Comment #4 from Eric Botcazou --- No reproducer.
[Bug ada/116430] [14 regression] crash with subunit of local package
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116430 Eric Botcazou changed: What|Removed |Added Status|NEW |ASSIGNED Assignee|unassigned at gcc dot gnu.org |ebotcazou at gcc dot gnu.org --- Comment #5 from Eric Botcazou --- Investigating.
[Bug ada/116430] [14 regression] crash with subunit of package
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116430 Eric Botcazou changed: What|Removed |Added Target Milestone|--- |14.3 Version|14.0|14.2.1
[Bug ada/116430] [14 regression] crash with subunit of package
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116430 Eric Botcazou changed: What|Removed |Added Status|WAITING |NEW Summary|Crash "Assert_Failure |[14 regression] crash with |nlists.adb:674" while |subunit of package |compiling | --- Comment #4 from Eric Botcazou --- This crashes with 14.x releases, for example: +===GNAT BUG DETECTED==+ | 14.2.1 20240919 [gcc-14 r14-10692-gbff6e5667d6] (x86_64-suse-linux) | | Storage_Error stack overflow or erroneous memory access | | Error detected at intercept.adb:29:1 | | Compiling intercept.adb | but is fixed on the mainline.
[Bug ada/116644] Warnings in generic code don't report column number
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116644 Eric Botcazou changed: What|Removed |Added Resolution|--- |WORKSFORME Status|WAITING |RESOLVED --- Comment #3 from Eric Botcazou --- The line contains only one value (256) and the message says of what type it is out of range so this seems quite straightforward to me.
[Bug ada/116945] Valgrind reports uninitialized memory use in sem_ch12.adb (sem_ch12__instance_context__save_and_reset)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116945 --- Comment #7 from Eric Botcazou --- > Sure. But I assume the unitialized part isn't accessed when resolving the > 'Valid attribute. Does checking for the 'Valid attribute depend on any > uninitialized bits? Testing 'Valid means comparing the value with the allowed range, so how can you do that without accessing that value?
[Bug ada/116945] Valgrind reports uninitialized memory use in sem_ch12.adb (sem_ch12__instance_context__save_and_reset)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116945 --- Comment #5 from Eric Botcazou --- > What code is generated for that call to 'Valid in "if > Indexed_Assoc.Gen_Id'Valid then". Does that conditional really depend on > uninitialized data? Yes, as explained in the comment, Indexed_Assoc.Gen_Id may be uninitialized.
[Bug ada/116945] Valgrind reports uninitialized memory use in sem_ch12.adb (sem_ch12__instance_context__save_and_reset)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116945 Eric Botcazou changed: What|Removed |Added Resolution|--- |WONTFIX Status|UNCONFIRMED |RESOLVED CC||ebotcazou at gcc dot gnu.org --- Comment #2 from Eric Botcazou --- It's a call to 'Valid, which is precisely designed for this case: -- If we have called Increment_Last but have not yet -- initialized the new last element of the table, then -- that last element might be invalid. Saving and -- restoring (especially restoring, it turns out) invalid -- values can result in exceptions if predicate checking -- is enabled, so replace invalid values with Empty. if Indexed_Assoc.Gen_Id'Valid then Result_Pair.Formal_Id := Indexed_Assoc.Gen_Id; else pragma Assert (Index = Result'Last); Result_Pair.Formal_Id := Empty; end if; if Indexed_Assoc.Act_Id'Valid then Result_Pair.Actual_Id := Indexed_Assoc.Act_Id; else pragma Assert (Index = Result'Last); Result_Pair.Actual_Id := Empty; end if;
[Bug c++/116907] [14/15 regression] ICE when building kakoune-2024.05.18 with LTO
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116907 --- Comment #24 from Eric Botcazou --- I think the line should simply be removed: DFS_follow_tree_edge (TREE_BLOCK (expr)); There is (no longer) a tree edge in this case.
[Bug middle-end/116933] internal error on basic Ada program with -ftrivial-auto-var-init=zero
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116933 Eric Botcazou changed: What|Removed |Added Severity|normal |enhancement
[Bug middle-end/116933] internal error on basic Ada program with -ftrivial-auto-var-init=zero
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116933 Eric Botcazou changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed||2024-10-02 Component|ada |middle-end Summary|Ada FE incompatible with|internal error on basic Ada |-ftrivial-auto-var-init=zer |program with |o (__builtin_clear_padding |-ftrivial-auto-var-init=zer |not folded) |o CC||ebotcazou at gcc dot gnu.org Ever confirmed|0 |1 --- Comment #4 from Eric Botcazou --- It's the implementation of __builtin_clear_padding though, not the Ada FE.
[Bug ada/116916] improve wording for predefined packages in messages
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116916 Eric Botcazou changed: What|Removed |Added Summary|Confusing error message |improve wording for ||predefined packages in ||messages Severity|normal |enhancement --- Comment #3 from Eric Botcazou --- To be honest, the message looks quite clear to me, but feel free to suggest a better one.
[Bug ada/116916] Confusing error message
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116916 Eric Botcazou changed: What|Removed |Added Ever confirmed|0 |1 Last reconfirmed||2024-10-02 Status|UNCONFIRMED |NEW CC||ebotcazou at gcc dot gnu.org --- Comment #2 from Eric Botcazou --- A predefined spec is the spec of a predefined package like System.
[Bug lto/116907] [14/15 regression] ICE when building kakoune-2024.05.18 with LTO
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116907 --- Comment #21 from Eric Botcazou --- > So the TREE_BLOCK (expr) has been free'd. Right. The TREE_BLOCK for an expression is: if (IS_EXPR_CODE_CLASS (c)) return LOCATION_BLOCK (t->exp.locus); and "locus" is just an integer so the GC marking probably stops there.
[Bug ipa/116907] [14/15 regression] ICE when building kakoune-2024.05.18 with LTO
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116907 --- Comment #16 from Eric Botcazou --- Reverting r15-3731-g16d2d177ac11b4 indeed does not work.
[Bug ipa/116907] [14/15 regression] ICE when building kakoune-2024.05.18 with LTO
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116907 Eric Botcazou changed: What|Removed |Added Last reconfirmed||2024-10-01 Ever confirmed|0 |1 Summary|[14/15 regression] ICE when |[14/15 regression] ICE when |building kakoune-2024.05.18 |building kakoune-2024.05.18 |with LTO (modref) |with LTO Status|UNCONFIRMED |NEW --- Comment #15 from Eric Botcazou --- I can reproduce the crash with and without -fno-ipa-modref.
[Bug ipa/113996] [12/13/14 regression] ICE with LTO at -O2 on Ada code
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113996 Eric Botcazou changed: What|Removed |Added Target Milestone|12.5|15.0 Summary|[12/13/14/15 regression]|[12/13/14 regression] ICE |ICE with LTO at -O2 on Ada |with LTO at -O2 on Ada code |code| --- Comment #9 from Eric Botcazou --- I have applied (a simplified version of) the original patch. Not clear if we want to backport it onto the release branches.
[Bug ada/116877] Unable to build libada for baremetal ARM processor
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116877 Eric Botcazou changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED CC||ebotcazou at gcc dot gnu.org Resolution|--- |WONTFIX --- Comment #1 from Eric Botcazou --- No, you need to build your own runtime library for bare metal targets.
[Bug ada/116832] Code after a select-then-abort in an abortable part executes when the outer select-then-abort completes
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116832 Eric Botcazou changed: What|Removed |Added Last reconfirmed||2024-09-26 Ever confirmed|0 |1 Status|UNCONFIRMED |NEW --- Comment #4 from Eric Botcazou --- Not clear if we support nested ATCs indeed. What do you use them for?
[Bug ada/116832] Code after a select-then-abort in an abortable part executes when the outer select-then-abort completes
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116832 Eric Botcazou changed: What|Removed |Added CC||ebotcazou at gcc dot gnu.org --- Comment #3 from Eric Botcazou --- PR ada/43485 comes from the use of Ada.Real_Time so is unrelated.
[Bug ada/43485] select ... then abort ... end select don't abort
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=43485 Eric Botcazou changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |ebotcazou at gcc dot gnu.org Status|NEW |ASSIGNED
[Bug ada/43485] select ... then abort ... end select don't abort
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=43485 --- Comment #3 from Eric Botcazou --- > Still present on the mainline, but the problem directly comes from the use > of Ada.Real_Time, i.e. this works if you replace it with Ada.Calendar. This is apparently sufficient: diff --git a/gcc/ada/libgnarl/a-retide.adb b/gcc/ada/libgnarl/a-retide.adb index 80e3d31ed17..d7cac0f2124 100644 --- a/gcc/ada/libgnarl/a-retide.adb +++ b/gcc/ada/libgnarl/a-retide.adb @@ -31,11 +31,13 @@ with Ada.Exceptions; +with System.Soft_Links; with System.Tasking; with System.Task_Primitives.Operations; package body Ada.Real_Time.Delays is + package SSL renames System.Soft_Links; package STPO renames System.Task_Primitives.Operations; @@ -62,7 +64,9 @@ package body Ada.Real_Time.Delays is Ada.Exceptions.Raise_Exception (Program_Error'Identity, "potentially blocking operation"); else + SSL.Abort_Defer.all; STPO.Timed_Delay (Self_Id, To_Duration (T), Absolute_RT); + SSL.Abort_Undefer.all; end if; end Delay_Until;
[Bug ada/52280] FAIL: c974013 -- C974013 Abortable part did not execute
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=52280 Eric Botcazou changed: What|Removed |Added Status|NEW |WAITING --- Comment #4 from Eric Botcazou --- Is this still relevant?
[Bug ada/43485] select ... then abort ... end select don't abort
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=43485 Eric Botcazou changed: What|Removed |Added Version|unknown |15.0 --- Comment #2 from Eric Botcazou --- Still present on the mainline, but the problem directly comes from the use of Ada.Real_Time, i.e. this works if you replace it with Ada.Calendar.
[Bug target/113945] Switch visium to LRA
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113945 --- Comment #4 from Eric Botcazou --- No objections.
[Bug target/113945] Switch visium to LRA
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113945 --- Comment #2 from Eric Botcazou --- This was explored some years ago but didn't come to fruition and there is little chance that another try will be given.
[Bug ada/116438] GNAT should print backtraces on ICEs with bug box
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116438 --- Comment #7 from Eric Botcazou --- Using libbacktrace can only address half of the problem, namely the half where the internal_error handler of the middle-end is called directly. For the other half, namely when a signal (e.g. out of a segfault) or an Ada exception is raised, that's not possible because the unwinding destroys the backtrace (signals are turned into Ada exceptions) so we would need to build GNAT with symbolic backtraces for exceptions but this looks quite delicate.
[Bug target/116698] [12/13/14/15 Regression] ICE: in add_cfi_args_size, at dwarf2cfi.cc:501 with -O -finstrument-functions -fstack-check=generic -m32 -mrtd -maccumulate-outgoing-args
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116698 Eric Botcazou changed: What|Removed |Added Status|NEW |SUSPENDED --- Comment #3 from Eric Botcazou --- Nobody should use -fstack-check=generic, please use -fstack-check instead.
[Bug ada/116438] GNAT should print backtraces on ICEs with bug box
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116438 Eric Botcazou changed: What|Removed |Added Status|NEW |ASSIGNED Summary|Ada FE should use |GNAT should print |libbacktrace to print |backtraces on ICEs with bug |backtraces on ICE with bug |box |boxes | Assignee|unassigned at gcc dot gnu.org |ebotcazou at gcc dot gnu.org --- Comment #6 from Eric Botcazou --- All right, let's see what can be done.
[Bug target/105782] emission of inefficient movxtod/movdtox with -mvis3
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105782 Eric Botcazou changed: What|Removed |Added Status|ASSIGNED|NEW Assignee|ebotcazou at gcc dot gnu.org |unassigned at gcc dot gnu.org
[Bug ada/115250] [15 regression] gnat.dg/opt58.adb FAILs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115250 Eric Botcazou changed: What|Removed |Added Status|NEW |RESOLVED Resolution|--- |FIXED --- Comment #3 from Eric Botcazou --- .
[Bug ada/115246] [15 regression] gnat.dg/alignment14.adb FAILs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115246 Eric Botcazou changed: What|Removed |Added Resolution|--- |FIXED Status|NEW |RESOLVED --- Comment #3 from Eric Botcazou --- .
[Bug ada/115250] [15 regression] gnat.dg/opt58.adb FAILs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115250 Eric Botcazou changed: What|Removed |Added Ever confirmed|0 |1 CC||ebotcazou at gcc dot gnu.org Last reconfirmed||2024-09-09 Status|UNCONFIRMED |NEW --- Comment #1 from Eric Botcazou --- The warning can be suppressed.
[Bug ada/115246] [15 regression] gnat.dg/alignment14.adb FAILs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115246 Eric Botcazou changed: What|Removed |Added Last reconfirmed||2024-09-09 CC||ebotcazou at gcc dot gnu.org Status|UNCONFIRMED |NEW Ever confirmed|0 |1 --- Comment #1 from Eric Botcazou --- Probably most 32-bit targets.
[Bug ada/116551] internal error on bit-packed array type with Volatile_Full_Access
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116551 Eric Botcazou changed: What|Removed |Added Status|NEW |ASSIGNED Assignee|unassigned at gcc dot gnu.org |ebotcazou at gcc dot gnu.org
[Bug ada/116551] internal error on bit-packed array type with Volatile_Full_Access
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116551 Eric Botcazou changed: What|Removed |Added Last reconfirmed||2024-09-09 Ever confirmed|0 |1 Status|UNCONFIRMED |NEW Summary|Internal error with |internal error on |Volatile_Full_Access|bit-packed array type with ||Volatile_Full_Access CC||ebotcazou at gcc dot gnu.org --- Comment #1 from Eric Botcazou --- This one is indeed generic.
[Bug ada/116644] Warnings in generic code don't report column number
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116644 Eric Botcazou changed: What|Removed |Added Last reconfirmed||2024-09-09 Status|UNCONFIRMED |WAITING Ever confirmed|0 |1 CC||ebotcazou at gcc dot gnu.org --- Comment #1 from Eric Botcazou --- Why is that insufficient exactly? 256 is clearly not in range of My_Byte.
[Bug ada/116498] infinite loop on MSP430 with -mlarge flag
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116498 Eric Botcazou changed: What|Removed |Added Status|NEW |ASSIGNED Assignee|unassigned at gcc dot gnu.org |ebotcazou at gcc dot gnu.org
[Bug ada/116498] gnat enters busy wait trying to compile for msp430-none-elf with -mlarge flag
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116498 Eric Botcazou changed: What|Removed |Added Ever confirmed|0 |1 Last reconfirmed||2024-09-09 Status|UNCONFIRMED |NEW --- Comment #4 from Eric Botcazou --- The loop can be fixed, but that will probably not be the end of the road.
[Bug ada/116430] Crash "Assert_Failure nlists.adb:674" while compiling
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116430 Eric Botcazou changed: What|Removed |Added Last reconfirmed||2024-09-09 Ever confirmed|0 |1 CC||ebotcazou at gcc dot gnu.org Status|UNCONFIRMED |WAITING --- Comment #3 from Eric Botcazou --- Assertions are not enabled in release builds, please try with 14.1 or 14.2.
[Bug tree-optimization/116226] ICE when building exp_aggr.adb with -Warray-bounds (tree check: expected integer_cst, have ssa_name in get_len, at ree.h:6509)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116226 Eric Botcazou changed: What|Removed |Added Ever confirmed|0 |1 Last reconfirmed||2024-09-09 Status|UNCONFIRMED |NEW CC||ebotcazou at gcc dot gnu.org --- Comment #6 from Eric Botcazou --- check_out_of_bounds_and_warn must probably test that low_bound is an INTEGER_CST before calling tree_int_cst_equal on it.
[Bug ada/116190] wrong finalization of anonymous array aggregate
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116190 Eric Botcazou changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |ebotcazou at gcc dot gnu.org Status|NEW |ASSIGNED
[Bug ada/116190] raised STORAGE_ERROR : stack overflow or erroneous memory access with array of unbounded strings
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116190 Eric Botcazou changed: What|Removed |Added Ever confirmed|0 |1 Last reconfirmed||2024-09-09 CC||ebotcazou at gcc dot gnu.org Status|UNCONFIRMED |NEW --- Comment #1 from Eric Botcazou --- Yes but, contrary to what you said, declaring an array type does work: with Ada.Strings.Unbounded; use Ada.Strings.Unbounded; procedure P is My_Array : constant array (1 .. 5) of Unbounded_String := [others => To_Unbounded_String ("Test")]; type Arr is array (Natural range <>) of Unbounded_String; This_Crashes : constant Arr := [for I of My_Array => I]; begin null; end;
[Bug ada/116089] GNATprove raises Program_Error for loop frame condition when calling function with Side_Effects
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116089 Eric Botcazou changed: What|Removed |Added Resolution|--- |INVALID CC||ebotcazou at gcc dot gnu.org Status|UNCONFIRMED |RESOLVED --- Comment #1 from Eric Botcazou --- GNATprove is not part of GCC.
[Bug ada/115917] GNAT fails to bootstrap with LTO and -Werror=lto-type-mismatch
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115917 Eric Botcazou changed: What|Removed |Added Status|NEW |RESOLVED Summary|GNAT fails to bootstrap |GNAT fails to bootstrap |with LTO and|with LTO and |-Werror=lto-type-mismatch |-Werror=lto-type-mismatch |due to C_Version_String and | |gnat_version_string on | |x86_64-pc-linux-gnu | Target Milestone|--- |15.0 Resolution|--- |FIXED CC||ebotcazou at gcc dot gnu.org --- Comment #4 from Eric Botcazou --- Fixed on mainline.
[Bug ada/116438] Ada FE should use libbacktrace to print backtraces on ICE with bug boxes
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116438 --- Comment #3 from Eric Botcazou --- In my experience a backtrace is not sufficient to debug compiler issues.
[Bug target/114189] Target implements obsolete vcond{,u,eq} expanders
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114189 Eric Botcazou changed: What|Removed |Added CC||ebotcazou at gcc dot gnu.org --- Comment #8 from Eric Botcazou --- There are 2 entries for vcond_mask in the internal manual: 'vcond_mask_MN' Similar to 'vcondMN' but operand 3 holds a pre-computed result of vector comparison. 'vcond_mask_MN' Set each element of operand 0 to the corresponding element of operand 2 or operand 3. Choose operand 2 if both the element index is less than operand 4 plus operand 5 and the corresponding element of operand 1 is nonzero: for (i = 0; i < GET_MODE_NUNITS (M); i++) op0[i] = i < op4 + op5 && op1[i] ? op2[i] : op3[i]; Operands 0, 2 and 3 have mode M. Operand 1 has mode N. Operands 4 and 5 have a target-dependent scalar integer mode
[Bug rtl-optimization/115883] [15 Regression] late-combine exposing LRA problems
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115883 --- Comment #1 from Eric Botcazou --- Are you sure about REG_POINTER though? IIRC the PA port does rely on it for correctness.
[Bug target/115591] internal error on global variable-length array
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115591 Eric Botcazou changed: What|Removed |Added Target Milestone|--- |14.2 Status|NEW |RESOLVED Resolution|--- |FIXED --- Comment #13 from Eric Botcazou --- Thanks! Fixed on mainline and 14 branch.
[Bug target/115591] internal error on global variable-length array
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115591 --- Comment #10 from Eric Botcazou --- Thanks Jeff! Any objection to backporting the fix onto the 14 branch?
[Bug target/115591] internal error on global variable-length array
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115591 --- Comment #7 from Eric Botcazou --- > Just threw this into my tester. Figure ~90 minutes to get back the cross > results. Thanks! > I assume that if we go forward that you'll handle putting together a > regression test since it's Ada source? Yes, will do.
[Bug target/115739] Building cross-compiler to sparc-wrs-vxworks fails since r15-1594-g55947b32c38a40
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115739 --- Comment #3 from Eric Botcazou --- The fix is OK for mainline, thanks!
[Bug ada/115630] Bounded queue does not finalize controlled components
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115630 Eric Botcazou changed: What|Removed |Added Resolution|--- |FIXED Target Milestone|--- |14.0 Status|WAITING |RESOLVED --- Comment #4 from Eric Botcazou --- Thanks for confirming. This also works with 14.x for me.
[Bug ada/115666] Cloaking access to subprogram in a record allows storing anonymous access-to-subprogram value
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115666 --- Comment #5 from Eric Botcazou --- I probably should have said "but nobody should write this sort of code."
[Bug ada/115630] Bounded queue does not finalize controlled components
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115630 Eric Botcazou changed: What|Removed |Added Last reconfirmed||2024-06-27 Ever confirmed|0 |1 CC||ebotcazou at gcc dot gnu.org Status|UNCONFIRMED |WAITING --- Comment #1 from Eric Botcazou --- Please try with newer versions, 14.x at least or else mainline.
[Bug ada/115666] Cloaking access to subprogram in a record allows storing anonymous access-to-subprogram value
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115666 Eric Botcazou changed: What|Removed |Added Ever confirmed|0 |1 Status|UNCONFIRMED |NEW CC||ebotcazou at gcc dot gnu.org Last reconfirmed||2024-06-27 --- Comment #2 from Eric Botcazou --- Confirmed, but nobody should write this sort of things.
[Bug target/115608] ICE in extract_insn, at recog.cc:2812 when building with -mv8plus
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115608 Eric Botcazou changed: What|Removed |Added Target Milestone|--- |14.2 Status|NEW |RESOLVED Resolution|--- |FIXED --- Comment #10 from Eric Botcazou --- Probably 20 years too late, but thanks for reporting the problem. ;-)
[Bug target/115591] internal error on global variable-length array
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115591 --- Comment #5 from Eric Botcazou --- Jeff, this looks like an obvious fix given the comment just above the modified code, but only a maintainer can probably assess that.
[Bug target/115608] ICE in extract_insn, at recog.cc:2812 when building with -mv8plus
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115608 --- Comment #7 from Eric Botcazou --- Right, but Solaris does it automatically so Linux can probably mimic it.
[Bug target/115608] ICE in extract_insn, at recog.cc:2812 when building with -mv8plus
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115608 Eric Botcazou changed: What|Removed |Added Status|WAITING |NEW --- Comment #5 from Eric Botcazou --- Tentative fix: diff --git a/gcc/config/sparc/linux64.h b/gcc/config/sparc/linux64.h index 1e2e4aef2ad..83e0d6874d9 100644 --- a/gcc/config/sparc/linux64.h +++ b/gcc/config/sparc/linux64.h @@ -162,7 +162,7 @@ extern const char *host_detect_local_cpu (int argc, const char **argv); "%{m32:%{m64:%emay not use both -m32 and -m64}} \ %{m32:-mptr32 -mno-stack-bias %{!mlong-double-128:-mlong-double-64} \ %{!mcpu*:-mcpu=cypress}} \ -%{mv8plus:-mptr32 -mno-stack-bias %{!mlong-double-128:-mlong-double-64} \ +%{mv8plus:-m32 -mptr32 -mno-stack-bias %{!mlong-double-128:-mlong-double-64} \ %{!mcpu*:-mcpu=v9}} \ %{!m32:%{!mcpu*:-mcpu=ultrasparc}} \ %{!mno-vis:%{!m32:%{!mcpu=v9:-mvis}}}"
[Bug target/115608] ICE in extract_insn, at recog.cc:2812 when building with -mv8plus
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115608 Eric Botcazou changed: What|Removed |Added Last reconfirmed||2024-06-24 Ever confirmed|0 |1 Status|UNCONFIRMED |WAITING --- Comment #3 from Eric Botcazou --- You always need to specify how the compiler has been configured.
[Bug target/115591] internal error on global variable-length array
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115591 --- Comment #2 from Eric Botcazou --- The immediate fix is: diff --git a/gcc/config/riscv/riscv.cc b/gcc/config/riscv/riscv.cc index c17141d909a..5e34dc92210 100644 --- a/gcc/config/riscv/riscv.cc +++ b/gcc/config/riscv/riscv.cc @@ -1702,7 +1702,9 @@ riscv_valid_lo_sum_p (enum riscv_symbol_type sym_type, machine_mode mode, align = (SYMBOL_REF_DECL (x) ? DECL_ALIGN (SYMBOL_REF_DECL (x)) : 1); - size = (SYMBOL_REF_DECL (x) && DECL_SIZE (SYMBOL_REF_DECL (x)) + size = (SYMBOL_REF_DECL (x) + && DECL_SIZE (SYMBOL_REF_DECL (x)) + && tree_fits_uhwi_p (DECL_SIZE (SYMBOL_REF_DECL (x))) ? tree_to_uhwi (DECL_SIZE (SYMBOL_REF_DECL (x))) : 2*BITS_PER_WORD); } but I cannot really test it.
[Bug target/115591] internal error on global variable-length array
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115591 Eric Botcazou changed: What|Removed |Added CC||ebotcazou at gcc dot gnu.org Summary|ICE in riscv64-elf cross|internal error on global |compiler, handling imported |variable-length array |addresses | Build|x86_64-apple-darwin21.6.0 | Status|UNCONFIRMED |NEW Component|ada |target Last reconfirmed||2024-06-23 Ever confirmed|0 |1 --- Comment #1 from Eric Botcazou --- It's a buglet in the RISC-V back-end: (gdb) bt #0 internal_error (gmsgid=0x584aa67 "in %s, at %s:%d") at /home/eric/cvs/gcc/gcc/diagnostic.cc:2255 #1 0x04ad30a2 in fancy_abort ( file=0x4ea1be0 "/home/eric/cvs/gcc/gcc/tree.cc", line=6488, function=0x4ea3cc1 "tree_to_uhwi") at /home/eric/cvs/gcc/gcc/diagnostic.cc:2380 #2 0x02469386 in tree_to_uhwi (t=0x7705aca8) at /home/eric/cvs/gcc/gcc/tree.cc:6488 #3 0x02555b2e in riscv_valid_lo_sum_p (sym_type=SYMBOL_ABSOLUTE, mode=E_BLKmode, x=0x7717bb58) at /home/eric/cvs/gcc/gcc/config/riscv/riscv.cc:1706
[Bug ada/115535] negative value returned by 'Image for array with nonnegative integer component
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115535 Eric Botcazou changed: What|Removed |Added Status|NEW |ASSIGNED Assignee|unassigned at gcc dot gnu.org |ebotcazou at gcc dot gnu.org --- Comment #2 from Eric Botcazou --- I'll have a closer look.
[Bug ada/115507] bogus Constraint_Error for Wide_Wide_Value with wide enumeration literal
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115507 Eric Botcazou changed: What|Removed |Added Status|NEW |ASSIGNED Assignee|unassigned at gcc dot gnu.org |ebotcazou at gcc dot gnu.org --- Comment #2 from Eric Botcazou --- I'll have a closer look.
[Bug ada/115535] negative value returned by 'Image applied to array with nonnegative integer component
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115535 Eric Botcazou changed: What|Removed |Added Ever confirmed|0 |1 Status|UNCONFIRMED |NEW Last reconfirmed||2024-06-18 Summary|Image attribute on arrays |negative value returned by |of unsigned values |'Image applied to array |incorrectly prints a signed |with nonnegative integer |representation under|component |certain conditions | CC||ebotcazou at gcc dot gnu.org --- Comment #1 from Eric Botcazou --- Build_Elementary_Put_Image_Call uses the signedness of the base type but the size of the first subtype, hence the discrepancy.
[Bug ada/115507] bogus Constraint_Error for Wide_Wide_Value with wide enumeration literal
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115507 Eric Botcazou changed: What|Removed |Added Summary|'Wide_Wide_Value failed for |bogus Constraint_Error for |unicode strings |Wide_Wide_Value with wide ||enumeration literal Last reconfirmed||2024-06-18 CC||ebotcazou at gcc dot gnu.org Ever confirmed|0 |1 Status|UNCONFIRMED |NEW --- Comment #1 from Eric Botcazou --- System.Val_Util.Normalize_String incorrectly normalizes the input string.
[Bug tree-optimization/87332] [meta-bug] Issues related to Identical Code Folding (ICF) and Tail Merging (-ftree-tail-merge)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87332 Bug 87332 depends on bug 109817, which changed state. Bug 109817 Summary: internal error in ICF pass on Ada interfaces https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109817 What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|--- |FIXED
[Bug ipa/109817] internal error in ICF pass on Ada interfaces
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109817 Eric Botcazou changed: What|Removed |Added Target Milestone|14.2|15.0 Resolution|--- |FIXED Status|ASSIGNED|RESOLVED --- Comment #9 from Eric Botcazou --- Fixed on the mainline.
[Bug ada/114710] too late finalization of temporary object
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114710 Eric Botcazou changed: What|Removed |Added Status|ASSIGNED|RESOLVED Target Milestone|--- |15.0 Resolution|--- |FIXED --- Comment #6 from Eric Botcazou --- Fixed on the mainline.
[Bug ada/115376] ICE with if expression in value setting of a constant declaration
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115376 --- Comment #3 from Eric Botcazou --- > After trying and several attempts to find a small reproducer, I'm afraid > that I won't be able to provide better help than the ALS team could. Note that a small reproducer is not mandatory, so it's usually just a matter of concatenating the sources files listed in the bug box, optionally compressing the result and attaching it to the PR.
[Bug ada/114708] [12/13/14/15 regression] internal error on access to an incomplete formal in generic package
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114708 Eric Botcazou changed: What|Removed |Added Target Milestone|--- |12.4 Status|ASSIGNED|RESOLVED Resolution|--- |FIXED --- Comment #8 from Eric Botcazou --- Fixed in mainline, 14, 13 and 12 branches.
[Bug ada/114398] [13/14/15 regression] Storage_Error with 'Access of primitive function returning limited type
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114398 Eric Botcazou changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED|RESOLVED --- Comment #10 from Eric Botcazou --- Fixed on mainline, 14 and 13 branches.
[Bug ada/114398] [13/14/15 regression] Storage_Error with 'Access of primitive function returning limited type
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114398 --- Comment #9 from Eric Botcazou --- https://gcc.gnu.org/g:e54d90911858174a0c528d2c06198bc2061b3b22 commit r13-8829-ge54d90911858174a0c528d2c06198bc2061b3b22 Author: Javier Miranda Date: Thu Apr 18 09:54:22 2024 + ada: Storage_Error in indirect call to function returning limited type At runtime the code generated by the compiler reports the exception Storage_Error in an indirect call through an access-to-subprogram variable that references a function returning a limited tagged type object. gcc/ada/ * sem_ch6.adb (Might_Need_BIP_Task_Actuals): Add support for access-to-subprogram parameter types. * exp_ch6.adb (Add_Task_Actuals_To_Build_In_Place_Call): Add dummy BIP parameters to access-to-subprogram types that may reference a function that has BIP parameters.
[Bug ada/114398] [13/14/15 regression] Storage_Error with 'Access of primitive function returning limited type
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114398 --- Comment #7 from Eric Botcazou --- https://gcc.gnu.org/g:a1bec0455fb6f871bbc2c80d6e19c90deebbf824 commit r14-10298-ga1bec0455fb6f871bbc2c80d6e19c90deebbf824 Author: Javier Miranda Date: Thu Apr 18 09:54:22 2024 + ada: Storage_Error in indirect call to function returning limited type At runtime the code generated by the compiler reports the exception Storage_Error in an indirect call through an access-to-subprogram variable that references a function returning a limited tagged type object. gcc/ada/ * sem_ch6.adb (Might_Need_BIP_Task_Actuals): Add support for access-to-subprogram parameter types. * exp_ch6.adb (Add_Task_Actuals_To_Build_In_Place_Call): Add dummy BIP parameters to access-to-subprogram types that may reference a function that has BIP parameters.
[Bug ada/114398] [13/14/15 regression] Storage_Error with 'Access of primitive function returning limited type
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114398 --- Comment #4 from Eric Botcazou --- https://gcc.gnu.org/g:add6d89eaed4070803882b9a0b643d963ca8d80a commit r15-1158-gadd6d89eaed4070803882b9a0b643d963ca8d80a Author: Javier Miranda Date: Thu Apr 18 09:54:22 2024 + ada: Storage_Error in indirect call to function returning limited type At runtime the code generated by the compiler reports the exception Storage_Error in an indirect call through an access-to-subprogram variable that references a function returning a limited tagged type object. gcc/ada/ * sem_ch6.adb (Might_Need_BIP_Task_Actuals): Add support for access-to-subprogram parameter types. * exp_ch6.adb (Add_Task_Actuals_To_Build_In_Place_Call): Add dummy BIP parameters to access-to-subprogram types that may reference a function that has BIP parameters.
[Bug ada/115376] ICE with if expression in value setting of a constant declaration
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115376 Eric Botcazou changed: What|Removed |Added CC||ebotcazou at gcc dot gnu.org Status|UNCONFIRMED |WAITING Ever confirmed|0 |1 Last reconfirmed||2024-06-07 --- Comment #1 from Eric Botcazou --- See https://gcc.gnu.org/bugs/#gnat for instructions on how to report a bug.
[Bug ada/115349] compiler infers the wrong Accum_Type for a Reducer expression
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115349 Eric Botcazou changed: What|Removed |Added Last reconfirmed||2024-06-05 CC||ebotcazou at gcc dot gnu.org Status|UNCONFIRMED |NEW Ever confirmed|0 |1 --- Comment #1 from Eric Botcazou --- What crash do you get though? AFAICS it's a standard Constraint_Error.
[Bug ada/115305] [15 Regression] many (162) acats regressions on i686-darwin9
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115305 --- Comment #7 from Eric Botcazou --- They might come from https://gcc.gnu.org/cgi-bin/gcc-gitref.cgi?r=r15-615 and, in particular, the change made to libgnarl/s-osinte__darwin.ads, in which case the way out would be to duplicate libgnat/s-oslock__posix.ads into libgnat/s-oslock__darwin.ads, add back the sig field and remove the alignment clause there, and then do the substitution on line 2749 of Makefile.rtl.
[Bug ada/115305] [15 Regression] many (162) acats regressions on i686-darwin9
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115305 Eric Botcazou changed: What|Removed |Added Version|14.0|15.0 Status|UNCONFIRMED |NEW Summary|[15 Regression] many (162) |[15 Regression] many (162) |acats regressions on|acats regressions on |i686-darwin9. |i686-darwin9 Ever confirmed|0 |1 Last reconfirmed||2024-05-31 CC||ebotcazou at gcc dot gnu.org --- Comment #5 from Eric Botcazou --- Thanks for creating the PR.
[Bug ada/115292] [15 Regression] i686-darwin17 bootstrap fails for Ada (between r15-856 and r15-889)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115292 Eric Botcazou changed: What|Removed |Added Ever confirmed|0 |1 CC||ebotcazou at gcc dot gnu.org Status|UNCONFIRMED |WAITING Last reconfirmed||2024-05-30 --- Comment #1 from Eric Botcazou --- Can you post the list of ACATS regressions on the 32-bit host?
[Bug ada/115270] GNAT tools do not link on 32-bit SPARC/Linux
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115270 Eric Botcazou changed: What|Removed |Added Resolution|--- |FIXED Status|NEW |RESOLVED --- Comment #6 from Eric Botcazou --- Thanks for reporting the problem and testing the fix.