]> git.ipfire.org Git - thirdparty/gcc.git/commit
analyzer: add -Wanalyzer-use-of-closed-file devel/analyzer
authorDavid Malcolm <dmalcolm@redhat.com>
Thu, 19 Dec 2019 21:10:41 +0000 (16:10 -0500)
committerDavid Malcolm <dmalcolm@redhat.com>
Wed, 15 Jan 2020 02:10:45 +0000 (21:10 -0500)
commit24918a9b20c771984f41f90c3352c3ebee8b5e6f
treec43e7b6c06c3183bee103da0ff484e6846c7454c
parentd666ae9862a06cab12108607c516a8475b4fb766
analyzer: add -Wanalyzer-use-of-closed-file

gcc/analyzer/ChangeLog:
* analyzer.opt (Wanalyzer-use-of-closed-file): New option.
* sm-file.cc (class use_of_closed_file): New file_diagnostic subclass.
(find_file_param): New function.
(fileptr_state_machine::on_stmt): Complain about operations on
closed files.

gcc/ChangeLog:
* doc/invoke.texi (-Wanalyzer-use-of-closed-file): Document new
option.

gcc/testsuite/ChangeLog:
* gcc.dg/analyzer/file-1.c (test_5): New test.
gcc/analyzer/analyzer.opt
gcc/analyzer/sm-file.cc
gcc/doc/invoke.texi
gcc/testsuite/gcc.dg/analyzer/file-1.c