https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93316
--- Comment #9 from David Malcolm <dmalcolm at gcc dot gnu.org> --- (In reply to Iain Sandoe from comment #8) > (In reply to David Malcolm from comment #7) > > (In reply to r...@cebitec.uni-bielefeld.de from comment #6) > > [...] > > > On Solaris (both sparc and x86), all analyzer testsuite failures are > > > gone. > > > > Thanks. > > > > I'll go ahead and mark this as resolved. Please reopen if there are any > > other failures (apart from the pattern-test-2.c issue, which is PR > > analyzer/93291). > > Hi David, > Things are much improved on Darwin, but certainly not (yet) all fixed (see > https://gcc.gnu.org/ml/gcc-testresults/2020-01/msg01146.html and the next > few entries). Thanks for the update. > * analyzer/abort.c fails everywhere on Darwin with: > > /src-local/gcc-master/gcc/testsuite/gcc.dg/analyzer/abort.c:71:3: warning: > UNKNOWN > PASS: gcc.dg/analyzer/abort.c (test for warnings, line 14) > PASS: gcc.dg/analyzer/abort.c (test for warnings, line 31) > PASS: gcc.dg/analyzer/abort.c (test for warnings, line 47) > PASS: gcc.dg/analyzer/abort.c (test for warnings, line 60) > FAIL: gcc.dg/analyzer/abort.c (test for warnings, line 71) > FAIL: gcc.dg/analyzer/abort.c (test for excess errors) > Excess errors: > /src-local/gcc-master/gcc/testsuite/gcc.dg/analyzer/abort.c:71:3: warning: > UNKNOWN Looks like PR 93367, which should be fixed by r10-6195-ga0b935ac66bc9804b0864151e5f1bfde5ac1ddeb. > * analyzer/dot-output.c: fails on 32bit HOSTs (x86 and PPC) with: > > Warning: dot-output.c.state-purge.dot:11: string ran past end of line > Error: dot-output.c.state-purge.dot:12: syntax error near line 12 > context: >>> ' <<< _5' not needed here > Warning: dot-output.c.state-purge.dot:34: string ran past end of line > Warning: dot-output.c.state-purge.dot:45: string ran past end of line > .... Looks like PR 93293. What version of GraphViz do you have installed? > * analyzer/malloc-1.c: fails on x86_64 HOSTs with: > > PASS: gcc.dg/analyzer/malloc-1.c (test for warnings, line 393) > FAIL: gcc.dg/analyzer/malloc-1.c (test for warnings, line 417) > FAIL: gcc.dg/analyzer/malloc-1.c (test for warnings, line 418) > FAIL: gcc.dg/analyzer/malloc-1.c (test for warnings, line 425) > FAIL: gcc.dg/analyzer/malloc-1.c (test for warnings, line 429) > XFAIL: gcc.dg/analyzer/malloc-1.c (test for warnings, line 445) > PASS: gcc.dg/analyzer/malloc-1.c (test for warnings, line 453) I haven't seen failures before. It looks like memset in your <string.h> hasn't been marked with __attribute__ ((__nonnull__)) on its first param, which the tests are implicitly assuming. > powerpc-darwin9 (32b host) has a couple of additional fails, including the > pattern-test-2.c case. > > Do you want me to re-open this or open one or more new ones? Please open a new one for the malloc-1.c issue.
