Since PC-Lint already has the size and alignment information, it could determine if structures members are not arranged most efficiently.

For example, in a standard 32-bit system, a structure defined as

struct foo
{
uint32t a;
uint8t b;
uint16_t c;
}

is not most efficiently arranged, requiring an additional padding byte between b and c to achieve the necessary alignment for c. A more efficient method would be to define foo as

struct foo
{
uint32t a;
uint16t b;
uint8_t c;
}

I think Lint could determine this and generate some Info message for struct name.