[Bug sanitizer/80350] UBSAN changes code semantics when -fno-sanitize-recover=undefined is used

marxin at gcc dot gnu.org gcc-bugzilla@gcc.gnu.org
Fri May 26 11:29:00 GMT 2017


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

--- Comment #6 from Martin Liška <marxin at gcc dot gnu.org> ---
Author: marxin
Date: Fri May 26 11:26:45 2017
New Revision: 248495

URL: https://gcc.gnu.org/viewcvs?rev=248495&root=gcc&view=rev
Log:
Backport r246799

2017-05-26  Martin Liska  <mliska@suse.cz>

        Backport from mainline
        2017-04-10  Martin Liska  <mliska@suse.cz>

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

        Backport from mainline
        2017-04-10  Martin Liska  <mliska@suse.cz>

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

Added:
    branches/gcc-6-branch/gcc/testsuite/c-c++-common/ubsan/pr80350.c
Modified:
    branches/gcc-6-branch/gcc/c-family/ChangeLog
    branches/gcc-6-branch/gcc/c-family/c-ubsan.c
    branches/gcc-6-branch/gcc/testsuite/ChangeLog


More information about the Gcc-bugs mailing list