Dynamic dead-code elimination