> As far as I understand, there is no “expected behavior of main without a return” under ANSI; it’s undefined behavior

You are right. There are still a lot of so-called developers who cannot understand the concept of _undefined_ behavior.