tree c43e7b6c06c3183bee103da0ff484e6846c7454c
parent d666ae9862a06cab12108607c516a8475b4fb766
author David Malcolm <dmalcolm@redhat.com> 1576789841 -0500
committer David Malcolm <dmalcolm@redhat.com> 1579054245 -0500

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.