This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH, Pointer Bounds Checker 27/x] Strlen
- From: Marek Polacek <polacek at redhat dot com>
- To: Ilya Enkovich <enkovich dot gnu at gmail dot com>
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Wed, 11 Jun 2014 11:00:17 +0200
- Subject: Re: [PATCH, Pointer Bounds Checker 27/x] Strlen
- Authentication-results: sourceware.org; auth=none
- References: <20140611081414 dot GA17894 at msticlxl57 dot ims dot intel dot com>
On Wed, Jun 11, 2014 at 12:14:14PM +0400, Ilya Enkovich wrote:
> This patch adds instrumented code support for strlen optimization.
>
> Bootstrapped and tested on linux-x86_64.
>
> Does it look OK?
I haven't followed the Pointer Bounds Checker development, only looked at
some of the patches, but I think that if all builtins similar to
BUILT_IN_STRCPY would need changes like in the patch below, we're
heading down a very bad road. Adding with_bounds code to every second
builtin in so many passes to properly handle its arguments will surely
lead to unmaintainable mess over time.
Marek