pcc added a reviewer: rsmith.
pcc added a comment.
It seems to me that this sanitizer would break the semantics of otherwise
well-defined programs. For example:
int *x = nullptr;
delete x;
if (x != nullptr) {
// normally unreachable
}
It may be that a null comparison would be enough to avoid the semantics break,
but I am not certain of this. Richard, what do you think?
https://reviews.llvm.org/D25199
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
