Index: src/InitTweak/GenInit.cc
===================================================================
--- src/InitTweak/GenInit.cc	(revision 4e22d7d1996ed8014cd6c0cd585313d457912bbe)
+++ src/InitTweak/GenInit.cc	(revision 8587878e06a1508206324c71c2ca3e9004ba7e31)
@@ -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();
 		}