@dalias @pinskia I'm sorry but I'll prioritize bug-free (or rather bug-less) code now over theoretical future achievements. And I don't target theoretical ABIs either.
But I *do* agree with your point and probably wouldn't do this in a library-type project with a different audience. The software I work on supports Linux and *BSD with GCC and clang. If making assumptions based on that gets me safety advantages elsewhere, I will abso-fucking-lutely take them. Actual benefit > theoretical benefit.