[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