Index: src/InitTweak/GenInit.cc
===================================================================
--- src/InitTweak/GenInit.cc	(revision 4e22d7d1996ed8014cd6c0cd585313d457912bbe)
+++ src/InitTweak/GenInit.cc	(revision 6138d0f75a1531a2f79bd02da26e6696c38ac53d)
@@ -232,4 +232,6 @@
 		Type * type = objDecl->get_type();
 		while ( ArrayType * at = dynamic_cast< ArrayType * >( type ) ) {
+			// must always construct VLAs with an initializer, since this is an error in C
+			if ( at->isVarLen && objDecl->init ) return true;
 			type = at->get_base();
 		}