From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <eggert@cs.ucla.edu>
Received: from zimbra.cs.ucla.edu (zimbra.cs.ucla.edu [131.179.128.68])
 by sourceware.org (Postfix) with ESMTPS id 76B003858D37
 for <gcc@gcc.gnu.org>; Thu, 14 Jul 2022 17:07:55 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 76B003858D37
Authentication-Results: sourceware.org;
 dmarc=none (p=none dis=none) header.from=cs.ucla.edu
Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=cs.ucla.edu
Received: from localhost (localhost [127.0.0.1])
 by zimbra.cs.ucla.edu (Postfix) with ESMTP id DE03116015C;
 Thu, 14 Jul 2022 10:07:53 -0700 (PDT)
Received: from zimbra.cs.ucla.edu ([127.0.0.1])
 by localhost (zimbra.cs.ucla.edu [127.0.0.1]) (amavisd-new, port 10032)
 with ESMTP id inGdJkrdI6V7; Thu, 14 Jul 2022 10:07:53 -0700 (PDT)
Received: from localhost (localhost [127.0.0.1])
 by zimbra.cs.ucla.edu (Postfix) with ESMTP id 452DE1601A5;
 Thu, 14 Jul 2022 10:07:53 -0700 (PDT)
X-Virus-Scanned: amavisd-new at zimbra.cs.ucla.edu
Received: from zimbra.cs.ucla.edu ([127.0.0.1])
 by localhost (zimbra.cs.ucla.edu [127.0.0.1]) (amavisd-new, port 10026)
 with ESMTP id imqQ1ahucN01; Thu, 14 Jul 2022 10:07:53 -0700 (PDT)
Received: from [192.168.1.9] (cpe-172-91-119-151.socal.res.rr.com
 [172.91.119.151])
 by zimbra.cs.ucla.edu (Postfix) with ESMTPSA id 1BA4016015C;
 Thu, 14 Jul 2022 10:07:53 -0700 (PDT)
Message-ID: <2c9c0ebc-284b-63a5-ede5-00a32d5c8b2c@cs.ucla.edu>
Date: Thu, 14 Jul 2022 10:07:52 -0700
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101
 Thunderbird/91.9.1
Subject: Re: Adding file descriptor attribute(s) to gcc and glibc
Content-Language: en-US
To: David Malcolm <dmalcolm@redhat.com>
Cc: Szabolcs Nagy via Gcc <gcc@gcc.gnu.org>, libc-alpha@sourceware.org
References: <CY4PR1801MB1910129FD314E45D7AF2CC70C6869@CY4PR1801MB1910.namprd18.prod.outlook.com>
 <CAE1-7oyLmZJAue2S39fsvvJPH3KabPDNqhL6jjwTv4RybeAQEQ@mail.gmail.com>
 <260f0b41c663133cea96eb64bd85e8ba16d8a936.camel@redhat.com>
 <5769682d0d17579cbd72f72a4001bfa8444b80a8.camel@redhat.com>
 <Ys6ENUYqC2Qm5MUL@arm.com> <877d4h1alh.fsf@oldenburg.str.redhat.com>
 <6460438cc9e634d0b5e40a1438038c9adce151bb.camel@redhat.com>
 <87tu7lyuvv.fsf@oldenburg.str.redhat.com>
 <71f2ff67c5e81ab98860d28232cba74a96c1f441.camel@redhat.com>
 <Ys/UKN3/TBGM/M73@arm.com>
 <159ec66633a19d8b5cf038f45630e2e8ca8d6b6c.camel@redhat.com>
From: Paul Eggert <eggert@cs.ucla.edu>
Organization: UCLA Computer Science Department
In-Reply-To: <159ec66633a19d8b5cf038f45630e2e8ca8d6b6c.camel@redhat.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Spam-Status: No, score=-3.3 required=5.0 tests=BAYES_00, KAM_DMARC_STATUS,
 NICE_REPLY_A, SPF_HELO_NONE, SPF_PASS, TXREP,
 T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
 server2.sourceware.org
X-BeenThere: gcc@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc mailing list <gcc.gcc.gnu.org>
List-Unsubscribe: <https://gcc.gnu.org/mailman/options/gcc>,
 <mailto:gcc-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc/>
List-Post: <mailto:gcc@gcc.gnu.org>
List-Help: <mailto:gcc-request@gcc.gnu.org?subject=help>
List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/gcc>,
 <mailto:gcc-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Thu, 14 Jul 2022 17:07:56 -0000

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.