[Bug sanitizer/60613] Invalid signed subtraction ubsan diagnostics

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60613

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Sat Mar 22 16:25:50 2014
New Revision: 208766

URL: http://gcc.gnu.org/viewcvs?rev=208766&root=gcc&view=rev
Log:
    PR sanitizer/60613
    * internal-fn.c (ubsan_expand_si_overflow_addsub_check): For
    code == MINUS_EXPR, never swap op0 with op1.

    * c-c++-common/ubsan/pr60613-1.c: New test.
    * c-c++-common/ubsan/pr60613-2.c: New test.

Added:
    trunk/gcc/testsuite/c-c++-common/ubsan/pr60613-1.c
    trunk/gcc/testsuite/c-c++-common/ubsan/pr60613-2.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/internal-fn.c
    trunk/gcc/testsuite/ChangeLog