analyzer: use unique_ptr for state_machine instances

gcc/analyzer/ChangeLog:
	* engine.cc (class plugin_analyzer_init_impl): Convert
	"m_checkers" to use std::vector of std::unique_ptr.  Convert
	"m_known_fn_mgr" to a reference.
	(impl_run_checkers): Convert "checkers" to use std::vector of
	std::unique_ptr and move it into the extrinsic_state.
	* program-state.cc (extrinsic_state::dump_to_pp): Update for
	changes to m_checkers.
	(extrinsic_state::to_json): Likewise.
	(extrinsic_state::get_sm_idx_by_name): Likewise.
	(selftest::test_sm_state_map): Update to use std::unique_ptr
	for state machines.
	(selftest::test_program_state_1): Likewise.
	(selftest::test_program_state_2): Likewise.
	(selftest::test_program_state_merging): Likewise.
	(selftest::test_program_state_merging_2): Likewise.
	* program-state.h (class extrinsic_state): Convert "m_checkers" to
	use std::vector of std::unique_ptr and to be owned by this object,
	rather than a reference.  Add ctor for use in selftests.
	* sm-fd.cc (make_fd_state_machine): Update to use std::unique_ptr.
	* sm-file.cc (make_fileptr_state_machine): Likewise.
	* sm-malloc.cc (make_malloc_state_machine): Likewise.
	* sm-pattern-test.cc (make_pattern_test_state_machine): Likewise.
	* sm-sensitive.cc (make_sensitive_state_machine): Likewise.
	* sm-signal.cc (make_signal_state_machine): Likewise.
	* sm-taint.cc (make_taint_state_machine): Likewise.
	* sm.cc: Define INCLUDE_LIST.
	(make_checkers): Return the vector directly, rather than pass it
	in by reference.  Update to use std::unique_ptr throughout.  Use
	an intermediate list, and use that to filter with
	flag_analyzer_checker, fixing memory leak for this case.
	* sm.h: (make_checkers): Return the vector directly, rather than
	pass it in by reference, and use std::vector of std::unique_ptr.
	(make_malloc_state_machine): Convert return type to use std::unique_ptr.
	(make_fileptr_state_machine): Likewise.
	(make_taint_state_machine): Likewise.
	(make_sensitive_state_machine): Likewise.
	(make_signal_state_machine): Likewise.
	(make_pattern_test_state_machine): Likewise.
	(make_va_list_state_machine): Likewise.
	(make_fd_state_machine): Likewise.
	* varargs.cc (make_va_list_state_machine): Update to use
	std::unique_ptr.

Signed-off-by: David Malcolm <dmalcolm@redhat.com>

0 files changed, 0 insertions, 0 deletions