On Mon, Nov 17, 2008 at 06:46:38PM -0800, Andrew Pinski wrote:
> I noticed that for a simple testcase:
> int t;
> void abort (void);
>
> int f(int t, const int *a)
> {
> const int b[] = { 1, 2, 3};
> if (!t)
> return f(1, b);
> return b == a;
> }Note that in the above function, called with (0,0), we can know that it will return 0 even if we treat the b array in the recursive call as a distinct variable.
