On Wed, 2020-01-08 at 04:02 -0500, David Malcolm wrote: > Sandra reviewed the v1 version of this patch here: > https://gcc.gnu.org/ml/gcc-patches/2019-12/msg00549.html > and noted that the organization could use some work. > > TODO: update re Sandra's ideas > > Changed in v4: > - Use -fanalyzer rather than --analyzer > - Add -W[no-]analyzer-unsafe-call-within-signal-handler > > gcc/ChangeLog: > * doc/invoke.texi ("Static Analyzer Options"): New list and new section. > ("Warning Options"): Add static analysis warnings to the list. > (-Wno-analyzer-double-fclose): New option. > (-Wno-analyzer-double-free): New option. > (-Wno-analyzer-exposure-through-output-file): New option. > (-Wno-analyzer-file-leak): New option. > (-Wno-analyzer-free-of-non-heap): New option. > (-Wno-analyzer-malloc-leak): New option. > (-Wno-analyzer-possible-null-argument): New option. > (-Wno-analyzer-possible-null-dereference): New option. > (-Wno-analyzer-null-argument): New option. > (-Wno-analyzer-null-dereference): New option. > (-Wno-analyzer-stale-setjmp-buffer): New option. > (-Wno-analyzer-tainted-array-index): New option. > (-Wno-analyzer-use-after-free): New option. > (-Wno-analyzer-use-of-pointer-in-stale-stack-frame): New option. > (-Wno-analyzer-use-of-uninitialized-value): New option. > (-Wanalyzer-too-complex): New option. > (-fanalyzer-call-summaries): New warning. > (-fanalyzer-checker=): New warning. > (-fanalyzer-fine-grained): New warning. > (-fno-analyzer-state-merge): New warning. > (-fno-analyzer-state-purge): New warning. > (-fanalyzer-transitivity): New warning. > (-fanalyzer-verbose-edges): New warning. > (-fanalyzer-verbose-state-changes): New warning. > (-fanalyzer-verbosity=): New warning. > (-fdump-analyzer): New warning. > (-fdump-analyzer-callgraph): New warning. > (-fdump-analyzer-exploded-graph): New warning. > (-fdump-analyzer-exploded-nodes): New warning. > (-fdump-analyzer-exploded-nodes-2): New warning. > (-fdump-analyzer-exploded-nodes-3): New warning. > (-fdump-analyzer-supergraph): New warning. I think this is generally OK. I don't mind iterating on this stuff.
Jeff >
