[Bug sanitizer/84307] asan blocks dead-store elimination

[bonzini at gnu dot org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84307

--- Comment #1 from Paolo Bonzini <bonzini at gnu dot org> ---
Author: bonzini
Date: Mon Feb 12 12:47:56 2018
New Revision: 257585

URL: https://gcc.gnu.org/viewcvs?rev=257585&root=gcc&view=rev
Log:
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.

Added:
    trunk/gcc/testsuite/gcc.dg/asan/pr84307.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/internal-fn.def
    trunk/gcc/testsuite/ChangeLog