goto-symex-is-constant: treat `x * sizeof(t)` and `sizeof(t) * x` alike#4574

Merged

smowton merged 1 commit intodiffblue:developfrom

smowton:smowton/fix/brittle-goto-symex-is-constant

Apr 29, 2019

Commits on Apr 29, 2019

goto-symex-is-constant: treat `x * sizeof(t)` and `sizeof(t) * x` alike
smowton
committed