[msan] Remove unreachable blocks before instrumenting a function.