jdoerfert added a comment.
In D74935#1907100 <https://reviews.llvm.org/D74935#1907100>, @jeroen.dobbelaere
wrote:
> Just to give an example:
>
> int foo(int* restrict *pA, int* restrict *pB) {
> int tmp=**pB;
> **pA=42;
> return tmp - **pB; // **pA and **pB can refer to the same objects
> }
>
>
> [...]
`*pA` and `*pB` are both restrict qualified pointers, are they not?
If so, why can they point to the same location?
I mean, w/o the side channel stuff the two `int *` values may alias
even if you have `noalias` on the arguments (https://godbolt.org/z/J9v_gK).
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
