View Issue Details
| ID | Project | Category | View Status | Date Submitted | Last Update |
|---|---|---|---|---|---|
| 0001328 | 1003.1(2016/18)/Issue7+TC2 | System Interfaces | public | 2020-02-24 19:13 | 2024-06-11 09:08 |
| Reporter | eblake | Assigned To | |||
| Priority | normal | Severity | Objection | Type | Omission |
| Status | Closed | Resolution | Accepted | ||
| Name | Eric Blake | ||||
| Organization | Red Hat | ||||
| User Reference | posix_spawn.restrict | ||||
| Section | XSH posix_spawn | ||||
| Page Number | 1452 | ||||
| Line Number | 48197 | ||||
| Interp Status | Approved | ||||
| Final Accepted Text | See 0001328:0004836 | ||||
| Summary | 0001328: posix_spawn lacks use of restrict | ||||
| Description | It looks like POSIX tries to uniformly apply restrict to any pointer (or potential pointer) argument of a function that takes multiple pointers that involve char*, void*, or identical types, where overlap between those pointers is not expected. However, on posix_spawn, this approach was not completely applied, and the file_actions parameter lacks a useful restrict designation. | ||||
| Desired Action | At page 341 line 11585, and page 342 line 11620 (<spawn.h> posix_spawn and posix_spawnp), change:const posix_spawn_file_actions_t *,to const posix_spawn_file_actions_t *restrict, At page 1451 lines 48197 and 48201, and page 1489 line 49169 (posix_spawnp), change: const posix_spawn_file_actions_t *file_actions,to const posix_spawn_file_actions_t *restrict file_actions, | ||||
| Tags | issue8 | ||||
|
|
Original report by Bruno Haible here: https://lists.gnu.org/archive/html/bug-gnulib/2020-02/msg00121.html |
|
|
Interpretation response ------------------------ The standard states the requirements, and conforming implementations must conform to this. However, concerns have been raised about this which are being referred to the sponsor. Rationale: ------------- None Notes to the Editor (not part of this interpretation): ------------------------------------------------------- See Desired Action |
|
|
Interpretation proposed: April 30 2020 |
|
|
Approved: 2nd June 2020 |
| Date Modified | Username | Field | Change |
|---|---|---|---|
| 2020-02-24 19:13 | eblake | New Issue | |
| 2020-02-24 19:13 | eblake | Name | => Eric Blake |
| 2020-02-24 19:13 | eblake | Organization | => Red Hat |
| 2020-02-24 19:13 | eblake | User Reference | => posix_spawn.restrict |
| 2020-02-24 19:13 | eblake | Section | => XSH posix_spawn |
| 2020-02-24 19:13 | eblake | Page Number | => 1452 |
| 2020-02-24 19:13 | eblake | Line Number | => 48197 |
| 2020-02-24 19:13 | eblake | Interp Status | => --- |
| 2020-02-24 19:17 | eblake | Note Added: 0004786 | |
| 2020-02-25 09:49 | geoffclare | Project | 2008-TC2 => 1003.1(2016/18)/Issue7+TC2 |
| 2020-04-30 15:59 | nick | Status | New => Resolved |
| 2020-04-30 15:59 | nick | Resolution | Open => Accepted |
| 2020-04-30 15:59 | nick | Tag Attached: issue8 | |
| 2020-04-30 16:02 | nick | Interp Status | --- => Pending |
| 2020-04-30 16:02 | nick | Note Added: 0004836 | |
| 2020-04-30 16:02 | nick | Status | Resolved => Interpretation Required |
| 2020-04-30 16:04 | nick | Final Accepted Text | => See 0001328:0004836 |
| 2020-04-30 16:39 | ajosey | Interp Status | Pending => Proposed |
| 2020-04-30 16:39 | ajosey | Note Added: 0004843 | |
| 2020-06-02 09:37 | ajosey | Interp Status | Proposed => Approved |
| 2020-06-02 09:37 | ajosey | Note Added: 0004883 | |
| 2020-06-11 11:19 | geoffclare | Status | Interpretation Required => Applied |
| 2024-06-11 09:08 | agadmin | Status | Applied => Closed |
