]> granicus.if.org Git - clang/commit
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)
commited2e2de580f840385f25a188ed48d2a14948af76
tree6d2fc2e6bf46dbfc756168275d6af8ba0752b81f
parent1cf7c3f8948b26395bc3293a657afb9f98878db7
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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@185417 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/ExprEngine.cpp
test/Analysis/cxx11-crashes.cpp