diff options
| author | Jiufu Guo <guojiufu@linux.ibm.com> | 2023-04-12 10:12:58 +0800 |
|---|---|---|
| committer | Jiufu Guo <guojiufu@linux.ibm.com> | 2023-04-14 11:09:38 +0800 |
| commit | edc6659c97c4a747123b1150b372dc8e7a83a824 (patch) | |
| tree | 4a4750e63db6230a7f0637d4208e8ca82d24ea0e /gcc/range-op-float.cc | |
| parent | 48d0244b60507fe85f1489cce483a7e6b46662c9 (diff) | |
| download | gcc-edc6659c97c4a747123b1150b372dc8e7a83a824.zip gcc-edc6659c97c4a747123b1150b372dc8e7a83a824.tar.gz gcc-edc6659c97c4a747123b1150b372dc8e7a83a824.tar.bz2 | |
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.
Diffstat (limited to 'gcc/range-op-float.cc')
0 files changed, 0 insertions, 0 deletions