Index: src/tests/dtor-early-exit.c
===================================================================
--- src/tests/dtor-early-exit.c	(revision a01f7c948d2b19b02ecf6d5dce78749a646f341a)
+++ src/tests/dtor-early-exit.c	(revision 58094611c386c7e6f0ba52d00ecf89b154288c42)
@@ -220,4 +220,22 @@
 }
 
+// TODO: implement __label__ and uncomment these lines
+void computedGoto() {
+  // __label__ bar;
+  void *ptr;
+  ptr = &&foo;
+  goto *ptr;
+  assert(false);
+foo: ;
+//   void f() {
+//     ptr = &&bar;
+//     goto *ptr;
+//     assert(false);
+//   }
+//   f();
+//   assert(false);
+// bar: ;
+}
+
 int main() {
 	sepDisable(sout);
@@ -229,4 +247,6 @@
 	sout | endl;
 	h();
+
+	computedGoto();
 }