[Bug other/108507] New: [13 regression] new test case gcc.dg/analyzer/SARD-tc841-basic-00182-min.c in r13-5244-gc6a011119bfa03 fails

[Bug other/108507] New: [13 regression] new test case gcc.dg/analyzer/SARD-tc841-basic-00182-min.c in r13-5244-gc6a011119bfa03 fails

[seurer at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108507

            Bug ID: 108507
           Summary: [13 regression] new test case
                    gcc.dg/analyzer/SARD-tc841-basic-00182-min.c in
                    r13-5244-gc6a011119bfa03 fails
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: other
          Assignee: unassigned at gcc dot gnu.org
          Reporter: seurer at gcc dot gnu.org
  Target Milestone: ---

g:c6a011119bfa038ccbfc9f123ede14a3d6237fab, r13-5244-gc6a011119bfa03

This test case is failing on some of power powerpc64 servers.  This run was on
a power 9:

make  -k check-gcc
RUNTESTFLAGS="analyzer.exp=gcc.dg/analyzer/SARD-tc841-basic-00182-min.c"
FAIL: gcc.dg/analyzer/SARD-tc841-basic-00182-min.c (test for excess errors)
# of unexpected failures        1

Excess errors:
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/SARD-tc841-basic-00182-min.c:67:3:
warning: 'fgets' writing 11 bytes into a region of size 10 overflows the
destination [-Wstringop-overflow=]
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/SARD-tc841-basic-00182-min.c:67:3:
warning: 'fgets' writing 11 bytes into a region of size 10 overflows the
destination [-Wstringop-overflow=]

commit c6a011119bfa038ccbfc9f123ede14a3d6237fab (HEAD, refs/bisect/bad)
Author: David Malcolm <dmalcolm@redhat.com>
Date:   Wed Jan 18 11:41:47 2023 -0500

    analyzer: add SARD testsuite 81

[Bug analyzer/108507] [13 regression] new test case gcc.dg/analyzer/SARD-tc841-basic-00182-min.c in r13-5244-gc6a011119bfa03 fails

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108507

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |13.0

[Bug analyzer/108507] [13 regression] new test case gcc.dg/analyzer/SARD-tc841-basic-00182-min.c in r13-5244-gc6a011119bfa03 fails

[dmalcolm at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108507

David Malcolm <dmalcolm at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2023-01-25

--- Comment #1 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Also seen on aarch64-unknown-linux-gnu:
  https://godbolt.org/z/Yzbxvf8j4

I'll add -Wno-stringop-overflow to the failing test (the point of the test is
to see if -fanalyzer can detect the problem).

[Bug analyzer/108507] [13 regression] new test case gcc.dg/analyzer/SARD-tc841-basic-00182-min.c in r13-5244-gc6a011119bfa03 fails

[cvs-commit at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108507

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by David Malcolm <dmalcolm@gcc.gnu.org>:

https://gcc.gnu.org/g:f1eab269288ffa80ba924ddb4c4b36f8f781d613

commit r13-5389-gf1eab269288ffa80ba924ddb4c4b36f8f781d613
Author: David Malcolm <dmalcolm@redhat.com>
Date:   Thu Jan 26 09:12:21 2023 -0500

    analyzer: fix SARD-tc841-basic-00182-min.c test case [PR108507]

    gcc/testsuite/ChangeLog:
            PR analyzer/108507
            * gcc.dg/analyzer/SARD-tc841-basic-00182-min.c: Add
            -Wno-stringop-overflow.

    Signed-off-by: David Malcolm <dmalcolm@redhat.com>

[Bug analyzer/108507] [13 regression] new test case gcc.dg/analyzer/SARD-tc841-basic-00182-min.c in r13-5244-gc6a011119bfa03 fails

[dmalcolm at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108507

David Malcolm <dmalcolm at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|ASSIGNED                    |RESOLVED

--- Comment #3 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Sorry about the noise.  Should be fixed by the above commit; please reopen this
bug if I messed up.