diff options
Diffstat (limited to 'pc')
-rw-r--r-- | pc/ChangeLog | 10 | ||||
-rw-r--r-- | pc/config.h | 4 | ||||
-rw-r--r-- | pc/config.sed | 4 | ||||
-rw-r--r-- | pc/gawkmisc.pc | 44 |
4 files changed, 54 insertions, 8 deletions
diff --git a/pc/ChangeLog b/pc/ChangeLog index a5df389c..e46ae070 100644 --- a/pc/ChangeLog +++ b/pc/ChangeLog @@ -1,3 +1,13 @@ +2016-04-07 Eli Zaretskii <eliz@gnu.org> + + * config.h: Don't define WEXITSTATUS, it is now defined in + nonposix.h. + + * config.sed: Don't define WEXITSTATUS, it is now defined in + nonposix.h. + + * gawkmisc.pc (w32_status_to_termsig) [__MINGW32__]: New function. + 2016-03-16 Eli Zaretskii <eliz@gnu.org> * gawkmisc.pc (usleep): Condition on MinGW runtime version older diff --git a/pc/config.h b/pc/config.h index ca19f705..09572ada 100644 --- a/pc/config.h +++ b/pc/config.h @@ -629,7 +629,3 @@ typedef int int32_t; #define strcasecmp stricmp #define strncasecmp strnicmp #endif - -#if defined(__MINGW32__) -# define WEXITSTATUS(stat_val) ((stat_val) & ~0xC0000000) -#endif diff --git a/pc/config.sed b/pc/config.sed index e18a6e68..024abab8 100644 --- a/pc/config.sed +++ b/pc/config.sed @@ -297,8 +297,4 @@ typedef int int32_t;\ #if defined(__EMX__)\ #define strcasecmp stricmp\ #define strncasecmp strnicmp\ -#endif\ -\ -#if defined(__MINGW32__)\ -# define WEXITSTATUS(stat_val) ((stat_val) & ~0xC0000000)\ #endif diff --git a/pc/gawkmisc.pc b/pc/gawkmisc.pc index 486b1853..3f66db44 100644 --- a/pc/gawkmisc.pc +++ b/pc/gawkmisc.pc @@ -852,6 +852,50 @@ w32_shutdown (int fd, int how) #endif /* HAVE_SOCKETS */ +/* Translate abnormal exit status of Windows programs into the signal + that terminated the program. This is required to support scm_kill + and WTERMSIG. */ + +#include <signal.h> + +struct signal_and_status { + int sig; + unsigned status; +}; + +static const struct signal_and_status sigtbl[] = { + {SIGSEGV, 0xC0000005}, /* access to invalid address */ + {SIGSEGV, 0xC0000008}, /* invalid handle */ + {SIGILL, 0xC000001D}, /* illegal instruction */ + {SIGILL, 0xC0000025}, /* non-continuable instruction */ + {SIGSEGV, 0xC000008C}, /* array bounds exceeded */ + {SIGFPE, 0xC000008D}, /* float denormal */ + {SIGFPE, 0xC000008E}, /* float divide by zero */ + {SIGFPE, 0xC000008F}, /* float inexact */ + {SIGFPE, 0xC0000090}, /* float invalid operation */ + {SIGFPE, 0xC0000091}, /* float overflow */ + {SIGFPE, 0xC0000092}, /* float stack check */ + {SIGFPE, 0xC0000093}, /* float underflow */ + {SIGFPE, 0xC0000094}, /* integer divide by zero */ + {SIGFPE, 0xC0000095}, /* integer overflow */ + {SIGILL, 0xC0000096}, /* privileged instruction */ + {SIGSEGV, 0xC00000FD}, /* stack overflow */ + {SIGTERM, 0xC000013A}, /* Ctrl-C exit */ + {SIGINT, 0xC000013A} +}; + +int +w32_status_to_termsig (unsigned status) +{ + int i; + + for (i = 0; i < sizeof (sigtbl) / sizeof (sigtbl[0]); i++) + if (status == sigtbl[i].status) + return sigtbl[i].sig; + + return SIGTERM; +} + #endif /* __MINGW32__ */ #if defined(__DJGPP__) || defined(__MINGW32__) || defined(__EMX__) |