re PR sanitizer/84307 (asan blocks dead-store elimination)
authorPaolo Bonzini <bonzini@gnu.org>
Mon, 12 Feb 2018 12:47:56 +0000 (12:47 +0000)
committerPaolo Bonzini <bonzini@gcc.gnu.org>
Mon, 12 Feb 2018 12:47:56 +0000 (12:47 +0000)
commit74a5138a61291275fc5a509f33f427b3fa51bef4
tree06e085b43fd9a54e80a41a3d89bec124030bc8cb
parent4ec4afa8c10837d17eb431a08fb0c16bdac3d3cf
re PR sanitizer/84307 (asan blocks dead-store elimination)

gcc:
2018-02-12  Paolo Bonzini <bonzini@gnu.org>

PR sanitizer/84307
* internal-fn.def (ASAN_CHECK): Fix fnspec to account for return value.
(ASAN_MARK): Fix fnspec to account for return value, change pointer
argument from 'R' to 'W' so that the pointed-to datum is clobbered.

gcc/testsuite:
2018-02-12  Paolo Bonzini  <bonzini@gnu.org>

PR sanitizer/84307
* gcc.dg/asan/pr84307.c: New test.

From-SVN: r257585
gcc/ChangeLog
gcc/internal-fn.def
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/asan/pr84307.c [new file with mode: 0644]