https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93291
Bug ID: 93291 Summary: 'FAIL: gcc.dg/analyzer/pattern-test-2.c' for a few configurations Product: gcc Version: unknown Status: UNCONFIRMED Severity: normal Priority: P3 Component: analyzer Assignee: dmalcolm at gcc dot gnu.org Reporter: tschwinge at gcc dot gnu.org Target Milestone: --- Testing 299ddc612136421f1d9865ea4f2f84f7e3791824 on powerpc64le-unknown-linux-gnu, I see: PASS: gcc.dg/analyzer/pattern-test-2.c (test for warnings, line 11) PASS: gcc.dg/analyzer/pattern-test-2.c (test for warnings, line 11) FAIL: gcc.dg/analyzer/pattern-test-2.c (test for warnings, line 21) FAIL: gcc.dg/analyzer/pattern-test-2.c (test for warnings, line 21) PASS: gcc.dg/analyzer/pattern-test-2.c (test for warnings, line 21) PASS: gcc.dg/analyzer/pattern-test-2.c (test for warnings, line 21) FAIL: gcc.dg/analyzer/pattern-test-2.c (test for excess errors) [...]/gcc/testsuite/gcc.dg/analyzer/pattern-test-2.c: In function 'test1': [...]/gcc/testsuite/gcc.dg/analyzer/pattern-test-2.c:11:6: warning: pattern match on 'ptr != 0' [...]/gcc/testsuite/gcc.dg/analyzer/pattern-test-2.c:11:6: note: (1) here ('ptr' is in state 'start') [...]/gcc/testsuite/gcc.dg/analyzer/pattern-test-2.c:11:6: warning: pattern match on 'ptr == 0' [...]/gcc/testsuite/gcc.dg/analyzer/pattern-test-2.c:11:6: note: (1) here ('ptr' is in state 'start') [...]/gcc/testsuite/gcc.dg/analyzer/pattern-test-2.c: In function 'test_2': [...]/gcc/testsuite/gcc.dg/analyzer/pattern-test-2.c:21:6: warning: pattern match on 'p != 0' [...]/gcc/testsuite/gcc.dg/analyzer/pattern-test-2.c:21:6: note: (1) here ('p' is in state 'start') [...]/gcc/testsuite/gcc.dg/analyzer/pattern-test-2.c:21:6: warning: pattern match on 'p == 0' [...]/gcc/testsuite/gcc.dg/analyzer/pattern-test-2.c:21:6: note: (1) here ('p' is in state 'start') [...]/gcc/testsuite/gcc.dg/analyzer/pattern-test-2.c:21:17: warning: pattern match on 'q == 0' [...]/gcc/testsuite/gcc.dg/analyzer/pattern-test-2.c:21:6: note: (1) following 'false' branch (when 'p' is non-NULL)... [...]/gcc/testsuite/gcc.dg/analyzer/pattern-test-2.c:21:17: note: (2) ...to here [...]/gcc/testsuite/gcc.dg/analyzer/pattern-test-2.c:21:17: note: (3) here ('q' is in state 'start') [...]/gcc/testsuite/gcc.dg/analyzer/pattern-test-2.c:21:17: warning: pattern match on 'q != 0' [...]/gcc/testsuite/gcc.dg/analyzer/pattern-test-2.c:21:6: note: (1) following 'false' branch (when 'p' is non-NULL)... [...]/gcc/testsuite/gcc.dg/analyzer/pattern-test-2.c:21:17: note: (2) ...to here [...]/gcc/testsuite/gcc.dg/analyzer/pattern-test-2.c:21:17: note: (3) here ('q' is in state 'start') Excess errors: [...]/gcc/testsuite/gcc.dg/analyzer/pattern-test-2.c:21:6: warning: pattern match on 'p == 0' [...]/gcc/testsuite/gcc.dg/analyzer/pattern-test-2.c:21:17: warning: pattern match on 'q == 0' Per <gcc-testresu...@gcc.gnu.org>, this happens for a few configurations: powerpc64le-unknown-linux-gnu, pru-unknown-elf, moxie-unknown-elf, m68k-unknown-linux-gnu, powerpc-ibm-aix7.2.0.0.