# include "alias4.lh"
mut f(mut a, mut b)
{
mut c;
if (1 == 3)
{
c = a;
}
else
{
c = b;
}
return c; /* 2 * bad: may reference parameter a, b */
}
int g (void)
{
return glob;
}
int *h (void)
{
if (1 > 3)
return &glob; /* returns ref to global glob */
else if (2 > 3)
return globp; /* return reference to global globp */
else if (3 > 3)
return (globs.field); /* returns reference to globs */
else
return (&(globs.val)); /* returns reference to globs */
}