This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] Disable aggressive optimizations for sanitizer.
- From: Jeff Law <law at redhat dot com>
- To: Marat Zakirov <m dot zakirov at samsung dot com>, "gcc-patches at gcc dot gnu dot org" <gcc-patches at gcc dot gnu dot org>, Jakub Jelinek <jakub at redhat dot com>, Richard Biener <richard dot guenther at gmail dot com>, Yury Gribov <y dot gribov at samsung dot com>
- Date: Mon, 17 Nov 2014 15:58:50 -0700
- Subject: Re: [PATCH] Disable aggressive optimizations for sanitizer.
- Authentication-results: sourceware.org; auth=none
- References: <54638151 dot 2000202 at samsung dot com>
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.zakirov@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.zakirov@samsung.com>
* c-c++-common/asan/aggressive-opts.c: New test.
This is fine for the trunk.
Thanks,
Jeff