https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77996
--- Comment #12 from Yichao Yu <yyc1992 at gmail dot com> --- Since the LLVM miscompilation isn't fixed, is there any way to check the alias assumptions more programmatically? (I can see that the TrailingObject might easily introduce something like this but given the complexity it's a little hard for me to see if that's actually the case.)