I thought of one more test case we should add:
__attribute__((no_sanitize_address))
int *createArray(int n) {
return new int[n];
}
int bad_access() {
int *array = createArray(4);
return array[-1];
}
We certainly want to print an error in this case, even though we have attribute
on createArray() function. I believe current code *would* handle this
correctly, but let's test this behavior.
http://reviews.llvm.org/D4774
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits