https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109372
Bug ID: 109372
Summary: FAIL: gcc.dg/analyzer/pipe-glibc.c (test for excess
errors)
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: danglin at gcc dot gnu.org
Target Milestone: ---
Host: hppa*-*-linux*
Target: hppa*-*-linux*
Build: hppa*-*-linux*
spawn -ignore SIGHUP /home/dave/gnu/gcc/objdir/gcc/xgcc
-B/home/dave/gnu/gcc/objdir/gcc/
/home/dave/gnu/gcc/gcc/gcc/testsuite/gcc.dg/analyzer/pipe-glibc.c
-fdiagnostics-plain-output -fanalyzer -Wanalyzer-too-complex
-fanalyzer-call-summaries -S -o pipe-glibc.s
/home/dave/gnu/gcc/gcc/gcc/testsuite/gcc.dg/analyzer/pipe-glibc.c: In function
'write_to_pipe':
/home/dave/gnu/gcc/gcc/gcc/testsuite/gcc.dg/analyzer/pipe-glibc.c:28:3:
warning: use of possibly-NULL 'stream' where non-null expected [CWE-690]
[-Wanalyzer-possible-null-argument]
/home/dave/gnu/gcc/gcc/gcc/testsuite/gcc.dg/analyzer/pipe-glibc.c:27:12: note:
(1) this call could return NULL
/home/dave/gnu/gcc/gcc/gcc/testsuite/gcc.dg/analyzer/pipe-glibc.c:28:3: note:
(2) argument 4 ('stream') from (1) could be NULL where non-null expected
<built-in>: note: argument 4 of '__builtin_fwrite' must be non-null
FAIL: gcc.dg/analyzer/pipe-glibc.c (test for excess errors)
Excess errors:
/home/dave/gnu/gcc/gcc/gcc/testsuite/gcc.dg/analyzer/pipe-glibc.c:28:3:
warning: use of possibly-NULL 'stream' where non-null expected [CWE-690]
[-Wanalyzer-possible-null-argument]
