[Bug analyzer/93291] New: 'FAIL: gcc.dg/analyzer/pattern-test-2.c' for a few configurations

[tschwinge at gcc dot gnu.org]

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-testresults@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.