From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <dimitar@sourceware.org>
Received: by sourceware.org (Postfix, from userid 2059)
	id 4EC76385188D; Mon, 21 Nov 2022 16:14:59 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 4EC76385188D
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1669047299;
	bh=pk9rOpF0ksuFFXUvvoAmw6ZpPg2Qo1MY0K3Kzu+vFrM=;
	h=From:To:Subject:Date:From;
	b=Wo6sKtnxNG2n5HRR+uwLIxiwKBfEe9VeXyhyx0NUip/+3TWxNUK5Udy0nIs19pfnt
	 p1Ry8fo8JrTyzLNjXX7iXYpPwtRN0oe57U1kpGDccChhAoEAgnE5oX7BmAB4gHSZwB
	 SGIYkGae/R16+l/IRxzJdELQzeAdHksU7UT0QcDo=
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Type: text/plain; charset="utf-8"
From: Dimitar Dimitrov <dimitar@gcc.gnu.org>
To: gcc-cvs@gcc.gnu.org
Subject: [gcc r13-4211] testsuite: Add filter for target socket support
X-Act-Checkin: gcc
X-Git-Author: Dimitar Dimitrov <dimitar@dinux.eu>
X-Git-Refname: refs/heads/master
X-Git-Oldrev: f80bfdcc84707583a66526fb1fb428eb66389359
X-Git-Newrev: 9fe9dd2455ecc2d02c50559eb272b480cafc8c68
Message-Id: <20221121161459.4EC76385188D@sourceware.org>
Date: Mon, 21 Nov 2022 16:14:59 +0000 (GMT)
List-Id: <gcc-cvs.sourceware.org>

https://gcc.gnu.org/g:9fe9dd2455ecc2d02c50559eb272b480cafc8c68

commit r13-4211-g9fe9dd2455ecc2d02c50559eb272b480cafc8c68
Author: Dimitar Dimitrov <dimitar@dinux.eu>
Date:   Fri Nov 18 21:59:42 2022 +0200

    testsuite: Add filter for target socket support
    
    The new analyzer tests for sockets are failing on embedded targets.
    The newlib and avr-libc C libraries do not support sockets.
    
    Testing done:
      - No changes in gcc.sum for x86_64-pc-linux-gnu, with or without this
        patch.
      - Filtered cases are now UNSUPPORTED instead of failing on AVR and PRU
        backends.
    
    gcc/ChangeLog:
    
            * doc/sourcebuild.texi (sockets): Document new check.
    
    gcc/testsuite/ChangeLog:
    
            * gcc.dg/analyzer/fd-accept.c: Require sockets.
            * gcc.dg/analyzer/fd-bind.c: Ditto.
            * gcc.dg/analyzer/fd-connect.c: Ditto.
            * gcc.dg/analyzer/fd-datagram-socket.c: Ditto.
            * gcc.dg/analyzer/fd-glibc-byte-stream-connection-server.c:
            Ditto.
            * gcc.dg/analyzer/fd-glibc-byte-stream-socket.c: Ditto.
            * gcc.dg/analyzer/fd-glibc-datagram-client.c: Ditto.
            * gcc.dg/analyzer/fd-glibc-datagram-socket.c: Ditto.
            * gcc.dg/analyzer/fd-listen.c: Ditto.
            * gcc.dg/analyzer/fd-manpage-getaddrinfo-client.c: Ditto.
            * gcc.dg/analyzer/fd-mappage-getaddrinfo-server.c: Ditto.
            * gcc.dg/analyzer/fd-socket-meaning.c: Ditto.
            * gcc.dg/analyzer/fd-socket-misuse.c: Ditto.
            * gcc.dg/analyzer/fd-stream-socket-active-open.c: Ditto.
            * gcc.dg/analyzer/fd-stream-socket-passive-open.c: Ditto.
            * gcc.dg/analyzer/fd-stream-socket.c: Ditto.
            * gcc.dg/analyzer/fd-symbolic-socket.c: Ditto.
            * lib/target-supports.exp (check_effective_target_sockets): New
            check.
    
    Signed-off-by: Dimitar Dimitrov <dimitar@dinux.eu>

Diff:
---
 gcc/doc/sourcebuild.texi                                   |  3 +++
 gcc/testsuite/gcc.dg/analyzer/fd-accept.c                  |  2 ++
 gcc/testsuite/gcc.dg/analyzer/fd-bind.c                    |  2 ++
 gcc/testsuite/gcc.dg/analyzer/fd-connect.c                 |  2 ++
 gcc/testsuite/gcc.dg/analyzer/fd-datagram-socket.c         |  2 ++
 .../analyzer/fd-glibc-byte-stream-connection-server.c      |  1 +
 .../gcc.dg/analyzer/fd-glibc-byte-stream-socket.c          |  1 +
 gcc/testsuite/gcc.dg/analyzer/fd-glibc-datagram-client.c   |  1 +
 gcc/testsuite/gcc.dg/analyzer/fd-glibc-datagram-socket.c   |  1 +
 gcc/testsuite/gcc.dg/analyzer/fd-listen.c                  |  2 ++
 .../gcc.dg/analyzer/fd-manpage-getaddrinfo-client.c        |  1 +
 .../gcc.dg/analyzer/fd-mappage-getaddrinfo-server.c        |  2 ++
 gcc/testsuite/gcc.dg/analyzer/fd-socket-meaning.c          |  1 +
 gcc/testsuite/gcc.dg/analyzer/fd-socket-misuse.c           |  2 ++
 .../gcc.dg/analyzer/fd-stream-socket-active-open.c         |  2 ++
 .../gcc.dg/analyzer/fd-stream-socket-passive-open.c        |  2 ++
 gcc/testsuite/gcc.dg/analyzer/fd-stream-socket.c           |  2 ++
 gcc/testsuite/gcc.dg/analyzer/fd-symbolic-socket.c         |  2 ++
 gcc/testsuite/lib/target-supports.exp                      | 14 ++++++++++++++
 19 files changed, 45 insertions(+)

diff --git a/gcc/doc/sourcebuild.texi b/gcc/doc/sourcebuild.texi
index 766266942f9..ffe69d6fcb9 100644
--- a/gcc/doc/sourcebuild.texi
+++ b/gcc/doc/sourcebuild.texi
@@ -2666,6 +2666,9 @@ Target can compile using @code{pthread.h} with no errors or warnings.
 @item pthread_h
 Target has @code{pthread.h}.
 
+@item sockets
+Target can compile using @code{sys/socket.h} with no errors or warnings.
+
 @item run_expensive_tests
 Expensive testcases (usually those that consume excessive amounts of CPU
 time) should be run on this target.  This can be enabled by setting the
diff --git a/gcc/testsuite/gcc.dg/analyzer/fd-accept.c b/gcc/testsuite/gcc.dg/analyzer/fd-accept.c
index 36cc7af7184..5426063f31d 100644
--- a/gcc/testsuite/gcc.dg/analyzer/fd-accept.c
+++ b/gcc/testsuite/gcc.dg/analyzer/fd-accept.c
@@ -1,3 +1,5 @@
+/* { dg-require-effective-target sockets } */
+
 #include <sys/socket.h>
 #include <sys/un.h>
 #include <unistd.h>
diff --git a/gcc/testsuite/gcc.dg/analyzer/fd-bind.c b/gcc/testsuite/gcc.dg/analyzer/fd-bind.c
index 6f91bc4b794..c34803f1380 100644
--- a/gcc/testsuite/gcc.dg/analyzer/fd-bind.c
+++ b/gcc/testsuite/gcc.dg/analyzer/fd-bind.c
@@ -1,3 +1,5 @@
+/* { dg-require-effective-target sockets } */
+
 #include <sys/socket.h>
 #include <sys/un.h>
 #include <unistd.h>
diff --git a/gcc/testsuite/gcc.dg/analyzer/fd-connect.c b/gcc/testsuite/gcc.dg/analyzer/fd-connect.c
index 1ab54d01f36..7bf687e2570 100644
--- a/gcc/testsuite/gcc.dg/analyzer/fd-connect.c
+++ b/gcc/testsuite/gcc.dg/analyzer/fd-connect.c
@@ -1,3 +1,5 @@
+/* { dg-require-effective-target sockets } */
+
 #include <sys/socket.h>
 #include <sys/un.h>
 #include <unistd.h>
diff --git a/gcc/testsuite/gcc.dg/analyzer/fd-datagram-socket.c b/gcc/testsuite/gcc.dg/analyzer/fd-datagram-socket.c
index 045bdfa32d3..58508570a25 100644
--- a/gcc/testsuite/gcc.dg/analyzer/fd-datagram-socket.c
+++ b/gcc/testsuite/gcc.dg/analyzer/fd-datagram-socket.c
@@ -1,3 +1,5 @@
+/* { dg-require-effective-target sockets } */
+
 #include <sys/socket.h>
 #include <sys/un.h>
 #include <unistd.h>
diff --git a/gcc/testsuite/gcc.dg/analyzer/fd-glibc-byte-stream-connection-server.c b/gcc/testsuite/gcc.dg/analyzer/fd-glibc-byte-stream-connection-server.c
index 1ff902894af..5a1a6f5f14f 100644
--- a/gcc/testsuite/gcc.dg/analyzer/fd-glibc-byte-stream-connection-server.c
+++ b/gcc/testsuite/gcc.dg/analyzer/fd-glibc-byte-stream-connection-server.c
@@ -1,4 +1,5 @@
 /* Example from glibc manual (16.9.7).  */
+/* { dg-require-effective-target sockets } */
 /* { dg-additional-options "-Wno-analyzer-too-complex" } */
 
 #include <stdio.h>
diff --git a/gcc/testsuite/gcc.dg/analyzer/fd-glibc-byte-stream-socket.c b/gcc/testsuite/gcc.dg/analyzer/fd-glibc-byte-stream-socket.c
index f96da8101cc..806bb24d9eb 100644
--- a/gcc/testsuite/gcc.dg/analyzer/fd-glibc-byte-stream-socket.c
+++ b/gcc/testsuite/gcc.dg/analyzer/fd-glibc-byte-stream-socket.c
@@ -1,4 +1,5 @@
 /* Example from glibc manual (16.9.6).  */
+/* { dg-require-effective-target sockets } */
 
 #include <stdio.h>
 #include <string.h>
diff --git a/gcc/testsuite/gcc.dg/analyzer/fd-glibc-datagram-client.c b/gcc/testsuite/gcc.dg/analyzer/fd-glibc-datagram-client.c
index 888c751e88d..072ac4cd0d3 100644
--- a/gcc/testsuite/gcc.dg/analyzer/fd-glibc-datagram-client.c
+++ b/gcc/testsuite/gcc.dg/analyzer/fd-glibc-datagram-client.c
@@ -1,4 +1,5 @@
 /* Example from the glibc manual (16.10.4).  */
+/* { dg-require-effective-target sockets } */
 
 #include <stdio.h>
 #include <errno.h>
diff --git a/gcc/testsuite/gcc.dg/analyzer/fd-glibc-datagram-socket.c b/gcc/testsuite/gcc.dg/analyzer/fd-glibc-datagram-socket.c
index b8b68768c34..d417828f6ee 100644
--- a/gcc/testsuite/gcc.dg/analyzer/fd-glibc-datagram-socket.c
+++ b/gcc/testsuite/gcc.dg/analyzer/fd-glibc-datagram-socket.c
@@ -1,4 +1,5 @@
 /* Example from glibc manual (16.10.3).  */
+/* { dg-require-effective-target sockets } */
 
 #include <stdio.h>
 #include <errno.h>
diff --git a/gcc/testsuite/gcc.dg/analyzer/fd-listen.c b/gcc/testsuite/gcc.dg/analyzer/fd-listen.c
index 1f54a8f2953..becf4690293 100644
--- a/gcc/testsuite/gcc.dg/analyzer/fd-listen.c
+++ b/gcc/testsuite/gcc.dg/analyzer/fd-listen.c
@@ -1,3 +1,5 @@
+/* { dg-require-effective-target sockets } */
+
 #include <sys/socket.h>
 #include <sys/un.h>
 #include <unistd.h>
diff --git a/gcc/testsuite/gcc.dg/analyzer/fd-manpage-getaddrinfo-client.c b/gcc/testsuite/gcc.dg/analyzer/fd-manpage-getaddrinfo-client.c
index d9c3ff05de8..ee627de9643 100644
--- a/gcc/testsuite/gcc.dg/analyzer/fd-manpage-getaddrinfo-client.c
+++ b/gcc/testsuite/gcc.dg/analyzer/fd-manpage-getaddrinfo-client.c
@@ -26,6 +26,7 @@ Formatted or processed versions of this manual, if unaccompanied by
 the source, must acknowledge the copyright and authors of this work.
 */
 
+/* { dg-require-effective-target sockets } */
 /* { dg-additional-options "-Wno-analyzer-too-complex" } */
 
 #include <sys/types.h>
diff --git a/gcc/testsuite/gcc.dg/analyzer/fd-mappage-getaddrinfo-server.c b/gcc/testsuite/gcc.dg/analyzer/fd-mappage-getaddrinfo-server.c
index 66398e834cc..d2e39eb6976 100644
--- a/gcc/testsuite/gcc.dg/analyzer/fd-mappage-getaddrinfo-server.c
+++ b/gcc/testsuite/gcc.dg/analyzer/fd-mappage-getaddrinfo-server.c
@@ -26,6 +26,8 @@ Formatted or processed versions of this manual, if unaccompanied by
 the source, must acknowledge the copyright and authors of this work.
 */
 
+/* { dg-require-effective-target sockets } */
+
 #include <sys/types.h>
 #include <stdio.h>
 #include <stdlib.h>
diff --git a/gcc/testsuite/gcc.dg/analyzer/fd-socket-meaning.c b/gcc/testsuite/gcc.dg/analyzer/fd-socket-meaning.c
index 5bfb57f68fb..82a199f83b0 100644
--- a/gcc/testsuite/gcc.dg/analyzer/fd-socket-meaning.c
+++ b/gcc/testsuite/gcc.dg/analyzer/fd-socket-meaning.c
@@ -1,3 +1,4 @@
+/* { dg-require-effective-target sockets } */
 /* { dg-additional-options "-fanalyzer-verbose-state-changes" } */
 
 #include <sys/socket.h>
diff --git a/gcc/testsuite/gcc.dg/analyzer/fd-socket-misuse.c b/gcc/testsuite/gcc.dg/analyzer/fd-socket-misuse.c
index 4ff08d5ec19..628f5e4a65c 100644
--- a/gcc/testsuite/gcc.dg/analyzer/fd-socket-misuse.c
+++ b/gcc/testsuite/gcc.dg/analyzer/fd-socket-misuse.c
@@ -1,5 +1,7 @@
 /* Various operations done on sockets in the wrong phase.  */
 
+/* { dg-require-effective-target sockets } */
+
 #include <sys/types.h>
 #include <sys/stat.h>
 #include <fcntl.h>
diff --git a/gcc/testsuite/gcc.dg/analyzer/fd-stream-socket-active-open.c b/gcc/testsuite/gcc.dg/analyzer/fd-stream-socket-active-open.c
index 7fde0ef6285..841894cc1bd 100644
--- a/gcc/testsuite/gcc.dg/analyzer/fd-stream-socket-active-open.c
+++ b/gcc/testsuite/gcc.dg/analyzer/fd-stream-socket-active-open.c
@@ -1,3 +1,5 @@
+/* { dg-require-effective-target sockets } */
+
 #include <sys/socket.h>
 #include <sys/un.h>
 #include <unistd.h>
diff --git a/gcc/testsuite/gcc.dg/analyzer/fd-stream-socket-passive-open.c b/gcc/testsuite/gcc.dg/analyzer/fd-stream-socket-passive-open.c
index c31e5b5eefb..a61091101ed 100644
--- a/gcc/testsuite/gcc.dg/analyzer/fd-stream-socket-passive-open.c
+++ b/gcc/testsuite/gcc.dg/analyzer/fd-stream-socket-passive-open.c
@@ -2,6 +2,8 @@
    either from scratch, or when various phases are assumed to already
    be done.  */
 
+/* { dg-require-effective-target sockets } */
+
 #include <sys/socket.h>
 #include <sys/un.h>
 #include <unistd.h>
diff --git a/gcc/testsuite/gcc.dg/analyzer/fd-stream-socket.c b/gcc/testsuite/gcc.dg/analyzer/fd-stream-socket.c
index 3a292d0e2d2..e51f0f08c34 100644
--- a/gcc/testsuite/gcc.dg/analyzer/fd-stream-socket.c
+++ b/gcc/testsuite/gcc.dg/analyzer/fd-stream-socket.c
@@ -1,3 +1,5 @@
+/* { dg-require-effective-target sockets } */
+
 #include <sys/socket.h>
 #include <sys/un.h>
 #include <unistd.h>
diff --git a/gcc/testsuite/gcc.dg/analyzer/fd-symbolic-socket.c b/gcc/testsuite/gcc.dg/analyzer/fd-symbolic-socket.c
index 83400c18f50..ad1f989cf09 100644
--- a/gcc/testsuite/gcc.dg/analyzer/fd-symbolic-socket.c
+++ b/gcc/testsuite/gcc.dg/analyzer/fd-symbolic-socket.c
@@ -1,3 +1,5 @@
+/* { dg-require-effective-target sockets } */
+
 #include <sys/socket.h>
 #include <sys/un.h>
 #include <unistd.h>
diff --git a/gcc/testsuite/lib/target-supports.exp b/gcc/testsuite/lib/target-supports.exp
index 01cf17ea44a..65ba33b9d94 100644
--- a/gcc/testsuite/lib/target-supports.exp
+++ b/gcc/testsuite/lib/target-supports.exp
@@ -1176,6 +1176,20 @@ proc check_effective_target_pthread {} {
     } "-pthread"]
 }
 
+# Return 1 if the target supports both Unix and internet sockets, 0 otherwise.
+proc check_effective_target_sockets {} {
+    return [check_no_compiler_messages socket executable {
+#include <sys/socket.h>
+#include <sys/un.h>
+#include <netinet/in.h>
+int main (void) {
+    socket(AF_UNIX, SOCK_STREAM, 0);
+    socket(AF_INET, SOCK_DGRAM, 0);
+    return 0;
+}
+    } ""]
+}
+
 # Return 1 if compilation with -mpe-aligned-commons is error-free
 # for trivial code, 0 otherwise.