[paulddraper]

Agreed, that’s disturbingly incorrect.

If anything, compilers are perfect models of trees and well formed programs.

[benj111]

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.