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

1 visualización (últimos 30 días)
Konrad Mayer
Konrad Mayer el 12 de Sept. de 2017
Comentada: Alexandre De Barros el 13 de Sept. de 2017
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...

Iniciar sesión para responder a esta pregunta.

Respuestas (2)

Alexandre De Barros
Alexandre De Barros el 12 de Sept. de 2017
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
Konrad Mayer
Konrad Mayer el 12 de Sept. de 2017
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
  1 comentario
Alexandre De Barros
Alexandre De Barros el 13 de Sept. de 2017
Hello,
this question is now handled by the support, that will answer your question related to this target.
Alex

Iniciar sesión para comentar.

Categorías

Más información sobre Bug Finder Analysis en Help Center y File Exchange.

Etiquetas

Productos

Community Treasure Hunt

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

Start Hunting!

Translated by