Re: GNAT Spitbol segmentation fault

["Alex R. Mosteo" <devnull@mailinator.com>]

Simon Wright wrote:

> "Alex R. Mosteo" <devnull@mailinator.com> writes:
> 
>> Very rarely I get a Storage_Error and segment violation that kills
>> the program. Running inside gdb I get this backtrace:
>>
>> #0  0xb7ddf37c in memcpy () from /lib/tls/i686/cmov/libc.so.6
>> #1  0x081b7d8d in ada.strings.fixed.replace_slice ()
>> #2  0x081bd6cf in ada.strings.unbounded.replace_slice ()
>> #3  0x081d4f5e in gnat.spitbol.patterns.match ()
>>
>> Unfortunately, address2line doesn't make any valid source lines from
>> these addresses, I suppose because the gdb wrapping (but this is
>> just a guess).
> 
> For reasons I don't understand the GNAT runtime is compiled without
> -g.

Ah, I see, that's the reason.

> You could rebuild the RTL (there is a script to do so in the adalib
> directory, I think -- yes, Makefile.adalib -- not always completely
> straightforward to use IME but usually possible!).

The error happens so rarely that I have more pressing matters, but I'll try
if I come to it.

Thanks for all the suggestions,

A. Mosteo.