| 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