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

Reply via email to