Message 171005 - Python tracker

Ah: nice catch, Larry.

I would say that the obmalloc case *shouldn't* be permissible;  however, it's already there, and changing that would be an involved task that would also likely risk introducing new bugs.  So I guess practicality beats purity on that one.  I don't see that as an excuse for introducing *new* undefined behaviour though, especially for a small optimization.