NoQ added a comment.

> In this case, could we emit a warning? If not from CallEvent, then from where?

(1) This might result in a buffer overflow, so i home that `alpha.ArrayBound` 
may eventually catch it.
(2) It might be a good idea to make a fairly generic checker for the strict 
aliasing rule.


https://reviews.llvm.org/D43659



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

Reply via email to