Check a few more kinds of declarations that make a scope.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@65680 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/Sema/SemaDecl.cpp b/lib/Sema/SemaDecl.cpp
index 8a4ffaf..e99be90 100644
--- a/lib/Sema/SemaDecl.cpp
+++ b/lib/Sema/SemaDecl.cpp
@@ -2503,6 +2503,9 @@
i != DS->decl_end(); ++i) {
if (VarDecl* D = dyn_cast<VarDecl>(*i)) {
result |= D->getType()->isVariablyModifiedType();
+ result |= !!D->getAttr<CleanupAttr>();
+ } else if (TypedefDecl* D = dyn_cast<TypedefDecl>(*i)) {
+ result |= D->getUnderlyingType()->isVariablyModifiedType();
}
}
}
diff --git a/test/Sema/scope-check.c b/test/Sema/scope-check.c
index 0eb134c..71c9d2f 100644
--- a/test/Sema/scope-check.c
+++ b/test/Sema/scope-check.c
@@ -6,3 +6,19 @@
L:
return sizeof a;
}
+
+int test2(int x) {
+ goto L; // expected-error{{illegal jump}}
+ typedef int a[x];
+ L:
+ return sizeof(a);
+}
+
+void test3clean(int*);
+
+int test3() {
+ goto L; // expected-error{{illegal jump}}
+ int a __attribute((cleanup(test3clean)));
+ L:
+ return a;
+}