https://github.com/necto approved this pull request.
Looks good. I seems to me a subclass of a more generic issue with passing
const+mutable pointers to the same object, but I could not reproduce it, so
perhaps I don't understand it well enough:
```
void opaque(const void* a, void* b);
int top() {
int *x;
opaque(&x, &x);
return *x; // I expected an issue here
}
```
https://github.com/llvm/llvm-project/pull/170887
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits