Commit e40b97bd authored by Michael Beck's avatar Michael Beck
Browse files

- removed redundant checks

[r22094]
parent c4c295ea
...@@ -477,18 +477,14 @@ ptr_arith: ...@@ -477,18 +477,14 @@ ptr_arith:
tv_index = tarval_div(tv, sz); tv_index = tarval_div(tv, sz);
tv = tarval_mod(tv, sz); tv = tarval_mod(tv, sz);
if (tv_index == tarval_bad || tv == tarval_bad) /* worked above, should work again */
return NULL; assert(tv_index != tarval_bad && tv != tarval_bad);
/* bounds already checked above */ /* bounds already checked above */
index = get_tarval_long(tv_index); index = get_tarval_long(tv_index);
set_compound_graph_path_array_index(res, pos, index); set_compound_graph_path_array_index(res, pos, index);
++pos; ++pos;
} }
if (! tarval_is_null(tv)) {
/* hmm, wrong access */
return NULL;
}
} else if (is_Sub(ptr)) { } else if (is_Sub(ptr)) {
ir_node *l = get_Sub_left(ptr); ir_node *l = get_Sub_left(ptr);
ir_node *r = get_Sub_right(ptr); ir_node *r = get_Sub_right(ptr);
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment