Bugfix: Java array symbols must have mode ID_java

peterschrammel · peterschrammel · commit e158bb4a4da3 · 2018-04-22T15:23:26.000+01:00
diff --git a/src/java_bytecode/java_bytecode_convert_class.cpp b/src/java_bytecode/java_bytecode_convert_class.cpp
@@ -740,6 +740,7 @@ void java_bytecode_convert_classt::add_array_types(symbol_tablet &symbol_table)
     symbol.base_name=symbol_type.get(ID_C_base_name);
     symbol.is_type=true;
     symbol.type = class_type;
+    symbol.mode = ID_java;
     symbol_table.add(symbol);
 
     // Also provide a clone method:
