Skip to content

Commit be3f1f8

Browse files
authored
remove duplicate parent type index validation (bytecodealliance#4556)
Signed-off-by: zhenweijin <[email protected]>
1 parent ab2ff4a commit be3f1f8

File tree

1 file changed

+0
-14
lines changed

1 file changed

+0
-14
lines changed

core/iwasm/aot/aot_loader.c

Lines changed: 0 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -2077,13 +2077,6 @@ load_types(const uint8 **p_buf, const uint8 *buf_end, AOTModule *module,
20772077
AOTType *cur_type = module->types[j];
20782078
parent_type_idx = cur_type->parent_type_idx;
20792079
if (parent_type_idx != (uint32)-1) { /* has parent */
2080-
#if WASM_ENABLE_AOT_VALIDATOR != 0
2081-
if (parent_type_idx >= module->type_count) {
2082-
set_error_buf(error_buf, error_buf_size,
2083-
"invalid parent type index");
2084-
goto fail;
2085-
}
2086-
#endif
20872080
AOTType *parent_type = module->types[parent_type_idx];
20882081

20892082
module->types[j]->parent_type = parent_type;
@@ -2107,13 +2100,6 @@ load_types(const uint8 **p_buf, const uint8 *buf_end, AOTModule *module,
21072100
AOTType *cur_type = module->types[j];
21082101
parent_type_idx = cur_type->parent_type_idx;
21092102
if (parent_type_idx != (uint32)-1) { /* has parent */
2110-
#if WASM_ENABLE_AOT_VALIDATOR != 0
2111-
if (parent_type_idx >= module->type_count) {
2112-
set_error_buf(error_buf, error_buf_size,
2113-
"invalid parent type index");
2114-
goto fail;
2115-
}
2116-
#endif
21172103
AOTType *parent_type = module->types[parent_type_idx];
21182104
/* subtyping has been checked during compilation */
21192105
bh_assert(wasm_type_is_subtype_of(

0 commit comments

Comments
 (0)