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.