[PATCH] D43659: [analyzer] Don't crash when dynamic type of a concrete region is hard-set with placement new.

[Artem Dergachev via Phabricator via cfe-commits]

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