[analyzer] Consider switch- and goto- labels when constructing the set of executed lines

[george.karpenkov]

Summary

When viewing the report in the collapsed mode the label signifying where did the execution go is often necessary for properly understanding the context.

[NoQ]

Yep, looks reasonable.

www/analyzer/faq.html

null?</a></li>
   <li><a href="#unused_ivar">How do I tell the static analyzer that I don't care about a specific unused instance variable in Objective C?</a></li>
   <li><a href="#unlocalized_string">How do I tell the static analyzer that I don't care about a specific unlocalized string?</a></li>
   <li><a href="#dealloc_mrr">How do I tell the analyzer that my instance variable does not need to be released in -dealloc under Manual Retain/Release?</a></li>
   <li><a href="#decide_nullability">How do I decide whether a method's return type should be _Nullable or _Nonnull?</a></li>
   <li><a href="#nullability_intentional_violation">How do I tell the analyzer that I am intentionally violating nullability?</a></li>
   <li><a href="#use_assert">The analyzer assumes that a loop body is never entered.  How can I tell it that the loop body will be entered at least once?</a></li>
   <li><a href="#suppress_issue">How can I suppress a specific analyzer warning?</a></li>
   <li><a href="#exclude_code">How can I selectively exclude code the analyzer examines?</a></li>
+  <li><a href="#run_on_single_file">How can I run the analyzer on a single file from the command line?</a></li>
 </ol>
 
 
 <h4 id="custom_assert" class="faq">Q: How do I tell the analyzer that I do not want the bug being
 reported here since my custom error handler will safely end the execution before
 the bug is reached?</h4>
 
 <img src="images/example_custom_assert.png" alt="example custom assert">

 #endif
 </pre>
 
 This usage is discouraged because it makes the code dead to the analyzer from 
 now on. Instead, we prefer that users file bugs against the analyzer when it flags 
 false positives.
 </p>
 
+<h4 id="run_on_single_file" class="faq">Q: How can I run the analyzer on a single file from command line?</h4>
+
+<p>The clang command line option <tt>--analyze</tt> enables usage on a single
+file:</p>
+
+<pre class="code_example">
+clang --analyze myfile.c
+</pre>
+
+<p>All usual clang flags may be used,
+e.g. a custom include directory may be specified:</p>
+
+<pre class="code_example">
+clang --analyze -Iinclude myotherfile.c
+</pre>
+
+<p>Moreover, the <a href="https://clang.llvm.org/docs/ClangCheck.html"><tt>clang-check</tt></a>
+tool can be used to automatically extract
+flags from the
+<a href="https://clang.llvm.org/docs/JSONCompilationDatabase.html">compilation database</a>:</p>
+
+<pre class="code_example">
+clang-check -analyze -p db-folder myfile.c
+</pre>
+
+<p>HTML reports can be generated by passing the following command line flag:</p>
+
+<pre class="code_example">
+clang --analyze -Xclang -analyzer-output=html mythirdfile.c -o report
+</pre>
+
+<p>This invocation would generate an HTML report for each issue found
+in a translation unit, and place it in the directory <tt>report</tt>.</p>
+
+
 </div>
 </div>
 </body>
 </html>
 

www/analyzer/scan-build.html

 <tt>clang</tt> or <tt>gcc</tt> (depending on the platform) to compile your 
 code and then executes the static analyzer to analyze your code.</p>
 
 <p>This &quot;poor man's interposition&quot; works amazingly well in many cases
 and falls down in others. Please consult the information on this page on making
 the best use of <b>scan-build</b>, which includes getting it to work when the
 aforementioned hack fails to work.</p>
 
+<h3>But what if I just need to analyze single file?</h3>
+
+<p>This FAQ
+<a href="/faq.html#run_on_single_file">answer</a>
+has all the details.<p>
+
 </td>
 <td style="padding-left:10px; text-align:center">
   <img src="images/scan_build_cmd.png" width="450px" alt="scan-build"><br>
   <a href="images/analyzer_html.png"><img src="images/analyzer_html.png" width="450px" alt="analyzer in browser"></a>
 <br><b>Viewing static analyzer results in a web browser</b>
 </td></tr></table>
 
 <h2>Contents</h2>