Merge pull request #6652 from tautschnig/bugfixes/missing-test.desc

Add missing test description file

Author: kroening

regression/cbmc/empty_compound_type3/test.desc

@@ -0,0 +1,13 @@
+CORE broken-smt-backend
+main.c
+
+^EXIT=10$
+^SIGNAL=0$
+^VERIFICATION FAILED$
+--
+^warning: ignoring
+Invariant check failed
+--
+Taking the address of an empty struct resulted in an invariant failure in
+address-of flattening. This test was generated using C-Reduce plus some further
+manual simplification.