]> git.ipfire.org Git - thirdparty/gcc.git/commit
testsuite: filter out warning noise for CWE-1341 test
authorJiufu Guo <guojiufu@linux.ibm.com>
Wed, 12 Apr 2023 02:12:58 +0000 (10:12 +0800)
committerJiufu Guo <guojiufu@linux.ibm.com>
Fri, 14 Apr 2023 03:09:38 +0000 (11:09 +0800)
commitedc6659c97c4a747123b1150b372dc8e7a83a824
tree4a4750e63db6230a7f0637d4208e8ca82d24ea0e
parent48d0244b60507fe85f1489cce483a7e6b46662c9
testsuite: filter out warning noise for CWE-1341 test

The case file-CWE-1341-example.c checkes [CWE-1341](`double-fclose`).
While on some systems, besides [CWE-1341], a message of [CWE-415] is
also reported. On those systems, attribute `malloc` may be attached on
fopen:
```
# 258 "/usr/include/stdio.h" 3 4
extern FILE *fopen (const char *__restrict __filename,
      const char *__restrict __modes)
  __attribute__ ((__malloc__)) __attribute__ ((__malloc__ (fclose, 1))) ;

or say: __attribute_malloc__ __attr_dealloc_fclose __wur;
```

See (PR analyzer/108722) for future fix in the analyzer.
This workaround patch adds -Wno-analyzer-double-free to this case.

gcc/testsuite/ChangeLog:

PR analyzer/108722
* gcc.dg/analyzer/file-CWE-1341-example.c: Update.
gcc/testsuite/gcc.dg/analyzer/file-CWE-1341-example.c