This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH 9/17] Initial KAsan support
- From: Jakub Jelinek <jakub at redhat dot com>
- To: Yury Gribov <y dot gribov at samsung dot com>
- Cc: GCC Patches <gcc-patches at gcc dot gnu dot org>, Dmitry Vyukov <dvyukov at google dot com>, Konstantin Khlebnikov <k dot khlebnikov at samsung dot com>, Andrey Ryabinin <a dot ryabinin at samsung dot com>, Viacheslav Garbuzov <v dot garbuzov at samsung dot com>
- Date: Thu, 16 Oct 2014 10:50:18 +0200
- Subject: Re: [PATCH 9/17] Initial KAsan support
- Authentication-results: sourceware.org; auth=none
- References: <543F831B dot 4090502 at samsung dot com> <543F845C dot 2090908 at samsung dot com>
- Reply-to: Jakub Jelinek <jakub at redhat dot com>
On Thu, Oct 16, 2014 at 12:39:56PM +0400, Yury Gribov wrote:
> The patch was slightly updated to take care of missing UBSan work
> (SANITIZE_FLOAT_DIVIDE, SANITIZE_FLOAT_CAST, SANITIZE_BOUNDS).
> 2014-10-15 Yury Gribov <y.gribov@samsung.com>
>
> Backport from mainline
> 2014-07-31 Yury Gribov <y.gribov@samsung.com>
>
> * doc/cpp.texi (__SANITIZE_ADDRESS__): Updated description.
> * doc/invoke.texi (-fsanitize=kernel-address): Describe new option.
> * flag-types.h (SANITIZE_USER_ADDRESS, SANITIZE_KERNEL_ADDRESS):
> New enums.
> * gcc.c (sanitize_spec_function): Support new option.
> (SANITIZER_SPEC): Remove now redundant check.
> * opts.c (common_handle_option): Support new option.
> (finish_options): Check for incompatibilities.
> * toplev.c (process_options): Split userspace-specific checks.
Ok.
Jakub