Merge pull request #388 from smowton/fix_java_array_type

Daniel Kroening · web-flow · commit 9b6a01385e1d · 2017-01-04T10:58:05.000Z
Don't call `java_array_type('\0')`. Fixes #383
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`	`{`