In signal handler, crash if write() fails in an unexpected way

diff --git a/statemc.c b/statemc.c
index cb5139dc880b5647914ef591fb5abcf965608ace..b068722a15e339f81e7639341110c2ab977f433e 100644 (file)
--- a/statemc.c
+++ b/statemc.c
@@ -546,7 +546,8 @@ static void sigarrived_handler(int signum) {
   default:
     abort();
   }
-  write(signal_self_pipe[1],&x,1);
+  int r = write(signal_self_pipe[1],&x,1);
+  if (!(r==1 || isewouldblock(errno))) abort();
   errno = esave;
 }