Don't call java_array_type('\0'). Fixes #383

smowton · smowton · commit 34afe250c578 · 2017-01-04T10:11:35.000Z
diff --git a/src/java_bytecode/java_bytecode_convert_class.cpp b/src/java_bytecode/java_bytecode_convert_class.cpp
@@ -250,7 +250,7 @@ Function: java_bytecode_convert_classt::add_array_types
 
 void java_bytecode_convert_classt::add_array_types()
 {
-  const char letters[]="ijsbcfdza";
+  const std::string letters="ijsbcfdza";
 
   for(const char l : letters)
   {

Original file line number	Diff line number	Diff line change
`@@ -250,7 +250,7 @@ Function: java_bytecode_convert_classt::add_array_types`
`250`	`250`
`251`	`251`	`void java_bytecode_convert_classt::add_array_types()`
`252`	`252`	`{`
`253`		`- const char letters[]="ijsbcfdza";`
	`253`	`+ const std::string letters="ijsbcfdza";`
`254`	`254`
`255`	`255`	`for(const char l : letters)`
`256`	`256`	`{`