Re: possible bug in fseek of buffered files shared between processes (example uses stdin)

[David Holland <dholland-tech%netbsd.org@localhost>]

On Tue, Nov 02, 2021 at 04:54:58PM -0700, Carlo Arenas wrote:
 > Note that the way the wording is done in that paragraph, it might seem
 > to imply that the position is a property of the file and not of the
 > FILE, so you could have more than one FILE pointing to the same fd,
 > and any fseek on it should be visible to them all.

That's a preposterous interpretation, though, because it would
prohibit buffering in stdio and that's the whole point of stdio.

Anyway, I don't see it, because C itself has no notion of files, let
alone other processes. There are only FILEs.

-- 
David A. Holland
dholland%netbsd.org@localhost