https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94851
Bug ID: 94851
Summary: -fanalyzer erroniously reporting NULL dereference -
simple test case attached
Product: gcc
Version: 10.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: addw at phcomp dot co.uk
Target Milestone: ---
Created attachment 48409
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=48409&action=edit
C source showing error
Attached is a simplified part of a bigger program.
Compiled on Fedora 32:
cc -O2 -Wall -Wno-pointer-sign -Wconversion -fanalyzer -c -o pmark.o pmark.c
Output also attached.
