104 |
|
|
105 |
int cssize; |
int cssize; |
106 |
|
|
107 |
|
#ifdef SGC |
108 |
int sgc_enabled; |
int sgc_enabled; |
109 |
|
#endif |
110 |
void install_segmentation_catcher(void); |
void install_segmentation_catcher(void); |
111 |
|
|
112 |
#ifndef SIG_STACK_SIZE |
#ifndef SIG_STACK_SIZE |
373 |
{ |
{ |
374 |
if (catch_fatal>0 && interrupt_enable ) |
if (catch_fatal>0 && interrupt_enable ) |
375 |
{catch_fatal = -1; |
{catch_fatal = -1; |
376 |
|
#ifdef SGC |
377 |
if (sgc_enabled) |
if (sgc_enabled) |
378 |
{ sgc_quit();} |
{ sgc_quit();} |
379 |
if (sgc_enabled==0) |
if (sgc_enabled==0) |
380 |
|
#endif |
381 |
{ install_segmentation_catcher() ;} |
{ install_segmentation_catcher() ;} |
382 |
FEerror("Caught fatal error [memory may be damaged]",0); } |
FEerror("Caught fatal error [memory may be damaged]",0); } |
383 |
printf("\nUnrecoverable error: %s.\n", s); |
printf("\nUnrecoverable error: %s.\n", s); |