https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83027
--- Comment #17 from Victor Porton ---
Created attachment 42666
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=42666&action=edit
Minimal example reprising the bug
I've created the minimal example reprising the bug.
The bug is actually awf
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83027
--- Comment #16 from Victor Porton ---
I've discovered that Ahven source uses tasking.
So it is most likely some tasking problem with Ahven.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83027
--- Comment #15 from Eric Botcazou ---
> It is a GCC bug rather than an Ahven bug, because the bug is triggered by
> `with Ada.Text_IO;` (and disappears if we remove this line from
> spawn-signals.adb) which should not influence semantics of the
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83027
--- Comment #14 from Tero Koskinen ---
Created attachment 42640
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=42640&action=edit
ahven sources + modified simple_test
I added a way to reproduce the problem.
Extract all files, check Makefil
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83027
--- Comment #13 from Victor Porton ---
It is a GCC bug rather than an Ahven bug, because the bug is triggered by `with
Ada.Text_IO;` (and disappears if we remove this line from spawn-signals.adb)
which should not influence semantics of the progra
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83027
Tero Koskinen changed:
What|Removed |Added
CC||tero.koskinen at iki dot fi
--- Comment
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83027
--- Comment #11 from Victor Porton ---
Debian libahven27 package version 2.6-1.2.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83027
--- Comment #10 from Victor Porton ---
I notified the Ahven author.
However, the bug is quite weird: Isn't linking with a library just no-op if no
functions from the library are called? I wonder how the bug may depend on
linking with it. So I fe
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83027
--- Comment #9 from simon at pushface dot org ---
Seems to me your problem is with the Ahven library rather than with GCC, so the
person to investigate it should be the Ahven maintainer.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83027
--- Comment #8 from Victor Porton ---
Created attachment 42634
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=42634&action=edit
Sources in gnatchop format
Run
gnatchop all.chop to extract the sources.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83027
--- Comment #7 from Victor Porton ---
There is an easier way to reprise the bug:
Copy all source files into a directory and run:
gnatmake simple_test -largs -lahven
./simple_test
To reprise the bug, you need Ahven installed.
I will attach sou
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83027
--- Comment #6 from Victor Porton ---
I found that the presence of the bug depends on presense `-lahven` in the
linker command.
Adding -lahven leads to the bug, removing it removes the bug.
Weird?
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83027
--- Comment #5 from Victor Porton ---
Created attachment 42633
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=42633&action=edit
The source reprising the bug without "ainet"
Needs "ahven" to reprise the bug.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83027
--- Comment #4 from Victor Porton ---
If I remove `with "ahven";` from spawn_tests.gpr the bug disappears.
Seems to do something with elaboration order.
I also deleted `with "anet";` from spawn_common.gpr without any effect on the
bug.
I will
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83027
--- Comment #3 from Victor Porton ---
GCC 7.2.0, Debian Linux 4.13.0.
Eric Botcazou: I can't make a standalone reproducer without project file,
because the bug appears only when I compile in two stages: creating an .a
library and then linking wi
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83027
simon at pushface dot org changed:
What|Removed |Added
CC||simon at pushface dot org
---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83027
Eric Botcazou changed:
What|Removed |Added
Status|UNCONFIRMED |WAITING
Last reconfirmed|
17 matches
Mail list logo
