[Bug middle-end/116933] various issues of -ftrivial-auto-var-init=zero with Ada

2024-10-05 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-10-04 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-10-04 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-10-04 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-10-04 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-10-04 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-10-04 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-10-04 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-10-04 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-10-04 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-10-04 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-10-04 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-10-04 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-10-04 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-10-04 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-10-04 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-10-04 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-10-04 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-10-04 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-10-04 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-10-04 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-10-04 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-10-04 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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)

2024-10-03 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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)

2024-10-03 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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)

2024-10-03 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-10-02 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-10-02 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-10-02 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-10-02 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-10-02 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-10-02 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-09-30 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-09-30 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-09-30 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-09-30 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-09-26 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-09-26 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-09-26 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-09-26 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-09-26 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-09-26 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-09-21 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113945

--- Comment #4 from Eric Botcazou  ---
No objections.

[Bug target/113945] Switch visium to LRA

2024-09-21 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-09-17 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-09-13 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-09-12 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-09-09 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-09-09 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-09-09 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-09-09 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-09-09 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-09-09 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-09-09 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-09-09 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-09-09 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-09-09 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-09-09 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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)

2024-09-09 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-09-09 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-09-09 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-09-09 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-09-08 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-08-21 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-07-12 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-07-12 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-07-06 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-07-06 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-07-02 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-07-02 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-06-27 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-06-27 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-06-27 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-06-27 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-06-25 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-06-25 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-06-24 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-06-24 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-06-24 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-06-23 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-06-23 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-06-19 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-06-19 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-06-18 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-06-18 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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)

2024-06-14 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-06-14 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-06-13 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-06-13 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-06-10 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-06-10 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-06-10 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-06-10 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-06-10 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-06-07 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-06-05 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-05-31 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-05-31 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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)

2024-05-30 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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

2024-05-29 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
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.

  1   2   3   4   5   6   7   8   9   10   >