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
