Merge pull request diffblue#2113 from diffblue/java_new_array_data

show java_new_array_data side effects
smowton · Apr 25, 2018 · 31c47c2 · 31c47c2
2 parents fb3025d + 7254a2a
commit 31c47c2
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/src/java_bytecode/expr2java.cpp b/src/java_bytecode/expr2java.cpp
@@ -350,7 +350,8 @@ std::string expr2javat::convert_java_new(
 {
   std::string dest;
 
-  if(src.get(ID_statement)==ID_java_new_array)
+  if(src.get(ID_statement)==ID_java_new_array ||
+     src.get(ID_statement)==ID_java_new_array_data)
   {
     dest="new";
 
@@ -398,7 +399,8 @@ std::string expr2javat::convert_with_precedence(
     return convert_java_instanceof(src, precedence=15);
   else if(src.id()==ID_side_effect &&
           (src.get(ID_statement)==ID_java_new ||
-           src.get(ID_statement)==ID_java_new_array))
+           src.get(ID_statement)==ID_java_new_array ||
+           src.get(ID_statement)==ID_java_new_array_data))
     return convert_java_new(src, precedence=15);
   else if(src.id()==ID_side_effect &&
           src.get(ID_statement)==ID_throw)