https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93316
Bug ID: 93316
Summary: Several gcc.dg/analyzer tests FAIL
Product: gcc
Version: 10.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.*, i586-unknown-freebsd11.3,
moxie-unknown-elf, powerpc-ibm-aix7.2.0.0,
pru-unknown-elf
Several of the new gcc.dg/analyzer tests FAIL on a couple of non-Linux targets.
I'm filing all I see on Solaris as a single PR, although there are groups that
occur on different combinations of targets. Those reported here always show up
on 32 and 64-bit Solaris/SPARC and Solaris/x86.
+FAIL: gcc.dg/analyzer/malloc-1.c (test for excess errors)
Excess errors:
/vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/malloc-1.c:274:15:
warning: implicit declaration of function 'alloca'
[-Wimplicit-function-declaration]
/vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/malloc-1.c:274:15:
warning: incompatible implicit declaration of built-in function 'alloca'
also on powerpc-ibm-aix7.2.0.0
FWIW, alloca needs <alloca.h> on Solaris.
+FAIL: gcc.dg/analyzer/malloc-callbacks.c (test for warnings, line 27)
+FAIL: gcc.dg/analyzer/malloc-callbacks.c (test for warnings, line 28)
+FAIL: gcc.dg/analyzer/malloc-callbacks.c (test for warnings, line 34)
+FAIL: gcc.dg/analyzer/malloc-callbacks.c (test for warnings, line 35)
+FAIL: gcc.dg/analyzer/malloc-callbacks.c (test for warnings, line 41)
+FAIL: gcc.dg/analyzer/malloc-callbacks.c (test for warnings, line 53)
+FAIL: gcc.dg/analyzer/malloc-callbacks.c (test for warnings, line 54)
+FAIL: gcc.dg/analyzer/malloc-callbacks.c (test for warnings, line 62)
+FAIL: gcc.dg/analyzer/malloc-callbacks.c (test for warnings, line 64)
+FAIL: gcc.dg/analyzer/malloc-callbacks.c (test for excess errors)
Excess errors:
/vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/malloc-callbacks.c:15:10:
error: 'alloca' undeclared (first use in this function); did you mean 'valloc'?
also on i586-unknown-freebsd11.3, moxie-unknown-elf,
powerpc-ibm-aix7.2.0.0, pru-unknown-elf
+FAIL: gcc.dg/analyzer/malloc-paths-8.c (test for excess errors)
Excess errors:
/vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/malloc-paths-8.c:16:11:
warning: implicit declaration of function 'alloca'
[-Wimplicit-function-declaration]
/vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/malloc-paths-8.c:16:11:
warning: incompatible implicit declaration of built-in function 'alloca'
/vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/malloc-paths-8.c:28:11:
warning: incompatible implicit declaration of built-in function 'alloca'
/vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/malloc-paths-8.c:42:11:
warning: incompatible implicit declaration of built-in function 'alloca'
also on powerpc-ibm-aix7.2.0.0
+FAIL: gcc.dg/analyzer/sensitive-1.c (test for excess errors)
xcess errors:
/vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/sensitive-1.c:7:20:
warning: implicit declaration of function 'getpass'
[-Wimplicit-function-declaration]
/vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/sensitive-1.c:7:20:
warning: initialization of 'char *' from 'int' makes pointer from integer
without a cast [-Wint-conversion]
/vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/sensitive-1.c:14:20:
warning: initialization of 'char *' from 'int' makes pointer from integer
without a cast [-Wint-conversion]
/vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/sensitive-1.c:21:20:
warning: initialization of 'char *' from 'int' makes pointer from integer
without a cast [-Wint-conversion]
/vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/sensitive-1.c:28:20:
warning: initialization of 'char *' from 'int' makes pointer from integer
without a cast [-Wint-conversion]
/vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/sensitive-1.c:40:20:
warning: initialization of 'char *' from 'int' makes pointer from integer
without a cast [-Wint-conversion]
/vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/analyzer/sensitive-1.c:46:10:
warning: returning 'int' from a function with return type 'char *' makes
pointer from integer without a cast [-Wint-conversion]
Solaris only? getpass is declared in either <stdlib.h> or <unistd.h>, in
both
cases only if certain feature test macros (like __EXTENSIONS__) are defined.
+FAIL: gcc.dg/analyzer/setjmp-2.c (test for excess errors)
Excess errors:
NN | __analyzer_dump_path (); /* { dg-message "path" } */
| ^~~~~~~~~~~~~~~~~~~~~~~
'test_2': events 1-3
|
| NN | if (i != 0)
| | ^
| | |
| | (1) following 'true' branch (when 'i != 0')...
| NN | {
| NN | foo (2);
| | ~~~~~~~
| | |
| | (2) ...to here
| NN | __analyzer_dump_path (); /* { dg-message "path" } */
| | ~~~~~~~~~~~~~~~~~~~~~~~
| | |
| | (3) here
|
+FAIL: gcc.dg/analyzer/setjmp-2.c expected multiline pattern lines 38-82 not
found: "\\s*NN \\| __analyzer_dump_path \\(\\);.*\\n \\|
\\^~~~~~~~~~~~~~~~~~~~~~~\\n 'test_2': event 1.*\\n \\|.*\\n \\| NN
\\| i = setjmp\\(env\\);.*\\n \\| \\| \\^~~~~~\\n \\|
\\| \\|.*\\n \\| \\| \\(1\\) 'setjmp' called here.*\\n
\\|.*\\n 'test_2': events 2-4.*\\n \\|.*\\n \\| NN \\| if \\(i !=
0\\).*\\n \\| \\| \\^\\n \\| \\| \\|.*\\n \\|
\\| \\(2\\) following 'false' branch \\(when 'i == 0'\\)\\.\\.\\..*\\n
\\|\\.\\.\\.\\.\\.\\..*\\n \\| NN \\| longjmp \\(env, 1\\);.*\\n
\\| \\| ~~~~~~~~~~~~~~~~\\n \\| \\| \\|.*\\n \\|
\\| \\(3\\) \\.\\.\\.to here.*\\n \\| \\| \\(4\\) rewinding
within 'test_2' from 'longjmp'\\.\\.\\..*\\n \\|.*\\n 'test_2': event
5.*\\n \\|.*\\n \\| NN \\| i = setjmp\\(env\\);.*\\n \\| \\|
\\^~~~~~\\n \\| \\| \\|.*\\n \\| \\| \\(5\\)
\\.\\.\\.to 'setjmp' \\(saved at \\(1\\)\\).*\\n \\|.*\\n 'test_2': events
6-8.*\\n \\|.*\\n \\| NN \\| if \\(i != 0\\).*\\n \\| \\|
\\^\\n \\| \\| \\|.*\\n \\| \\| \\(6\\) following
'true' branch \\(when 'i != 0'\\)\\.\\.\\..*\\n \\| NN \\| \\{.*\\n
\\| NN \\| foo \\(2\\);.*\\n \\| \\| ~~~~~~~\\n \\|
\\| \\|.*\\n \\| \\| \\(7\\) \\.\\.\\.to here.*\\n \\|
NN \\| __analyzer_dump_path \\(\\);.*\\n \\| \\|
~~~~~~~~~~~~~~~~~~~~~~~\\n \\| \\| \\|.*\\n \\| \\|
\\(8\\) here.*\\n \\|.*\\n"
also on i586-unknown-freebsd11.3, moxie-unknown-elf,
powerpc-ibm-aix7.2.0.0, pru-unknown-elf
+FAIL: gcc.dg/analyzer/setjmp-3.c (test for excess errors)
[...]
+FAIL: gcc.dg/analyzer/setjmp-4.c (test for excess errors)
[...]
+FAIL: gcc.dg/analyzer/setjmp-5.c (test for warnings, line 21)
[...]
+FAIL: gcc.dg/analyzer/setjmp-6.c (test for warnings, line 11)
+FAIL: gcc.dg/analyzer/setjmp-6.c (test for warnings, line 12)
+FAIL: gcc.dg/analyzer/setjmp-7.c (test for warnings, line 11)
+FAIL: gcc.dg/analyzer/setjmp-7.c (test for warnings, line 16)
+FAIL: gcc.dg/analyzer/setjmp-7a.c (test for warnings, line 13)
[...]
+FAIL: gcc.dg/analyzer/setjmp-8.c (test for excess errors)
[...]
+FAIL: gcc.dg/analyzer/setjmp-9.c (test for excess errors)
[...]
I only show the first error here; those extremely long multiline pattern
FAILs
totally clutter mail-report.log and are completely useless there.
