From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <SRS0=AZi2=BK=cs.ucla.edu=eggert@sourceware.org>
Received: from mail.cs.ucla.edu (mail.cs.ucla.edu [131.179.128.66])
	by sourceware.org (Postfix) with ESMTPS id E212D3858D20
	for <libc-alpha@sourceware.org>; Sun, 21 May 2023 08:44:21 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org E212D3858D20
Authentication-Results: sourceware.org; dmarc=pass (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 mail.cs.ucla.edu (Postfix) with ESMTP id 48BD73C02213D;
	Sun, 21 May 2023 01:44:21 -0700 (PDT)
Received: from mail.cs.ucla.edu ([127.0.0.1])
	by localhost (mail.cs.ucla.edu [127.0.0.1]) (amavisd-new, port 10032)
	with ESMTP id IYPGi4LlAL37; Sun, 21 May 2023 01:44:20 -0700 (PDT)
Received: from localhost (localhost [127.0.0.1])
	by mail.cs.ucla.edu (Postfix) with ESMTP id BD91B3C09FA29;
	Sun, 21 May 2023 01:44:20 -0700 (PDT)
DKIM-Filter: OpenDKIM Filter v2.10.3 mail.cs.ucla.edu BD91B3C09FA29
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cs.ucla.edu;
	s=9D0B346E-2AEB-11ED-9476-E14B719DCE6C; t=1684658660;
	bh=sL/RPzLJDsRdyhXITfgA2EKT2gjftU43L/9bE3slwBU=;
	h=Message-ID:Date:MIME-Version:To:From;
	b=fIXO5TOQZo7Gu1DK+lejqUeUK8H2Te+Kec6xAsGUtDMFEPMG/q3IoX99UuTnpcgpW
	 OwWv4VwtEH//1nR7F6cbtF+0aR6wDeyNZX2ehY4hdayPL+fbWaxpvFY194/TjEYLoo
	 h9XtCUo+UlxQECT2a5dAKVE4NkqvY3csQ79pbQvMepSjsXDIn7UlNKwpycSHSPiiBF
	 S4V8e0xvKqZ203FqxDKUIbF4BAdk/OmZw2KnuBebIBJQNWIH0AweAan/+j0nmXlURU
	 /tnMnxm+bQ2nXl8/x2qNDbtBm2jUiBi0BZxPqBpoexw8j4vE238YhpMde46uSuM6zS
	 dhPSgi7AhF97A==
X-Virus-Scanned: amavisd-new at mail.cs.ucla.edu
Received: from mail.cs.ucla.edu ([127.0.0.1])
	by localhost (mail.cs.ucla.edu [127.0.0.1]) (amavisd-new, port 10026)
	with ESMTP id qu4112sjTa3n; Sun, 21 May 2023 01:44:20 -0700 (PDT)
Received: from [192.168.1.9] (cpe-172-91-119-151.socal.res.rr.com [172.91.119.151])
	by mail.cs.ucla.edu (Postfix) with ESMTPSA id 78AA53C02213D;
	Sun, 21 May 2023 01:44:20 -0700 (PDT)
Message-ID: <94bbcea2-0a29-b4d6-ad5e-7615bc239941@cs.ucla.edu>
Date: Sun, 21 May 2023 01:44:20 -0700
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
 Thunderbird/102.11.0
Content-Language: en-US
To: Andreas Schwab <schwab@linux-m68k.org>
Cc: Xi Ruoyao <xry111@xry111.site>, lixing <lixing@loongson.cn>,
 Carlos O'Donell <carlos@redhat.com>,
 Adhemerval Zanella Netto <adhemerval.zanella@linaro.org>,
 Peng Fan <fanpeng@loongson.cn>,
 "libc-alpha@sourceware.org" <libc-alpha@sourceware.org>, ltp@lists.linux.it
References: <lxnjka-9sevacf455zj-1fthj246gvr4-712jsi8w59t4969pqyxmxkaq-l3n4z6dp0ybpuvpiuudtnfot-dl7onwkii2tq8gtprte6cu4fgip6f-ikuh33-a5p9ixcl44cx2h7mimcgl3xt-13bjom.1684553069255@email.android.com>
 <0cb83efa85ae32d956f81e6b9d4966c38fd54bcb.camel@xry111.site>
 <1c688849-f992-029e-30e8-8990c311c8a3@cs.ucla.edu>
 <87zg5yqec3.fsf@linux-m68k.org>
From: Paul Eggert <eggert@cs.ucla.edu>
Organization: UCLA Computer Science Department
Subject: Re: [PATCH] Increase judgment on buf.
In-Reply-To: <87zg5yqec3.fsf@linux-m68k.org>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Spam-Status: No, score=-2.6 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,JMQ_SPF_NEUTRAL,NICE_REPLY_A,SPF_HELO_NONE,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org
List-Id: <libc-alpha.sourceware.org>

On 2023-05-21 01:27, Andreas Schwab wrote:
>> +	if (tcases[tc_num].exp_err == EFAULT && WIFSIGNALED(status)) {
> Can this condition ever be true?

I don't see why not, if fstat(fd_ok, 0) does a SIGABRT or similar. But 
perhaps we're interpreting "Can" differently.