Austin Group Defect Tracker

Aardvark Mark IV


Viewing Issue Simple Details Jump to Notes ] Issue History ] Print ]
ID Category Severity Type Date Submitted Last Update
0001328 [1003.1(2016)/Issue7+TC2] System Interfaces Objection Omission 2020-02-24 19:13 2020-06-11 11:19
Reporter eblake View Status public  
Assigned To
Priority normal Resolution Accepted  
Status Applied  
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 Note: 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
Attached Files

- Relationships

-  Notes
(0004786)
eblake (manager)
2020-02-24 19:17

Original report by Bruno Haible here:
https://lists.gnu.org/archive/html/bug-gnulib/2020-02/msg00121.html [^]
(0004836)
nick (manager)
2020-04-30 16:02

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
(0004843)
ajosey (manager)
2020-04-30 16:39

Interpretation proposed: April 30 2020
(0004883)
ajosey (manager)
2020-06-02 09:37

Approved: 2nd June 2020

- Issue History
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)/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 Note: 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


Mantis 1.1.6[^]
Copyright © 2000 - 2008 Mantis Group
Powered by Mantis Bugtracker