commit | 7d99bc37e77157523e3bfbc6c077842b74e6690f | [log] [tgz] |
---|---|---|
author | Anders Carlsson <andersca@mac.com> | Sun Apr 10 20:33:22 2011 +0000 |
committer | Anders Carlsson <andersca@mac.com> | Sun Apr 10 20:33:22 2011 +0000 |
tree | f7abc6739dafe6154c2cf073e8dc3fd39306bf24 | |
parent | fb8721ce4c6fef3739b1cbd1e38e3f1949462033 [diff] |
As a first step towards fixing PR9641, add a CK_DynamicToNull cast kind which represents a dynamic cast where we know that the result is always null. For example: struct A { virtual ~A(); }; struct B final : A { }; struct C { }; bool f(B* b) { return dynamic_cast<C*>(b); } git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@129256 91177308-0d34-0410-b5e6-96231b3b80d8