Add -fanalyzer option if available. (#912)

config/Makefile.in

@@ -124,7 +124,7 @@ am__can_run_installinfo = \
   esac
 am__tagged_files = $(HEADERS) $(SOURCES) $(TAGS_FILES) $(LISP)
 am__DIST_COMMON = $(srcdir)/Makefile.in compile config.guess \
-	config.sub depcomp install-sh ltmain.sh missing mkinstalldirs
+	config.sub install-sh ltmain.sh missing mkinstalldirs
 DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST)
 ACLOCAL = @ACLOCAL@
 AMTAR = @AMTAR@

configure

@@ -17143,13 +17143,15 @@ then
 			-Wanalyzer-file-leak \
 			-Wanalyzer-free-of-non-heap \
 			-Wanalyzer-malloc-leak \
+			-Wanalyzer-possible-null-dereference \
 			-Wanalyzer-mismatching-deallocation \
 			-Wanalyzer-null-dereference \
 			-Wanalyzer-null-argument \
 			-Wanalyzer-possible-null-argument \
 			-Wanalyzer-shift-count-negative \
 			-Wanalyzer-overflow \
 			-Wanalyzer-stale-setjmp-buffer \
+			-Wanalyzer-tainted-array-index \
 			-Wanalyzer-unsafe-call-within-signal-handler \
 			-Wanalyzer-use-after-free \
 			-Wanalyzer-use-of-pointer-in-stale-stack-frame \

configure.ac

@@ -157,21 +157,24 @@ then
 
 		# "Iffy" g++ options.  Some reasonably current g++-like
 		# compilers may not support these.
-# TODO: Once false positive in std lib is fixed, simplify to "-fanalyzer".
+		# The -fanalyzer one is a macro option for many of the others.
 		add_compiler_opts_if_ok \
+			-fanalyzer \
 			-Wanalyzer-double-fclose \
 			-Wanalyzer-double-free \
 			-Wanalyzer-exposure-through-output-file \
 			-Wanalyzer-file-leak \
 			-Wanalyzer-free-of-non-heap \
 			-Wanalyzer-malloc-leak \
+			-Wanalyzer-possible-null-dereference \
 			-Wanalyzer-mismatching-deallocation \
 			-Wanalyzer-null-dereference \
 			-Wanalyzer-null-argument \
 			-Wanalyzer-possible-null-argument \
 			-Wanalyzer-shift-count-negative \
 			-Wanalyzer-overflow \
 			-Wanalyzer-stale-setjmp-buffer \
+			-Wanalyzer-tainted-array-index \
 			-Wanalyzer-unsafe-call-within-signal-handler \
 			-Wanalyzer-use-after-free \
 			-Wanalyzer-use-of-pointer-in-stale-stack-frame \