Maybe in theory. In practise you have thing like super optimisers. You have side effects that the compiler needs to understand etc. That said I'm struggling to

Maybe in theory. In practise you have thing like super optimisers. You have side effects that the compiler needs to understand etc. That said I'm struggling to think of something that would need to be unsafe.