https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114791
Bug ID: 114791
Summary: analyzer: file-leak not detected
Product: gcc
Version: 14.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: urs at akk dot org
Target Milestone: ---
Host: x86_64-pc-linux-gnu
Target: x86_64-pc-linux-gnu
Build: x86_64-pc-linux-gnu
Created attachment 57998
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57998&action=edit
minimal test case
False negative -Wanalyzer-file-leak
gcc build from git @ ef2392236ec629351496d7f299d6a0956080e4d9
gcc-14 -D_DEFAULT_SOURCE -Wall -Wextra -fanalyzer -O2 -v -save-temps
-freport-bug -g -std=c11 -o fleak file-leak.c
doesn't give a warning but it should (value of fp may be overwritten before
released).
