https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59767
--- Comment #4 from Andrew Macleod <amacleod at redhat dot com> --- I'm not sure where the problem is. We interacted quite a bit as the model was being developed. As I recall, it started with the standard, but they strengthened some of the problem spots for a complete testable model. To the best of my knowledge, this is the most efficient implementation that we *know* to be safe, and that is why we implement it.