Is this change correct? Suppose I do this: char Buffer[32]; // ... new (Buffer) int[4]; // ... new (Buffer) int(0); Won't we get a false positive on the last line? http://reviews.llvm.org/D4774