For the record, here a new file that give an interesting result:
yellowpig% cat >bug3.c <<EOF
int tab[1]={0};
int *$a=tab;
int *Sa=tab;
int a=1;
main()
{
printf("*$a=%x\n",*$a);
printf("*Sa=%x\n",*Sa);
}
EOF
yellowpig% gcc-3.0 bug3.c
yellowpig% ./a.out
*$a=1
*Sa=0
Regards,
--
Bill. <ballombe@debian.org>