1 files changed, 12 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/pr16973.c b/gcc/testsuite/gcc.dg/pr16973.c
new file mode 100644
index 000000000..e24c9f821
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr16973.c
@@ -0,0 +1,12 @@
+/* We were removing the label "a" because
+   we were removing the BB for it but forgot
+   to add back the label.   */
+
+/* { dg-options "" } */
+
+void
+f (void)
+{
+  static __SIZE_TYPE__ x = &&a - &&b;
+  a : b : return;
+}