You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The MapProxy class only looks for non alias expressions that match the pattern <var> + <const> when handling non-aliasing expressions that are used as indices. We can generalise this to
<expr> + <const> and <expr> - <const> (these can co-exist and do not alias). We can also the same for bitvectors provided we check that we don't allow overflowing bitvector constants (I don't think we do).
<expr> * <const> (need to be careful when <const> == 0 as this aliases <expr>)
The text was updated successfully, but these errors were encountered:
The
MapProxy
class only looks for non alias expressions that match the pattern<var> + <const>
when handling non-aliasing expressions that are used as indices. We can generalise this to<expr> + <const>
and<expr> - <const>
(these can co-exist and do not alias). We can also the same for bitvectors provided we check that we don't allow overflowing bitvector constants (I don't think we do).<expr> * <const>
(need to be careful when<const> == 0
as this aliases<expr>
)The text was updated successfully, but these errors were encountered: