How to specify Generic Target Processors with 64 bit pointer in Polyspace

We have a target processor with 64 bit pointer. If I try to edit the target processor type, the 64 bit pointer option is disabled. Also the 128 bits data size is not available for the customable processor type mcpu...

Answer 1

[Alexandre De Barros]

Hi Konrad,

What is the name of this target? There is one target with 64-bit pointer: x86_64. Is it very different from your target?

Best regards,

Alexandre

Answer 2

[Konrad Mayer]

Hi Alexandre, the data type sizes are what I need, but the Endianness differs unfortunately. So I can not use your proposed solution for a detailed analysis. Thanks Konrad

[Alexandre De Barros]

Hello,

this question is now handled by the support, that will answer your question related to this target.

Alex