]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fc5335d) | patch
Fix static analyzer crash when casting from an incomplete type
authorPavel Labath <labath@google.com>
Thu, 20 Jun 2013 07:45:01 +0000 (07:45 +0000)
committerPavel Labath <labath@google.com>
Thu, 20 Jun 2013 07:45:01 +0000 (07:45 +0000)
commit9122025df6682a29ba4bdfc4330d2caebb8ea4de
treedc6b95da16bbf51421477ff2d2b19e37936f1524tree | snapshot
parentfc5335dd8ead65b7dc1dedd75ed32f9e74f229d0commit | diff
Fix static analyzer crash when casting from an incomplete type

Summary:
When doing a reinterpret+dynamic cast from an incomplete type, the analyzer
would crash (bug #16308). This fix makes the dynamic cast evaluator ignore
incomplete types, as they can never be used in a dynamic_cast. Also adding a
regression test.

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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@184403 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/Store.cpp diff | blob | history
test/Analysis/derived-to-base.cpp diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.