tccgen.c: Recognise constant expressions with conditional operator.

tests/tests2/78_vla_label.c: Check that int a[1 ? 1 : 1] is not a VLA.

1 files changed, 14 insertions, 3 deletions

diff --git a/tests/tests2/78_vla_label.c b/tests/tests2/78_vla_label.c
index 0908e1b..93a8b08 100644
--- a/tests/tests2/78_vla_label.c
+++ b/tests/tests2/78_vla_label.c
@@ -1,8 +1,7 @@
 #include <stdio.h>
 
 /* This test segfaults as of April 27, 2015. */
-
-void f(int argc)
+void f1(int argc)
 {
   char test[argc];
   if(0)
@@ -13,9 +12,21 @@ void f(int argc)
   goto label;
 }
 
+/* This segfaulted on 2015-11-19. */
+void f2(void)
+{
+    goto start;
+    {
+        int a[1 ? 1 : 1]; /* not a variable-length array */
+    start:
+        a[0] = 0;
+    }
+}
+
 int main()
 {
-  f(2);
+  f1(2);
+  f2();
 
   return 0;
 }