glandium added a comment.

In D148827#4422794 <https://reviews.llvm.org/D148827#4422794>, @MaskRay wrote:

> 6.3.2.3.1 is about a pointer casting rule, which is different from type 
> compatibility.

Pointer _conversion_ rule. Specifically, these are implicit conversions that 
require no casting. That doesn't invalidate that the rule from 6.2.7.2 still 
applies, and I don't see how the conversions can be non-UB without the types 
being compatible.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D148827/new/

https://reviews.llvm.org/D148827

_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to