Home | History | Annotate | Download | only in signal
      1 <assertions>
      2   <assertion id="1" tag="ref:XSH6:42137:42138">
      3     Default handling for that signal shall occur, if the value of func is SIG_DFL.
      4   </assertion>
      5   <assertion id="2" tag="ref:XSH6:42138:42138">
      6     The signal shall be ingnored if the value of func is SIG_IGN.
      7   </assertion>
      8   <assertion id="3" tag="ref:XSH6:42142:42148">
      9     When a signal occurs, and func points to a function, the equivalent of:  (*func)(sig);
     10     is executed.
     11   </assertion>
     12   <assertion id="4" tag="ref:XSH6:42150:42153">
     13     If and when the signal handler returns, the program shall resume execution at the
     14     point it was interrupted.
     15   </assertion>
     16   <assertion id="5" tag="ref:XSH6:42166:42167">
     17     If the handler is called, signal() shall return the value of
     18     func of the last call to signal() that pertains to the
     19     specified signal sig.
     20   </assertion>
     21   <assertion id="6" tag="ref:XSH6:42170:42172 pt:CX">
     22     The signal( ) function shall return SIG_ERR, and set errno to EINVAL if the sig argument
     23     passed to signal() is not a valid signal number
     24   </assertion>
     25   <assertion id="7" tag="ref:XSH6:42170:42172 pt:CX">
     26     if an attempt is made to catch a
     27     signal that cannot be caught or ignore a signal that cannot be ignored.
     28   </assertion>
     29 </assertions>
     30