Is it possible to customize targets with 24-bit datatypes in Polyspace?

We are using Polyspace for a project written in C Code in which we use the microcontroller Infineon XC2321D. This micro uses for example 24-bit pointer addresses which we believe that are not possible to be configured in the Target & Compiler dialog from the configuration menu.

We would like to know if it is possible to select a default configuration for a microcontroller like this, or if we can customize a target with the possibility of including 24-bit datatypes.

Answer 1

[Alexandre De Barros]

Hello !

You can choose the target C18, it's a target where you can choose between a 24-bit or a 32-bit pointer.

Best regards,

Alexandre