Enable portable word sizes

Set Option

In your Polyspace Platform project configuration, on the Build tab, select this option on the Target & Compiler node.

Why Use This Option

Use this option to emulate a target processor while running tests on your host computer. When you enable this option, Polyspace^® Test™ replaces the data types in the compiled code so that the word sizes in the compiled code remain the same as the word size of your processor. You specify the processor using the option Processor.

Say you have a 16-bit processor where the size of int is 16-bit. To emulate this processor in your host computer, select a 16-bit processor as the Processor and enable this option. Polyspace Test replaces int in your code by a type that is 16-bit in length in your host computer, such as short. Consider this code:

unsigned int foo(void) {
	unsigned int  x = 65535;
	x++;
	if(x == 0)
		return 16; // will be executed if sizeof(int)==16 bit
	else
		return 64; // will be executed sizeof(int)==64 bit
}

unsigned short foo(void) {
	unsigned short  x = 65535;
	x++;
	if(x == 0)
		return 16; // will be executed if sizeof(short)==16 bit
	else
		return 64; // will be executed sizeof(short)==64 bit
}