* gcc.dg/ubsan/static-init-null.c: New testcase

diff --git a/gcc/testsuite/gcc.dg/ubsan/static-init-null.c b/gcc/testsuite/gcc.dg/ubsan/static-init-null.c
new file mode 100644 (file)
index 0000000..678e33c
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/ubsan/static-init-null.c
@@ -0,0 +1,25 @@
+/* { dg-do compile } */
+/* { dg-options "-fsanitize=null" } */
+
+typedef struct a_s a_t;
+typedef struct b_s b_t;
+
+struct b_s
+{
+  int n;
+};
+
+struct a_s
+{
+  int n;
+};
+
+static a_t arr[] = {
+  {
+    .n = 1,
+  },
+};
+
+__attribute__ ((used)) static b_t inited_struct = {
+  .n = arr == 0 ? 0 : 16 / sizeof (arr[0]),
+};