On Monday, 19 June 2023 at 09:54:32 UTC, Iain Buclaw wrote:
On Sunday, 18 June 2023 at 02:55:32 UTC, Cecil Ward wrote:
On Friday, 16 June 2023 at 13:12:06 UTC, Iain Buclaw wrote:
Redundant jump? Yes, arguably. Leads to wrong runtime?
Doesn't look that way.
Completely agree with Iain, it’s not incorrect code, I wasn’t
intending to suggest that. I’d just say suboptimal, and not
the very best code generation possible.
By the way, I suspect it's related to this problem report.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96435
Fix has been committed in time for 13.2 release.