Why do I receive Polyspace compiler errors even though my code looks acceptable?

Why do I receive Polyspace compiler errors even though my code looks acceptable?

Answer 1

[MathWorks Support Team]

Be careful about your Polyspace Preprocessor Definitions. You are able to emulate various compiler behavior by adding or even subtracting macros from the preprocessor.

https://www.mathworks.com/help/bugfinder/ref/preprocessordefinitionsd.html

https://www.mathworks.com/help/bugfinder/ref/disabledpreprocessordefinitionsu.html

For example, consider the following line of code. It defines a bitfield member called "MT".

volatile unsigned int MT:1

If one of your Polyspace preprocessor definitions is "MT=0", Polyspace will see the following code when it attempts to compile.

volatile unsigned int 0:1

This will cause a syntax error because the line of code no longer makes sense.