Dead-code elimination