r205684 - in /trunk/gcc: ChangeLog asan.c c-fam...

[mpolacek at gcc dot gnu dot org]

Author: mpolacek
Date: Wed Dec  4 22:47:11 2013
New Revision: 205684

URL: http://gcc.gnu.org/viewcvs?rev=205684&root=gcc&view=rev
Log:
Implement -fsanitize=signed-integer-overflow.

Added:
    trunk/gcc/testsuite/c-c++-common/ubsan/overflow-add-1.c
    trunk/gcc/testsuite/c-c++-common/ubsan/overflow-add-2.c
    trunk/gcc/testsuite/c-c++-common/ubsan/overflow-mul-1.c
    trunk/gcc/testsuite/c-c++-common/ubsan/overflow-mul-2.c
    trunk/gcc/testsuite/c-c++-common/ubsan/overflow-negate-1.c
    trunk/gcc/testsuite/c-c++-common/ubsan/overflow-sub-1.c
    trunk/gcc/testsuite/c-c++-common/ubsan/overflow-sub-2.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/asan.c
    trunk/gcc/c-family/ChangeLog
    trunk/gcc/c-family/c-gimplify.c
    trunk/gcc/config/i386/i386.md
    trunk/gcc/flag-types.h
    trunk/gcc/fold-const.c
    trunk/gcc/gimple-fold.c
    trunk/gcc/internal-fn.c
    trunk/gcc/internal-fn.def
    trunk/gcc/optabs.def
    trunk/gcc/opts.c
    trunk/gcc/predict.c
    trunk/gcc/predict.h
    trunk/gcc/sanitizer.def
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/trans-mem.c
    trunk/gcc/tree-vrp.c
    trunk/gcc/ubsan.c
    trunk/gcc/ubsan.h