projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1df4dfe) | patch
Teach static analyzer about AttributedStmts
authorPavel Labath <labath@google.com>
Tue, 2 Jul 2013 09:38:48 +0000 (09:38 +0000)
committerPavel Labath <labath@google.com>
Tue, 2 Jul 2013 09:38:48 +0000 (09:38 +0000)
commit868bebf844be3cd49bfa01f6ea63bf4106a6bb37
treef6c8f96942342138188e801f54cf528639538edbtree | snapshot
parent1df4dfe87a32a1eae7c151554e8237db182ea1b3commit | diff
Teach static analyzer about AttributedStmts

Summary:
Static analyzer used to abort when encountering AttributedStmts, because it
asserted that the statements should not appear in the CFG. This is however not
the case, since at least the clang::fallthrough annotation makes it through.

This commit simply makes the analyzer ignore the statement attributes.

CC: cfe-commits
Differential Revision: http://llvm-reviews.chandlerc.com/D1030

llvm-svn: 185417
clang/lib/StaticAnalyzer/Core/ExprEngine.cpp diff | blob | history
clang/test/Analysis/cxx11-crashes.cpp diff | blob | history
Domain: System / Toolchain;