diff options
| -rw-r--r-- | lib/Sema/SemaChecking.cpp | 4 | ||||
| -rw-r--r-- | test/SemaCXX/array-bounds.cpp (renamed from test/Sema/array-bounds.c) | 5 |
2 files changed, 8 insertions, 1 deletions
diff --git a/lib/Sema/SemaChecking.cpp b/lib/Sema/SemaChecking.cpp index a4c9eb6841..6a3ee12b17 100644 --- a/lib/Sema/SemaChecking.cpp +++ b/lib/Sema/SemaChecking.cpp @@ -3085,7 +3085,9 @@ void Sema::CheckArrayAccess(const clang::ArraySubscriptExpr *ae) { 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 index b9dbe6344a..d60600fd4b 100644 --- a/test/Sema/array-bounds.c +++ b/test/SemaCXX/array-bounds.cpp @@ -14,3 +14,8 @@ int foo() { 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 |