aqjune added a comment.
Hi,
The term 'object' seems ambiguous to me. For example,
void f(i32* noalias x, i32* noalias y) {
*x = 1;
*y = 2;
}
int x[2];
f(&x[0], &x[1]);
If object means an allocation, this should be UB, because x and y are pointing
to the same object.
Memory location seems clearer to me.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D74935/new/
https://reviews.llvm.org/D74935
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
