Structures as arguments, lint checking

[Paul Schauble]

I was recently suprised to discover that Microsoft C and two different
lints all pass without complaint the sequence

    struct sa { definition a} a;
    struct sb { definition b} b;

    void sub(x)
    struct sa *x;
    {....
    }

    sub(&b);

Is there something I don't know about that causes & to lose the
information as to the type of structure? Or does everyone happen to have
the same bug?

          Paul
          Schauble at MIT-Multics