analyzer: enable taint state machine by default [PR103533]

analyzer: enable taint state machine by default [PR103533]

gcc/analyzer/ChangeLog:
	PR analyzer/103533
	* sm-taint.cc: Remove "experimental" from comment.
	* sm.cc (make_checkers): Always add taint state machine.

gcc/ChangeLog:
	PR analyzer/103533
	* doc/invoke.texi (Static Analyzer Options): Add the six
	-Wanalyzer-tainted-* warnings.  Update documentation of each
	warning to reflect removed requirement to use
	-fanalyzer-checker=taint.  Remove discussion of
	-fanalyzer-checker=taint.

gcc/testsuite/ChangeLog:
	PR analyzer/103533
	* c-c++-common/analyzer/attr-tainted_args-1.c: Remove use of
	-fanalyzer-checker=taint.
	* c-c++-common/analyzer/fread-1.c: Likewise.
	* c-c++-common/analyzer/pr104029.c: Likewise.
	* gcc.dg/analyzer/pr93032-mztools-signed-char.c: Add params to
	work around state explosion.
	* gcc.dg/analyzer/pr93032-mztools-unsigned-char.c: Likewise.
	* gcc.dg/analyzer/pr93382.c: Remove use of
	-fanalyzer-checker=taint.
	* gcc.dg/analyzer/switch-enum-taint-1.c: Likewise.
	* gcc.dg/analyzer/taint-CVE-2011-2210-1.c: Likewise.
	* gcc.dg/analyzer/taint-CVE-2020-13143-1.c: Likewise.
	* gcc.dg/analyzer/taint-CVE-2020-13143-2.c: Likewise.
	* gcc.dg/analyzer/taint-CVE-2020-13143.h: Likewise.
	* gcc.dg/analyzer/taint-alloc-1.c: Likewise.
	* gcc.dg/analyzer/taint-alloc-2.c: Likewise.
	* gcc.dg/analyzer/taint-alloc-3.c: Likewise.
	* gcc.dg/analyzer/taint-alloc-4.c: Likewise.
	* gcc.dg/analyzer/taint-alloc-5.c: Likewise.
	* gcc.dg/analyzer/taint-assert-BUG_ON.c: Likewise.
	* gcc.dg/analyzer/taint-assert-macro-expansion.c: Likewise.
	* gcc.dg/analyzer/taint-assert-system-header.c: Likewise.
	* gcc.dg/analyzer/taint-assert.c: Likewise.
	* gcc.dg/analyzer/taint-divisor-1.c: Likewise.
	* gcc.dg/analyzer/taint-divisor-2.c: Likewise.
	* gcc.dg/analyzer/taint-merger.c: Likewise.
	* gcc.dg/analyzer/taint-ops.c: Delete this test: it was a
	duplicate of material in operations.c and data-model-1.c, with
	-fanalyzer-checker=taint added.
	* gcc.dg/analyzer/taint-read-index-1.c: Remove use of
	-fanalyzer-checker=taint.
	* gcc.dg/analyzer/taint-read-offset-1.c: Likewise.
	* gcc.dg/analyzer/taint-realloc.c: Likewise.  Add missing
	dg-warning for leak now that the malloc state machine is also
	active.
	* gcc.dg/analyzer/taint-size-1.c: Remove use of
	-fanalyzer-checker=taint.
	* gcc.dg/analyzer/taint-size-access-attr-1.c: Likewise.
	* gcc.dg/analyzer/taint-write-index-1.c: Likewise.
	* gcc.dg/analyzer/taint-write-offset-1.c: Likewise.
	* gcc.dg/analyzer/torture/taint-read-index-2.c: Likewise.
	* gcc.dg/analyzer/torture/taint-read-index-3.c: Likewise.
	* gcc.dg/plugin/taint-CVE-2011-0521-1-fixed.c: Likewise.  Add
	-Wno-pedantic.
	* gcc.dg/plugin/taint-CVE-2011-0521-1.c: Likewise.
	* gcc.dg/plugin/taint-CVE-2011-0521-2-fixed.c: Likewise.
	* gcc.dg/plugin/taint-CVE-2011-0521-2.c: Likewise.
	* gcc.dg/plugin/taint-CVE-2011-0521-3-fixed.c: Likewise.
	* gcc.dg/plugin/taint-CVE-2011-0521-3.c: Likewise.  Fix C++-style
	comment.
	* gcc.dg/plugin/taint-CVE-2011-0521-4.c: Remove use of
	-fanalyzer-checker=taint and add -Wno-pedantic. Remove xfail and
	add missing dg-warning.
	* gcc.dg/plugin/taint-CVE-2011-0521-5-fixed.c: Remove use of
	-fanalyzer-checker=taint and add -Wno-pedantic.
	* gcc.dg/plugin/taint-CVE-2011-0521-5.c: Likewise.
	* gcc.dg/plugin/taint-CVE-2011-0521-6.c: Likewise.
	* gcc.dg/plugin/taint-antipatterns-1.c: : Remove use of
	-fanalyzer-checker=taint.

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