Do not assign a non-ssa expression to object accessed via an ssa_exprt reference#4725

Merged

tautschnig merged 1 commit intodiffblue:developfrom

danpoe:refactor/renaming

May 31, 2019

Commits on May 31, 2019

Do not assign a non-ssa expr to an object that is accessed via an ssa_exprt ref

danpoe
authored and
tautschnig
committed