0000691: specification of *stat_loc values confused by XSI shading; incorrect statement of wait() behavior

Austin Group Defect Tracker

Aardvark Mark IV

Viewing Issue Simple Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Category

Severity

Type

Date Submitted

Last Update

0000691

[1003.1(2013)/Issue7+TC1] System Interfaces

Editorial

Clarification Requested

2013-05-07 08:07

2019-06-10 08:55

Reporter

philip-guenther

View Status

public

Assigned To

Priority

normal

Resolution

Accepted

Status

Closed

Name

Philip Guenther

Organization

OpenBSD

User Reference

Section

wait()

Page Number

2204-2205

Line Number

69925-69939

Interp Status

---

Final Accepted Text

Summary

0000691: specification of *stat_loc values confused by XSI shading; incorrect statement of wait() behavior

Description

If you cut out the XSI shading, the spec starts repeating itself:

    If the information pointed to by stat_loc was stored by a call to
    waitpid() that specified the WUNTRACED flag <...>, exactly one of the
    macros WIFEXITED(*stat_loc), WIFSIGNALED(*stat_loc), and
    WIFSTOPPED(*stat_loc) shall evaluate to a non-zero value.

    If the information pointed to by stat_loc was stored by a call to
    waitpid() that specified the WUNTRACED <...> flags, exactly one of the
    macros WIFEXITED(*stat_loc), WIFSIGNALED(*stat_loc),
    WIFSTOPPED(*stat_loc), <...> shall evaluate to a non-zero value.

The two paragraphs after that have the same problem:

    If the information pointed to by stat_loc was stored by a call to
    waitpid() that did not specify the WUNTRACED <...> flags, or by a call
    to the wait() function, exactly one of the macros WIFEXITED(*stat_loc)
    and WIFSIGNALED(*stat_loc) shall evaluate to a non-zero value.

    If the information pointed to by stat_loc was stored by a call to
    waitpid() that did not specify the WUNTRACED flag <...>, or by a call
    to the wait() function, exactly one of the macros WIFEXITED(*stat_loc),
    WIFSIGNALED(*stat_loc), <...> shall evaluate to a non-zero value.

...but they *also* have a problem when you include the XSI text:

    If the information pointed to by stat_loc was stored by a call to
    waitpid() that did not specify the WUNTRACED or WCONTINUED flags,
    or by a call to the wait() function, exactly one of the macros
    WIFEXITED(*stat_loc) and WIFSIGNALED(*stat_loc) shall evaluate to
    a non-zero value.

    If the information pointed to by stat_loc was stored by a call to
    waitpid() that did not specify the WUNTRACED flag and specified the
    WCONTINUED flag, or by a call to the wait() function, exactly one
    of the macros WIFEXITED(*stat_loc), WIFSIGNALED(*stat_loc), and
    WIFCONTINUED(*stat_loc) shall evaluate to a non-zero value.

Those gives contradicting statements about wait(), the latter suggesting WIFCONTINUED(*stat_loc) can evaluate to a non-zero value for it, which is wrong.

Desired Action

Change the XSI marking on the second and fourth paragraphs (lines 69929-69932 and 69936-69939) to completely enclose those paragraphs. Remove the reference to wait() in the fourth paragraph, ala:
    If the information pointed to by stat_loc was stored by a call to
    waitpid() that did not specify the WUNTRACED flag and specified the
    WCONTINUED flag, exactly one of the macros WIFEXITED(*stat_loc),
    WIFSIGNALED(*stat_loc), and WIFCONTINUED(*stat_loc) shall evaluate
    to a non-zero value.

Issue History
Date Modified	Username	Field	Change
2013-05-07 08:07	philip-guenther	New Issue
2013-05-07 08:07	philip-guenther	Name	=> Philip Guenther
2013-05-07 08:07	philip-guenther	Organization	=> OpenBSD
2013-05-07 08:07	philip-guenther	Section	=> wait()
2013-05-07 08:07	philip-guenther	Page Number	=> 2204-2205
2013-05-07 08:07	philip-guenther	Line Number	=> 69925-69939
2013-05-16 16:13	Don Cragun	Interp Status	=> ---
2013-05-16 16:13	Don Cragun	Status	New => Resolved
2013-05-16 16:13	Don Cragun	Resolution	Open => Accepted
2013-05-16 16:13	Don Cragun	Tag Attached: tc2-2008
2019-06-10 08:55	agadmin	Status	Resolved => Closed

Relationships