From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
	id 175033870C2C; Tue, 14 May 2024 09:12:54 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 175033870C2C
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1715677974;
	bh=nljFz4r5wvxRWGu+4TZ/le/5xlDN+RVoOOx9G7uxDqU=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=xBDgmv9p38fvCXXHJacctpSQX3jyuVyTc3ffXdrTV17devnKrHQbIo3WokMH6YVLf
	 eaDCXlXJA1Ev1X++rqHS/aY2gM6XyCmP+uM5JTuMuVtO9EArp2os8ozf9Dzzu9jbsC
	 wi5T0CUuJJ95FjCo4XDaGbGpnwdxqAkiPlj4gfC0=
From: "ro at CeBiTec dot Uni-Bielefeld.DE" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug analyzer/107750] [13/14/15 Regression] Many
 gcc.dg/analyzer/fd-*.c tests FAIL
Date: Tue, 14 May 2024 09:12:53 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: analyzer
X-Bugzilla-Version: 13.0
X-Bugzilla-Keywords: testsuite-fail
X-Bugzilla-Severity: normal
X-Bugzilla-Who: ro at CeBiTec dot Uni-Bielefeld.DE
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: dmalcolm at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 13.3
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-107750-4-GPiCfdhBVz@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-107750-4@http.gcc.gnu.org/bugzilla/>
References: <bug-107750-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
List-Id: <gcc-bugs.sourceware.org>

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D107750

--- Comment #8 from ro at CeBiTec dot Uni-Bielefeld.DE <ro at CeBiTec dot U=
ni-Bielefeld.DE> ---
When I hack <sys/socket.h> locally to avoid the indirection in the
definitions of the SOCK_* constants, only two gcc.dg/analyzer/fd-*.c
tests FAIL on Solaris:

FAIL: gcc.dg/analyzer/fd-access-mode-target-headers.c  (test for warnings, =
line
19)
FAIL: gcc.dg/analyzer/fd-access-mode-target-headers.c  (test for warnings, =
line
27)
FAIL: gcc.dg/analyzer/fd-access-mode-target-headers.c  (test for warnings, =
line
32)
FAIL: gcc.dg/analyzer/fd-access-mode-target-headers.c  (test for warnings, =
line
39)
FAIL: gcc.dg/analyzer/fd-access-mode-target-headers.c  (test for warnings, =
line
55)
FAIL: gcc.dg/analyzer/fd-access-mode-target-headers.c (test for excess erro=
rs)

Excess errors:
/vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-access-mode-t=
arget-headers.c:55:3:
warning: named constant 'O_ACCMODE' has unknown value

<sys/fcntl.h> (included from <fcntl.h>) has

#define O_ACCMODE       (O_SEARCH | O_EXEC | 0x3)

which analyzer cannot handle (not a simple numeric constant; same issue
as with SOCK_*).

Linux/glibc has instead

#define O_ACCMODE       00000003

FAIL: gcc.dg/analyzer/fd-glibc-byte-stream-connection-server.c (test for ex=
cess
errors)

Excess errors:
/vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-glibc-byte-st=
ream-connection-server.c:91:3:
error: implicit declaration of function 'memset'
[-Wimplicit-function-declaration]

Solaris <sys/select.h> has

#define FD_ZERO(__p)    (void) memset((__p), 0, sizeof (*(__p)))=20

While one certainly could argue that the header should be
self-contained, it's easy enough to just include <string.h> in the test
to avoid this.=