Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

Referring to the value of errno after a signal occurred other than A signal handler is allowed to call signal(), and if that fails, signal() returns SIG_ERR and sets errno to a positive value.  However, if the event that caused a signal was external (not as the result of the program calling the abort() or raise() function and the corresponding signal handler obtained a SIG_ERR return from a call to the signal() function()), the signal handler must only call signal() on the signal currently being handled, and if signal() fails, the value of errno is indeterminate.

This is a special case of SIG31-C. Do not access or modify shared objects in signal handlers.  The object designated by errno is of static storage duration and is not a volatile sig_atomic_t.  Therefore, performing any action that would require errno to be set would normally cause undefined behavior.  The C standard makes a special exception for errno in this case, saying the only thing that is allowed to go wrong is that errno takes on an indeterminate value.  This makes it possible to call signal() from within a signal handler without risking completely unrestricted undefined behavior, but the handler must not depend on the value of errno being meaningful.

Non-Compliant Code Example

...

Code Block
bgColor#FFcccc
#include <signal.h>
#include <stdlib.h>
#include <string.h>

typedef void (*pfv)(int);

void handler(int signum) {
  pfv old_handler = signal(signum, handler);
  if (old_handler == SIG_ERR) {
    perror("SIGINT handler"); /* undefined behavior */
    /* handle error condition */
  }
  strcpy(err_msg, "SIGINT encountered.");
}

int main(void) {
  pfv old_handler = signal(SIGINT, handler);
  if (old_handler == SIG_ERR) {
    perror("SIGINT handler");
    /* handle error condition */
  }

  /* main code loop */

  return 0;
}

The call to perror() also violates SIG30-C. Call only asynchronous-safe functions within signal handlers.

Compliant Solution

The compliant solution does not reference errno.

...