On 11/12/14 08:48, Marat Zakirov wrote:
Hi!
I have a patch which disables -faggressive-loop-optimizations and
-fstrict-overflow when -fsanitize=undefined is switched on. Compiler
with aggressive optimizations may decrease quality of sanitization by
optimistically proposing something it actually should check.
Details are in https://gcc.gnu.org/ml/gcc/2014-11/msg00148.html
--Marat
mavdt-89_3.diff
gcc/ChangeLog:
2014-11-12 Marat Zakirov<m.zaki...@samsung.com>
* opts.c (finish_options): Disable aggressive opts for sanitizer.
(common_handle_option): Move code to finish_options.
gcc/testsuite/ChangeLog:
2014-11-12 Marat Zakirov<m.zaki...@samsung.com>
* c-c++-common/asan/aggressive-opts.c: New test.
This is fine for the trunk.
Thanks,
Jeff
