__packed in polyspace code prover
3 次查看(过去 30 天)
显示 更早的评论
Hello, Getting error identifier "__packed" is undefined in polyspace code prover. How to solve this?
Thanks and Regards, Srinivasan K.
0 个评论
采纳的回答
Alexandre De Barros
2015-10-15
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
更多回答(0 个)
另请参阅
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!