[Bug testsuite/107903] New: new test case gcc.dg/analyzer/file-CWE-1341-example.c in r13-4218-g9ada45967b4cf5 has excess errors

[seurer at gcc dot gnu.org via Gcc-bugs]

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

            Bug ID: 107903
           Summary: new test case gcc.dg/analyzer/file-CWE-1341-example.c
                    in r13-4218-g9ada45967b4cf5 has excess errors
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: testsuite
          Assignee: unassigned at gcc dot gnu.org
          Reporter: seurer at gcc dot gnu.org
  Target Milestone: ---

g:9ada45967b4cf543aa47091e99a760d0718013cc, r13-4218-g9ada45967b4cf5
make  -k check-gcc
RUNTESTFLAGS="analyzer.exp=gcc.dg/analyzer/file-CWE-1341-example.c"
FAIL: gcc.dg/analyzer/file-CWE-1341-example.c (test for excess errors)
# of expected passes            3
# of unexpected failures        1

Excess errors:
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/file-CWE-1341-example.c:38:16:
warning: double-'fclose' of 'f' [CWE-415] [-Wanalyzer-double-free]



commit 9ada45967b4cf543aa47091e99a760d0718013cc (HEAD, refs/bisect/bad)
Author: David Malcolm <dmalc...@redhat.com>
Date:   Mon Nov 21 19:08:17 2022 -0500

    analyzer, testsuite: add more examples taken from CWE