carlosgalvezp wrote:
Perhaps we can start with pointer-to-pointer only, yes. Pointer-int conversions
are still implementation-defined, but I guess it's less of a problem than UB.
The original paper only checked that both inputs are not pointers:
```cpp
!(is_pointer_v<From> &&
is_pointer_v<To>) &&
```
https://github.com/llvm/llvm-project/pull/108083
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
