remove unreachable code
taint mask is unsigned