commit 24918a9b20c771984f41f90c3352c3ebee8b5e6f
author David Malcolm <dmalcolm@redhat.com> Thu Dec 19 16:10:41 2019 -0500
committer David Malcolm <dmalcolm@redhat.com> Tue Jan 14 21:10:45 2020 -0500
tree c43e7b6c06c3183bee103da0ff484e6846c7454c
parent d666ae9862a06cab12108607c516a8475b4fb766

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.