We explain here why even if the index of an array is unsigned, Polyspace says that there is conversion to signed integer
MATLAB: Do I see a cast to signed integer on the unsigned array index
Polyspace Code ProverPolyspace Code Prover Server
Related Question
- How to exclude preprocessed codes in Polyspace Code Prover
- Do I receive a compilation error for the analysis with enum in PolySpace
- What is a pure stub and how can I force an automatic stub to be a pure function in PolySpace Server for C/C++
- Do I have a “floating value used in the left operand of ‘&&’, ‘||’ initializer” limitation when I use the -ignore-float-rounding option in PolySpace Client 7.0.1 (R2009a)
- How to perform pointer arithmetic on an array of structures returned from a shared library in MATLAB 7.8 (R2009a)
Best Answer