Add KNOWBUG test for 5093

Author: yumibagge

regression/cbmc/pointer-to-struct-with-flexible-array-member-as-parameter-to-entry-point/main.c

@@ -0,0 +1,15 @@
+#include <assert.h>
+#include <stdlib.h>
+
+typedef struct ST ST;
+typedef struct ST
+{
+  // int id;
+  // ST *c[];
+  int c[];
+} ST;
+
+void testFunc(ST **t)
+{
+  *t=malloc(sizeof(ST));
+}

regression/cbmc/pointer-to-struct-with-flexible-array-member-as-parameter-to-entry-point/test.desc

@@ -0,0 +1,10 @@
+KNOWNBUG
+main.c
+--function testFunc
+--
+^EXIT=0$
+^SIGNAL=0$
+--
+^EXIT=134$
+--
+Github issue #5093: Pointer to struct with flexible array member as parameter to entry point causes invariant violation