Fix assertion failure in -Warray-bounds on template parameters used as arrays.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@125693 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/Sema/SemaChecking.cpp b/lib/Sema/SemaChecking.cpp
index a4c9eb6..6a3ee12 100644
--- a/lib/Sema/SemaChecking.cpp
+++ b/lib/Sema/SemaChecking.cpp
@@ -3085,7 +3085,9 @@
dyn_cast<DeclRefExpr>(ae->getBase()->IgnoreParenImpCasts());
if (!dr)
return;
- const VarDecl *vd = cast<VarDecl>(dr->getDecl());
+ const VarDecl *vd = dyn_cast<VarDecl>(dr->getDecl());
+ if (!vd)
+ return;
const ConstantArrayType *cat = Context.getAsConstantArrayType(vd->getType());
if (!cat)
return;
diff --git a/test/Sema/array-bounds.c b/test/SemaCXX/array-bounds.cpp
similarity index 84%
rename from test/Sema/array-bounds.c
rename to test/SemaCXX/array-bounds.cpp
index b9dbe63..d60600f 100644
--- a/test/Sema/array-bounds.c
+++ b/test/SemaCXX/array-bounds.cpp
@@ -14,3 +14,8 @@
x[sizeof(x[2])]; // expected-warning{{array index of '4' indexes past the end of an array (that contains 2 elements)}}
}
+// This code example tests that -Warray-bounds works with arrays that
+// are template parameters.
+template <char *sz> class Qux {
+ bool test() { return sz[0] == 'a'; }
+};
\ No newline at end of file