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?
Ugh, this looks terribly ugly. So you are changing the meaning of arguments of every single builtin that has pointer arguments, so all spots that work with those builtins have to take into account gimple_call_with_bounds_p and do something different? That is very error prone and maintainance nightmare. Jakub