Polyspace for C error messages: invalid storage class for a parameter/a declaration here must declare a parameter

I get a lot of error messages in header files:

For example:

invalid storage class for a parameter

extern volatile u08 au08DevReqToDrvrOrPassDoorRe[8];

^

a declaration here must declare a parameter

extern volatile u08 au08DevReqToDrvrOrPassDoorRe[8];

^

What are the possible reasons for them?

Answer 1

[Christian Bard]

I recommend you to contact Technical Support with complete log file. A plus would also to provide a small sample that reproduces behavior.