[analyzer] Consider switch- and goto- labels when constructing the set of executed...
authorGeorge Karpenkov <ekarpenkov@apple.com>
Fri, 23 Feb 2018 23:26:54 +0000 (23:26 +0000)
committerGeorge Karpenkov <ekarpenkov@apple.com>
Fri, 23 Feb 2018 23:26:54 +0000 (23:26 +0000)
commit80e4ba24b9baa6d7312df70b681e613cc85a77f3
treea19c02f827b9bdbdeb7da544b5629d2002e3d03c
parentc79333413a5b9738ac43417173f44794efb3a7c8
[analyzer] Consider switch- and goto- labels when constructing the set of executed lines

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

Differential Revision: https://reviews.llvm.org/D43145

llvm-svn: 325975
clang/lib/StaticAnalyzer/Core/BugReporter.cpp
clang/test/Analysis/html_diagnostics/relevant_lines/goto.c [new file with mode: 0644]
clang/test/Analysis/html_diagnostics/relevant_lines/switch.c [new file with mode: 0644]
clang/test/Analysis/html_diagnostics/relevant_lines/switch_default.c [new file with mode: 0644]