https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111591
--- Comment #39 from Richard Biener <rguenth at gcc dot gnu.org> --- (In reply to Kewen Lin from comment #38) > I found this has been marked as resolved but it seems that the patch in > comment #34 hasn't been pushed, is it intended? or did I miss something that > one commit was pushed but wasn't associated to this PR? Yes, that was intended - the patch is not necessary, there's no bug on the TBAA side. I understand that highway itself is now fine (for whatever reason) and the reduced testcase invokes undefined behavior.