[splint-discuss] problem using splint-3.0.1.6 on NetBSD

[roland.illig at gmx.de]

On Thu, Apr 24, 2003 at 05:42:15PM -0400, Brian Reichert wrote:
> On Thu, Apr 24, 2003 at 10:43:09PM +0200, roland.illig at gmx.de wrote:
> > There are some bugs in the splint libraries. For example, write(2) is not
> > declared to /*@modifies fileSystem; @*/. Where should I send patches to
> > these files?
> 
> But write(2) doesn't modify filesytems, neccessarily.  If writes
> output to a file descriptor.  Your open() semantics (O_CREAT, etc.)
> (or socket(), or whatever) would be where the check for filesystem
> modifications.

but fwrite(3) does. And if fwrite(3) modifies the file system, I expect
the same from write(2).

Roland