diff --git a/regression/cbmc/Struct_Initialization1/main.c b/regression/cbmc/Struct_Initialization1/main.c
index f89d06d08e3..82768b55e09 100644
--- a/regression/cbmc/Struct_Initialization1/main.c
+++ b/regression/cbmc/Struct_Initialization1/main.c
@@ -1,5 +1,8 @@
+#include <assert.h>
+
 struct tag1 {
   int f;
+  int : 32; // unnamed bit-field, ignored during initialization
   int g;
   int *p;
   int a[2];
diff --git a/regression/cbmc/Struct_Initialization1/test.desc b/regression/cbmc/Struct_Initialization1/test.desc
index 9efefbc7362..82e1022d6d1 100644
--- a/regression/cbmc/Struct_Initialization1/test.desc
+++ b/regression/cbmc/Struct_Initialization1/test.desc
@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 main.c
 
 ^EXIT=0$
@@ -6,3 +6,6 @@ main.c
 ^VERIFICATION SUCCESSFUL$
 --
 ^warning: ignoring
+--
+The C front-end needs to ignore the unnamed bit-field during struct
+initialization; issue #3709.