Programming languages and compilers

A compiler identifies an assignment whose result is never read and whose evaluation has no observable side effects. Which optimization can remove it safely?