[PATCH, Pointer Bounds Checker 27/x] Strlen

[Marek Polacek]

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