]> git.ipfire.org Git - thirdparty/gcc.git/commit
Implement -fsanitize=signed-integer-overflow.
authorMarek Polacek <mpolacek@gcc.gnu.org>
Wed, 4 Dec 2013 22:47:11 +0000 (22:47 +0000)
committerMarek Polacek <mpolacek@gcc.gnu.org>
Wed, 4 Dec 2013 22:47:11 +0000 (22:47 +0000)
commit31e071aeb827f49ce2e891620852198e99d44a0c
tree20fca81276f1e6d6224300c11a4e10fa89519d41
parent59b6687cceaf95d8c49afee88248cf4fb0a33105
Implement -fsanitize=signed-integer-overflow.

From-SVN: r205684
27 files changed:
gcc/ChangeLog
gcc/asan.c
gcc/c-family/ChangeLog
gcc/c-family/c-gimplify.c
gcc/config/i386/i386.md
gcc/flag-types.h
gcc/fold-const.c
gcc/gimple-fold.c
gcc/internal-fn.c
gcc/internal-fn.def
gcc/optabs.def
gcc/opts.c
gcc/predict.c
gcc/predict.h
gcc/sanitizer.def
gcc/testsuite/ChangeLog
gcc/testsuite/c-c++-common/ubsan/overflow-add-1.c [new file with mode: 0644]
gcc/testsuite/c-c++-common/ubsan/overflow-add-2.c [new file with mode: 0644]
gcc/testsuite/c-c++-common/ubsan/overflow-mul-1.c [new file with mode: 0644]
gcc/testsuite/c-c++-common/ubsan/overflow-mul-2.c [new file with mode: 0644]
gcc/testsuite/c-c++-common/ubsan/overflow-negate-1.c [new file with mode: 0644]
gcc/testsuite/c-c++-common/ubsan/overflow-sub-1.c [new file with mode: 0644]
gcc/testsuite/c-c++-common/ubsan/overflow-sub-2.c [new file with mode: 0644]
gcc/trans-mem.c
gcc/tree-vrp.c
gcc/ubsan.c
gcc/ubsan.h