brunodf-snps wrote:
Hm, I was still adding test cases involving may_alias, but I still found
problems with the following:
```
typedef int __attribute__((may_alias)) aliasing_int;
typedef int __attribute__((may_alias)) aliasing_array[10];
struct E { aliasing_int x[4]; aliasing_array y; };
```
Both `e->x[i]` and `e->y[j]` fail in the IR verifier because of a mismatch
between the access type and the type of the member in the type node of E (the
access type is "int" and the member type is "omnipotent char" or vice versa).
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
