Re: [PATCH, MPX, 2/X] Pointers Checker [16/25] Tail recursion

[Jeff Law]

On 11/18/13 12:16, Ilya Enkovich wrote:
With current recursion elimination we will have:
test (int *param1)
{
<bb1>:

<bb2>:
   _7 = PHI<param1(D) (bb1), _6 (bb2)>
   bounds2 = __builtin_arg_bounds (_7) -- WRONG
I wouldn't say it's wrong.  It's conservatively correct if properly 
implemented.   Why precisely do you consider this wrong?  If your code 
can't handle it, it really should be fixed.

Jeff