> malloc/free, not being a language feature, cannot be reasoned about. They’re defined in the standard all the same. Of course they can be reasoned with. The

> malloc/free, not being a language feature, cannot be reasoned about. They’re defined in the standard all the same. Of course they can be reasoned with. The defined parts at least. You may argue that the undefined parts cannot, but those are explicitly outside the scope of the C standard, no need to discuss them any further.