Azzera filtri
Azzera filtri

__packed in polyspace code prover

6 visualizzazioni (ultimi 30 giorni)
Hello, Getting error identifier "__packed" is undefined in polyspace code prover. How to solve this?
Thanks and Regards, Srinivasan K.

Risposta accettata

Alexandre De Barros
Alexandre De Barros il 15 Ott 2015
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
  1 Commento
srinivasan kandaswamy
srinivasan kandaswamy il 16 Ott 2015
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.

Accedi per commentare.

Più risposte (0)

Categorie

Scopri di più su Troubleshooting in Polyspace Products for Ada in Help Center e File Exchange

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by