cases when tainted values are erased