Adding file descriptor attribute(s) to gcc and glibc

Paul Eggert eggert@cs.ucla.edu
Thu Jul 14 17:07:52 GMT 2022


On 7/14/22 08:22, David Malcolm via Libc-alpha wrote:
> The analyzer now attempts to track both file descriptors and stdio
> streams, so we probably need to special-case fdopen

You probably also need to special-case fileno, which goes the opposite 
direction.

If you're handling DIR *, fdopendir and dirfd would need similar treatment.


More information about the Libc-alpha mailing list