On Sat, 2005-12-31 at 02:12 -0500, Andrew Pinski wrote:
> I noticed that we add a constraint for each variable that is assigned
> to the
> return value of a function call even though that information is useless
> for
> non pointers?
> Is there a reason why we do this?
Laziness.
>
I noticed that we add a constraint for each variable that is assigned
to the
return value of a function call even though that information is useless
for
non pointers? Is there a reason why we do this?
For the following C file:
int f(void);
int g(void)
{
int y = f();
int x = f();
return
