This is the mail archive of the
mailing list for the GCC project.
Re: [PATCH]: Fix missed PRE optimization discovered
On Wed, 2008-10-22 at 15:24 +0200, Andreas Schwab wrote:
> Laurent GUERBY <firstname.lastname@example.org> writes:
> > The "cb20006" file was there but empty and not executable hence the
> > failure and sync triggering. I don't know why the linker last called by
> > gnatmake left such a state.
> Perhaps it crashed?
gnatlink is using gcc/ada/adaint.c:__gnat_portable_spawn (which calls
fork/execv/waitpid and seems correct to me) to call the linker. I assume
if the linker crashed the exit code from gnatlink and thus gnatmake
would have indicated a failure and thus we would not reach the sync code
I saw no "xxx segfault" related to linker in /var/log too.
Any hint on where to look welcomed :).