Re: reasons for segmentation faults on linux

[Mark Johnson <Mark_H_Johnson@Raytheon.com>]

Preben Randhol wrote:

> [snip]

> Infinite recursion:
>
> procedure A is
> begin
>    A;
> end A;
>
> % gnatmake a.adb
> gnatgcc -c a.adb
> a.adb:3:04: warning: possible infinite aursion
> a.adb:3:04: warning: Storage_Error may be raised at run time
> gnatbind -x a.ali
> gnatlink a.ali
>
> % ./a
> Segmentation fault
>
> Why isn't Storage_Error raised? GNAT 3.13p on GNU/Debian Linux.
>

RTFM :-). Add -fstack-check to the gnatmake command line to get stack
checking turned on.

As a suggestion, define an environment name w/ the "desired" command line
options & use it instead. At our site...
  GNAT_TESTING="-g -gnata -funwind-tables -gnatO -j3 -gnatn -O2 -gnatwa
-gnatf -fstack-check -gnato -gnatq -gnatU"
and it properly issues the error...

raised STORAGE_ERROR : stack overflow detected

Though perhaps I should submit a bug report to ACT about the warning being in
error if stack checking is suppressed.
  --Mark