diff options
| author | Anders Carlsson <andersca@mac.com> | 2011-04-10 20:33:22 +0000 |
|---|---|---|
| committer | Anders Carlsson <andersca@mac.com> | 2011-04-10 20:33:22 +0000 |
| commit | 7d99bc37e77157523e3bfbc6c077842b74e6690f (patch) | |
| tree | f7abc6739dafe6154c2cf073e8dc3fd39306bf24 /lib/AST/ExprConstant.cpp | |
| 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
Diffstat (limited to 'lib/AST/ExprConstant.cpp')
| -rw-r--r-- | lib/AST/ExprConstant.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/AST/ExprConstant.cpp b/lib/AST/ExprConstant.cpp index e0f9958298..aa8d91a6d6 100644 --- a/lib/AST/ExprConstant.cpp +++ b/lib/AST/ExprConstant.cpp @@ -1768,6 +1768,7 @@ bool IntExprEvaluator::VisitCastExpr(CastExpr *E) { case CK_DerivedToBase: case CK_UncheckedDerivedToBase: case CK_Dynamic: + case CK_DynamicToNull: case CK_ToUnion: case CK_ArrayToPointerDecay: case CK_FunctionToPointerDecay: @@ -2315,6 +2316,7 @@ bool ComplexExprEvaluator::VisitCastExpr(CastExpr *E) { case CK_DerivedToBase: case CK_UncheckedDerivedToBase: case CK_Dynamic: + case CK_DynamicToNull: case CK_ToUnion: case CK_ArrayToPointerDecay: case CK_FunctionToPointerDecay: |