Add -fsanitize=integer for reporting suspicious integer behaviors.
authorWill Dietz <wdietz2@illinois.edu>
Tue, 27 Nov 2012 15:01:55 +0000 (15:01 +0000)
committerWill Dietz <wdietz2@illinois.edu>
Tue, 27 Nov 2012 15:01:55 +0000 (15:01 +0000)
commit1897cb3b9cb8f3c414fe9ccf1bf8cddf387953cb
tree6adc0311f58f1dbd2ed9ea60cda8d227653a1694
parent2631aaf93934af22a360595c5bca4ef0f9407403
Add -fsanitize=integer for reporting suspicious integer behaviors.

Introduces new sanitizer "unsigned-integer-overflow".

llvm-svn: 168701
clang/docs/UsersManual.html
clang/include/clang/Basic/Sanitizers.def
clang/lib/CodeGen/CGExprScalar.cpp
clang/lib/Driver/SanitizerArgs.h
clang/test/CodeGen/catch-undef-behavior.c
clang/test/CodeGen/unsigned-overflow.c [new file with mode: 0644]
clang/test/CodeGen/unsigned-promotion.c [new file with mode: 0644]
clang/test/CodeGen/unsigned-trapv.c [new file with mode: 0644]
clang/test/CodeGenCXX/catch-undef-behavior.cpp
clang/test/Driver/fsanitize.c