}
+
unsigned char *
f3 (void)
{
return &achar0;
}
+
void f4(unsigned char *ucP, unsigned char uc)
{
}
+
void
main (void)
{
acharP = f3 ();
if ((acharP == 0) || (*acharP))
failures++;
+ achar0 = 42;
+ if(*acharP != 42)
+ failures++;
achar0 = 5;
f4(&achar0, achar0);