64 |
main (int argc, char **argv) |
main (int argc, char **argv) |
65 |
{ |
{ |
66 |
signal (SIGSEGV, bug_handler); |
signal (SIGSEGV, bug_handler); |
67 |
|
signal (SIGFPE, bug_handler); |
68 |
|
|
69 |
gsl_set_error_handler_off(); |
gsl_set_error_handler_off(); |
70 |
|
|
186 |
void |
void |
187 |
bug_handler(int sig UNUSED) |
bug_handler(int sig UNUSED) |
188 |
{ |
{ |
189 |
request_bug_report_and_abort("Segmentation Violation"); |
switch (sig) |
190 |
|
{ |
191 |
|
case SIGFPE: |
192 |
|
request_bug_report_and_abort("Floating Point Exception"); |
193 |
|
break; |
194 |
|
case SIGSEGV: |
195 |
|
request_bug_report_and_abort("Segmentation Violation"); |
196 |
|
break; |
197 |
|
default: |
198 |
|
request_bug_report_and_abort(""); |
199 |
|
break; |
200 |
|
} |
201 |
} |
} |