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

--- Comment #4 from Martin Liška <marxin at gcc dot gnu.org> ---
Author: marxin
Date: Mon Apr 10 07:29:29 2017
New Revision: 246799

URL: https://gcc.gnu.org/viewcvs?rev=246799&root=gcc&view=rev
Log:
Evaluate a SAVE_EXPR before an UBSAN check (PR sanitizer/80350).

2017-04-10  Martin Liska  <mli...@suse.cz>

        PR sanitizer/80350
        * c-ubsan.c (ubsan_instrument_shift): Evaluate RHS before
        doing an UBSAN check.
2017-04-10  Martin Liska  <mli...@suse.cz>

        PR sanitizer/80350
        * c-c++-common/ubsan/pr80350.c: New test.

Added:
    trunk/gcc/testsuite/c-c++-common/ubsan/pr80350.c
Modified:
    trunk/gcc/c-family/ChangeLog
    trunk/gcc/c-family/c-ubsan.c
    trunk/gcc/testsuite/ChangeLog

Reply via email to