• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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