Skip to content

Commit 5274109

Browse files
author
thk123
committed
Reduced strictness of the array check
It might be the type of the first component is in fact a symbol rather than the struct directly. To avoid complicating the check, I removed these two conditions.
1 parent 0a99dc8 commit 5274109

File tree

1 file changed

+0
-3
lines changed

1 file changed

+0
-3
lines changed

src/java_bytecode/java_types.cpp

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -340,9 +340,6 @@ bool is_valid_java_array(const struct_typet &type)
340340

341341
bool base_component_valid=true;
342342
base_component_valid&=base_class_component.get_name()=="@java.lang.Object";
343-
base_component_valid&=base_class_component.type().id()==ID_struct;
344-
base_component_valid&=
345-
base_class_component.type().get_string(ID_tag)=="java.lang.Object";
346343

347344
bool length_component_valid=true;
348345
const struct_union_typet::componentt length_component=

0 commit comments

Comments
 (0)