[clang] [CodeGen] Add TBAA struct path info for array members (PR #137719)
Bruno De Fraine via cfe-commits
cfe-commits at lists.llvm.org
Tue May 27 02:03:05 PDT 2025
brunodf-snps wrote:
> I was still adding test cases involving may_alias, but I still found problems
This has been solved in 1a40063bc73ee468cb6c8634505232b6f2d833ec. This requires to update the member types in the struct type node in case of an array member with may_alias tag. I found it is the most logical to handle array types as a general case in `TypeHasMayAlias`, it seems relevant for all uses of this function. The upshot is that we can now reuse the access type from the base array lvalue, as was originally suggested by @rjmccall.
https://github.com/llvm/llvm-project/pull/137719
More information about the cfe-commits
mailing list