re-added negative-array-size testcase and fixed fix for it

2 files changed, 5 insertions, 3 deletions

diff --git a/tccgen.c b/tccgen.c
index cfa7d8f..e488c65 100644
--- a/tccgen.c
+++ b/tccgen.c
@@ -3166,13 +3166,13 @@ static void post_type(CType *type, AttributeDef *ad)
         n = -1;
         t1 = 0;
         if (tok != ']') {
-            gexpr();
+            if (!local_stack || nocode_wanted)
+                 vpushi(expr_const());
+            else gexpr();
             if ((vtop->r & (VT_VALMASK | VT_LVAL | VT_SYM)) == VT_CONST) {
                 n = vtop->c.i;
                 if (n < 0)
                     error("invalid array size");
-            } else if (!local_stack) {
-                error("expected constant expression (variably modified array at file scope)");
             } else {
                 if (!is_integer_btype(vtop->type.t & VT_BTYPE))
                     error("size of variable length array should be an integer");
diff --git a/tests/tcctest.c b/tests/tcctest.c
index 3581a7a..92f239e 100644
--- a/tests/tcctest.c
+++ b/tests/tcctest.c
@@ -2083,6 +2083,8 @@ void *bounds_checking_is_enabled()
     return (ca != cp + 1) ? cp : NULL;
 }
 
+typedef int constant_negative_array_size_as_compile_time_assertion_idiom[(1 ? 2 : 0) - 1];
+
 void c99_vla_test(int size1, int size2)
 {
 #if defined __i386__ || defined __x86_64__