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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
