And this is generally about compilers behaving badly. Some languages do a good job of creating an abstracted universe above the hardware that plays by its own

And this is generally about compilers behaving badly. Some languages do a good job of creating an abstracted universe above the hardware that plays by its own rules. This allows the language/runtime to map programming constructs to hardware behaviour in highly inventive ways. C never was such a language, it's hardware abstractions are -- by design -- as leak-free as a fishnet. And yet compiler writers feel they need to get creative.