__packed in polyspace code prover

Hello, Getting error identifier "__packed" is undefined in polyspace code prover. How to solve this?

Thanks and Regards, Srinivasan K.

Answer 1

[Alexandre De Barros]

Hello,

The easiest way for Polyspace to ignore this extra keyword is to define a macro like this:

__packed=

You add it as a usual macro to your Polyspace project, the difference with a usual macro being that this one ends with an = sign. By doing this, the Polyspace preprocessor will replace the keyword __packed by nothing. Hence the keyword will be actually ignored in the code verification.

Regards,

Alex

[srinivasan kandaswamy]

Hi Alex, It is solved by declaring _packed as *_attribute__((packed))*. I will try the suggestion given by you also. Thanks for the support.

Regards, Srinivasan K.