• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1<assertions>
2  <assertion id="1" tag="ref:XSH6:41734:41738 pt:XSI">
3	The sigaltstack ( ) function allows
4	A process is able to define and examine the state of an alternate stack for signal handlers using
5	sigaltstack(). Signals shall be delivered on the alternate stack if they have been explicitly declared to
6	execute on the alternate stack. Unless it is a null pointer, ss points to a stack_t structure that
7	specifies the alternate signal stack that shall take effect upon return from sigaltstack ( ).
8  </assertion>
9  <assertion id="2" tag="ref:XSH6:41738:41739 pt:XSI">
10	The stack is disabled and ss_sp and ss_size are ignored, if ss_flags is set to SS_DISABLE
11  </assertion>
12  <assertion id="3" tag="ref:XSH6:41740:41741 pt:XSI">
13	The stack shall be enabled, and the ss_sp and ss_size members specify the new address
14	and size of the stack, if ss_flags is not set to SS_DISABLE.
15  </assertion>
16  <assertion id="4" tag="ref:XSH6:41742:41743 pt:XSI">
17	The area of memory starting at ss_sp up to but not including ss_sp+ss_size is available to the
18	implementation for use as the stack.
19  </assertion>
20  <assertion id="5" tag="ref:XSH6:41745:41747 pt:XSI">
21	On successful completion, oss shall point to a stack_t structure that if it's is not a null pointer.
22	It specifies the alternate signal stack that was in effect prior to the call to sigaltstack ( ).
23	The address and size of that stack are respectively the ss_sp and ss_size members.
24  </assertion>
25  <assertion id="6" tag="ref:XSH6:41747:41749 pt:XSI">
26	When ss_flags is set to SS_ONSTACK, the process is currently executing on the alternate signal stack.
27  </assertion>
28  <assertion id="7" tag="ref:XSH6:41749:41750 pt:XSI">
29	An attempt to modify the alternate signal stack while the process is executing on it will fail.
30  </assertion>
31  <assertion id="8" tag="ref:XSH6:41752:41752 pt:XSI">
32	When ss_flags is set to SS_DISABLE, the alternate signal stack is currently disabled.
33  </assertion>
34  <assertion id="9" tag="ref:XSH6:41759:41760 pt:XSI">
35	There are no alternate signal stacks in the new process image, after a successful call to one of the
36	exec functions.
37  </assertion>
38  <assertion id="10" tag="ref:XSH6:41766:41767 pt:XSI">
39	sigaltstack ( ) shall return 0 upon successful completion,
40  </assertion>
41  <assertion id="11" tag="ref:XSH6:41770:41772 pt:XSI">
42	sigaltstack shall return -1 and set errno to [EINVAL] if the ss argument is not a null pointer, and
43	the ss_flags member pointed to by ss contains flags other than SS_DISABLE.
44  </assertion>
45  <assertion id="12" tag="ref:XSH6:41773:41773 pt:XSI">
46	sigaltstack shall return -1 and set errno to [ENOMEM] if The size of the alternate stack area is
47	less than MINSIGSTKSZ.
48  </assertion>
49  <assertion id="13" tag="ref:XSH6:41774:41774 pt:XSI">
50	sigaltstack shall return -1 and set errno to [EPERM] An attempt was made to modify an active stack.
51  </assertion>
52</assertions>
53
54
55