0xdeadcode

function withdraw() external { if (false) { selfdestruct(payable(owner)); } // normal withdrawal logic } The optimizer removed the if (false) branch in bytecode entirely — or so I thought. Actually, the compiler preserved a JUMPDEST but no incoming JUMP opcode.

Then I traced the JUMPDEST that should be unreachable — but a storage collision could reanimate it. 0xdeadcode

Dead code is a time bomb. Diffuse it. Title: 0xdeadcode — The Living Dead in Your Bytecode 0xdeadcode

"Dead code" isn't harmless — it’s a backdoor waiting to be activated. 0xdeadcode