From b52f285553082c606f35a3e55f557f5d350f415e Mon Sep 17 00:00:00 2001 From: David Malcolm Date: Thu, 26 Sep 2019 16:55:30 -0400 Subject: [PATCH 69/97] FIXME: notes.txt --- notes.txt | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) create mode 100644 notes.txt diff --git a/notes.txt b/notes.txt new file mode 100644 index 0000000..8922141 --- /dev/null +++ b/notes.txt @@ -0,0 +1,31 @@ +Notes +===== + +Re pending_diagnostic's describe_* vfuncs: + I would have given all these the name "describe" and let overloading + distinguish them, but I was getting numerous warnings from + -Woverloaded-virtual. + + +User-facing Docs (putting them here to avoid the tedious texinfo rebuild times): +================================================================================ + +-fanalyzer +Enables a more detailed, but much more time-consuming analysis pass. + +-fanalyzer-verbosity=0 + Only show interprocedural calls and the most critical state-change + events. + +-fanalyzer-verbosity=1 + Show interprocedural calls and entrypoints, and the most critical + state-change events. + +-fanalyzer-verbosity=2 (the default) + Show interprocedural calls and entrypoints, branches taken, and the + most critical state-change events. + +-fanalyzer-verbosity=3 + Show all events, including statements, and state-change events that + are unrelated to the diagnostic in question. This is more intended + for debugging the analyzer itself. -- 1.8.5.3