tree efc98692534cbbf465a59cf1440ddef639b2e6e7
parent bc403861bc4e6f7ad1371e9e129f0f25b38b3a9a
author Jordan Rose <jordan_rose@apple.com> 1360891404 +0000
committer Jordan Rose <jordan_rose@apple.com> 1360891404 +0000

[analyzer] Don't assert when mixing reinterpret_cast and derived-to-base casts.

This just adds a very simple check that if a DerivedToBase CastExpr is
operating on a value with known C++ object type, and that type is not the
base type specified in the AST, then the cast is invalid and we should
return UnknownVal.

In the future, perhaps we can have a checker that specifies that this is
illegal, but we still shouldn't assert even if the user turns that checker
off.

PR14872

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@175239 91177308-0d34-0410-b5e6-96231b3b80d8