tree 24ec1f87444dfaaf1eb5fb09daa5cb040b9355d3
parent 58d33ad9c83f1195a7db544e4b41daa019aaa767
author Jordan Rose <jordan_rose@apple.com> 1344895894 +0000
committer Jordan Rose <jordan_rose@apple.com> 1344895894 +0000

[analyzer] Don't strip CXXBaseObjectRegions when checking dynamic_casts.

...and /do/ strip CXXBaseObjectRegions when casting to a virtual base class.

This allows us to enforce the invariant that a CXXBaseObjectRegion can always
provide an offset for its base region if its base region has a known class
type, by only allowing virtual bases and direct non-virtual bases to form
CXXBaseObjectRegions.

This does mean some slight problems for our modeling of dynamic_cast, which
needs to be resolved by finding a path from the current region to the class
we're trying to cast to.

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