https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107750
Bug ID: 107750 Summary: Many gcc.dg/analyzer/fd-*.c tests FAIL Product: gcc Version: 13.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: analyzer Assignee: dmalcolm at gcc dot gnu.org Reporter: ro at gcc dot gnu.org Target Milestone: --- Target: *-*-solaris2.11, powerpc-ibm-aix7.2.5.0, pru-unknown-elf, x86_64-unknown-freebsd12.4 Since 20221116, many of the new gcc.dg/analyzer/fd-*.c tests FAIL. I'm seeing this on Solaris (both SPARC and x86, 32 and 64-bit), but there are also reports for AIX, FreeBSD/x86_64, and others. In the Solaris case, there's +FAIL: gcc.dg/analyzer/fd-accept.c (test for excess errors) Excess errors: /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-accept.c:54:3: warning: 'accept' on file descriptor 'fd' in wrong phase [-Wanalyzer-fd-phase-mismatch] +FAIL: gcc.dg/analyzer/fd-accept.c final event at line 55 (test for warnings, line 54) +FAIL: gcc.dg/analyzer/fd-accept.c warning (test for warnings, line 54) +FAIL: gcc.dg/analyzer/fd-access-mode-target-headers.c (test for warnings, line 17) +FAIL: gcc.dg/analyzer/fd-access-mode-target-headers.c (test for warnings, line 25) +FAIL: gcc.dg/analyzer/fd-access-mode-target-headers.c (test for warnings, line 30) +FAIL: gcc.dg/analyzer/fd-access-mode-target-headers.c (test for warnings, line 37) +FAIL: gcc.dg/analyzer/fd-access-mode-target-headers.c (test for warnings, line 53) +FAIL: gcc.dg/analyzer/fd-access-mode-target-headers.c (test for excess errors) +FAIL: gcc.dg/analyzer/fd-bind.c (test for warnings, line 24) +FAIL: gcc.dg/analyzer/fd-bind.c (test for excess errors) Excess errors: /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-bind.c:10:3: warning: implicit declaration of function 'memset' [-Wimplicit-function-declaration] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-bind.c:10:3: warning: incompatible implicit declaration of built-in function 'memset' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-bind.c:12:3: warning: implicit declaration of function 'strncpy' [-Wimplicit-function-declaration] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-bind.c:12:3: warning: incompatible implicit declaration of built-in function 'strncpy' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-bind.c:30:3: warning: incompatible implicit declaration of built-in function 'memset' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-bind.c:32:3: warning: incompatible implicit declaration of built-in function 'strncpy' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-bind.c:52:3: warning: incompatible implicit declaration of built-in function 'memset' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-bind.c:54:3: warning: incompatible implicit declaration of built-in function 'strncpy' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-bind.c:67:3: warning: incompatible implicit declaration of built-in function 'memset' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-bind.c:69:3: warning: incompatible implicit declaration of built-in function 'strncpy' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-bind.c:24:3: warning: UNKNOWN +FAIL: gcc.dg/analyzer/fd-connect.c (test for warnings, line 18) +FAIL: gcc.dg/analyzer/fd-connect.c (test for warnings, line 32) +FAIL: gcc.dg/analyzer/fd-connect.c (test for excess errors) Excess errors: /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-connect.c:18:3: warning: UNKNOWN +FAIL: gcc.dg/analyzer/fd-datagram-socket.c (test for warnings, line 28) +FAIL: gcc.dg/analyzer/fd-datagram-socket.c (test for warnings, line 34) +FAIL: gcc.dg/analyzer/fd-datagram-socket.c (test for warnings, line 46) +FAIL: gcc.dg/analyzer/fd-datagram-socket.c (test for warnings, line 68) +FAIL: gcc.dg/analyzer/fd-datagram-socket.c (test for warnings, line 79) +FAIL: gcc.dg/analyzer/fd-datagram-socket.c (test for warnings, line 82) +FAIL: gcc.dg/analyzer/fd-datagram-socket.c (test for warnings, line 9) +FAIL: gcc.dg/analyzer/fd-datagram-socket.c (test for warnings, line 90) +FAIL: gcc.dg/analyzer/fd-datagram-socket.c (test for warnings, line 94) +FAIL: gcc.dg/analyzer/fd-datagram-socket.c (test for excess errors) Excess errors: /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-datagram-socket.c:47:3: warning: implicit declaration of function 'memset' [-Wimplicit-function-declaration] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-datagram-socket.c:47:3: warning: incompatible implicit declaration of built-in function 'memset' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-datagram-socket.c:49:3: warning: implicit declaration of function 'strncpy' [-Wimplicit-function-declaration] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-datagram-socket.c:49:3: warning: incompatible implicit declaration of built-in function 'strncpy' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-datagram-socket.c:58:3: warning: incompatible implicit declaration of built-in function 'memset' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-datagram-socket.c:60:3: warning: incompatible implicit declaration of built-in function 'strncpy' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-datagram-socket.c:71:3: warning: incompatible implicit declaration of built-in function 'memset' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-datagram-socket.c:73:3: warning: incompatible implicit declaration of built-in function 'strncpy' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-datagram-socket.c:97:3: warning: incompatible implicit declaration of built-in function 'memset' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-datagram-socket.c:99:3: warning: incompatible implicit declaration of built-in function 'strncpy' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-datagram-socket.c:28:3: warning: state: 'fd-new-unknown-socket' /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-datagram-socket.c:46:3: warning: state: 'fd-new-unknown-socket' /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-datagram-socket.c:82:3: warning: state: 'fd-new-unknown-socket' /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-datagram-socket.c:94:3: warning: state: 'fd-new-unknown-socket' /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-datagram-socket.c:83:3: warning: 'listen' on file descriptor 'fd' in wrong phase [-Wanalyzer-fd-phase-mismatch] +FAIL: gcc.dg/analyzer/fd-datagram-socket.c final event at line 106 (test for warnings, line 105) +FAIL: gcc.dg/analyzer/fd-datagram-socket.c final event at line 84 (test for war nings, line 83) +FAIL: gcc.dg/analyzer/fd-datagram-socket.c warning (test for warnings, line 105) +FAIL: gcc.dg/analyzer/fd-datagram-socket.c warning (test for warnings, line 83) +FAIL: gcc.dg/analyzer/fd-listen.c (test for excess errors) Excess errors: /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-listen.c:26:3: warning: implicit declaration of function 'memset' [-Wimplicit-function-declaration] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-listen.c:26:3: warning: incompatible implicit declaration of built-in function 'memset' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-listen.c:28:3: warning: implicit declaration of function 'strncpy' [-Wimplicit-function-declaration] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-listen.c:28:3: warning: incompatible implicit declaration of built-in function 'strncpy' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-listen.c:36:3: warning: incompatible implicit declaration of built-in function 'memset' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-listen.c:38:3: warning: incompatible implicit declaration of built-in function 'strncpy' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-listen.c:50:3: warning: 'listen' on file descriptor 'fd' in wrong phase [-Wanalyzer-fd-phase-mismatch] +FAIL: gcc.dg/analyzer/fd-listen.c final event at line 51 (test for warnings, line 50) +FAIL: gcc.dg/analyzer/fd-listen.c warning (test for warnings, line 50) +FAIL: gcc.dg/analyzer/fd-socket-misuse.c (test for warnings, line 14) +FAIL: gcc.dg/analyzer/fd-socket-misuse.c (test for excess errors) Excess errors: /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-socket-misuse.c:25:3: warning: implicit declaration of function 'memset' [-Wimplicit-function-declaration] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-socket-misuse.c:25:3: warning: incompatible implicit declaration of built-in function 'memset' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-socket-misuse.c:27:3: warning: implicit declaration of function 'strncpy' [-Wimplicit-function-declaration] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-socket-misuse.c:27:3: warning: incompatible implicit declaration of built-in function 'strncpy' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-socket-misuse.c:49:3: warning: incompatible implicit declaration of built-in function 'memset' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-socket-misuse.c:51:3: warning: incompatible implicit declaration of built-in function 'strncpy' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-socket-misuse.c:93:3: warning: incompatible implicit declaration of built-in function 'memset' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-socket-misuse.c:95:3: warning: incompatible implicit declaration of built-in function 'strncpy' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-socket-misuse.c:17:3: warning: 'read' on possibly invalid file descriptor 'fd' [-Wanalyzer-fd-use-without-check] +FAIL: gcc.dg/analyzer/fd-socket-misuse.c final event at line 18 (test for warnings, line 17) +FAIL: gcc.dg/analyzer/fd-socket-misuse.c warning (test for warnings, line 17) +FAIL: gcc.dg/analyzer/fd-stream-socket-active-open.c (test for warnings, line 14) +FAIL: gcc.dg/analyzer/fd-stream-socket-active-open.c (test for warnings, line 17) +FAIL: gcc.dg/analyzer/fd-stream-socket-active-open.c (test for warnings, line 28) +FAIL: gcc.dg/analyzer/fd-stream-socket-active-open.c (test for warnings, line 29) +FAIL: gcc.dg/analyzer/fd-stream-socket-active-open.c (test for warnings, line 35) +FAIL: gcc.dg/analyzer/fd-stream-socket-active-open.c (test for warnings, line 43) +FAIL: gcc.dg/analyzer/fd-stream-socket-active-open.c (test for warnings, line 59) +FAIL: gcc.dg/analyzer/fd-stream-socket-active-open.c (test for excess errors) Excess errors: /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-stream-socket-active-open.c:21:3: warning: implicit declaration of function 'memset' [-Wimplicit-function-declaration] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-stream-socket-active-open.c:21:3: warning: incompatible implicit declaration of built-in function 'memset' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-stream-socket-active-open.c:23:3: warning: implicit declaration of function 'strncpy' [-Wimplicit-function-declaration] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-stream-socket-active-open.c:23:3: warning: incompatible implicit declaration of built-in function 'strncpy' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-stream-socket-active-open.c:51:3: warning: incompatible implicit declaration of built-in function 'memset' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-stream-socket-active-open.c:53:3: warning: incompatible implicit declaration of built-in function 'strncpy' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-stream-socket-active-open.c:14:7: warning: UNKNOWN /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-stream-socket-active-open.c:17:3: warning: state: 'fd-new-unknown-socket' /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-stream-socket-active-open.c:28:7: warning: state: 'fd-new-unknown-socket' /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-stream-socket-active-open.c:29:7: warning: UNKNOWN /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-stream-socket-active-open.c:35:3: warning: state: 'fd-stop' /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-stream-socket-active-open.c:43:3: warning: state: 'fd-stop' /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-stream-socket-active-open.c:43:3: warning: state: 'fd-stop' /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-stream-socket-active-open.c:59:7: warning: UNKNOWN +FAIL: gcc.dg/analyzer/fd-stream-socket-passive-open.c (test for warnings, line 110) +FAIL: gcc.dg/analyzer/fd-stream-socket-passive-open.c (test for warnings, line 138) +FAIL: gcc.dg/analyzer/fd-stream-socket-passive-open.c (test for warnings, line 150) +FAIL: gcc.dg/analyzer/fd-stream-socket-passive-open.c (test for warnings, line 179) +FAIL: gcc.dg/analyzer/fd-stream-socket-passive-open.c (test for warnings, line 20) +FAIL: gcc.dg/analyzer/fd-stream-socket-passive-open.c (test for warnings, line 23) +FAIL: gcc.dg/analyzer/fd-stream-socket-passive-open.c (test for warnings, line 31) +FAIL: gcc.dg/analyzer/fd-stream-socket-passive-open.c (test for warnings, line 32) +FAIL: gcc.dg/analyzer/fd-stream-socket-passive-open.c (test for warnings, line 37) +FAIL: gcc.dg/analyzer/fd-stream-socket-passive-open.c (test for warnings, line 42) +FAIL: gcc.dg/analyzer/fd-stream-socket-passive-open.c (test for warnings, line 43) +FAIL: gcc.dg/analyzer/fd-stream-socket-passive-open.c (test for warnings, line 55) +FAIL: gcc.dg/analyzer/fd-stream-socket-passive-open.c (test for warnings, line 87) +FAIL: gcc.dg/analyzer/fd-stream-socket-passive-open.c (test for warnings, line 98) +FAIL: gcc.dg/analyzer/fd-stream-socket-passive-open.c (test for excess errors) +FAIL: gcc.dg/analyzer/fd-stream-socket.c (test for warnings, line 33) +FAIL: gcc.dg/analyzer/fd-stream-socket.c (test for warnings, line 66) +FAIL: gcc.dg/analyzer/fd-stream-socket.c (test for warnings, line 77) +FAIL: gcc.dg/analyzer/fd-stream-socket.c (test for warnings, line 88) +FAIL: gcc.dg/analyzer/fd-stream-socket.c (test for warnings, line 9) +FAIL: gcc.dg/analyzer/fd-stream-socket.c (test for excess errors) Excess errors: /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-stream-socket.c:45:3: warning: implicit declaration of function 'memset' [-Wimplicit-function-declaration] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-stream-socket.c:45:3: warning: incompatible implicit declaration of built-in function 'memset' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-stream-socket.c:47:3: warning: implicit declaration of function 'strncpy' [-Wimplicit-function-declaration] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-stream-socket.c:47:3: warning: incompatible implicit declaration of built-in function 'strncpy' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-stream-socket.c:56:3: warning: incompatible implicit declaration of built-in function 'memset' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-stream-socket.c:58:3: warning: incompatible implicit declaration of built-in function 'strncpy' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-stream-socket.c:69:3: warning: incompatible implicit declaration of built-in function 'memset' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-stream-socket.c:71:3: warning: incompatible implicit declaration of built-in function 'strncpy' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-stream-socket.c:91:3: warning: incompatible implicit declaration of built-in function 'memset' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-stream-socket.c:93:3: warning: incompatible implicit declaration of built-in function 'strncpy' [-Wbuiltin-declaration-mismatch] +FAIL: gcc.dg/analyzer/fd-symbolic-socket.c (test for excess errors) Excess errors: /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-symbolic-socket.c:45:3: warning: implicit declaration of function 'memset' [-Wimplicit-function-declaration] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-symbolic-socket.c:45:3: warning: incompatible implicit declaration of built-in function 'memset' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-symbolic-socket.c:47:3: warning: implicit declaration of function 'strncpy' [-Wimplicit-function-declaration] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-symbolic-socket.c:47:3: warning: incompatible implicit declaration of built-in function 'strncpy' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-symbolic-socket.c:56:3: warning: incompatible implicit declaration of built-in function 'memset' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-symbolic-socket.c:58:3: warning: incompatible implicit declaration of built-in function 'strncpy' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-symbolic-socket.c:69:3: warning: incompatible implicit declaration of built-in function 'memset' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-symbolic-socket.c:71:3: warning: incompatible implicit declaration of built-in function 'strncpy' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-symbolic-socket.c:91:3: warning: incompatible implicit declaration of built-in function 'memset' [-Wbuiltin-declaration-mismatch] /vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/fd-symbolic-socket.c:93:3: warning: incompatible implicit declaration of built-in function 'strncpy' [-Wbuiltin-declaration-mismatch] 32 and 64-bit sparc and x86 One part of the excess errors can be fixed by including <string.h> for memset and strncpy declarations (patch attached). However, even with that change, an enormous number of failures remains. It feels like there's something Linux-specific in there.