<assertions>
  <assertion id="1" tag="ref:XSH6:41693:41694">
sigaddset() adds signal signo to signal set set.
  </assertion>
  <assertion id="2" tag="ref:XSH6:41695:41699">
If an application sends an object of type sigset_t to sigaddset() without
first calling sigemptyset() or sigfillset(), the results are undefined.
  </assertion>
  <assertion id="3" tag="ref:XSH6:41701:41701">
sigaddset() returns 0 on success.
  </assertion>
  <assertion id="4" tag="ref:XSH6:41701:41702">
sigaddset() return -1 if not successful.  It also sets errno to indicate the
error.
  </assertion>
  <assertion id="5" tag="ref:XSH6:41703:41705">
If the value of the signo argument is an invalid or unsupported signal
number, sigaddset() will return EINVAL error status.
  </assertion>
</assertions>
