When checking my code with PolySpace Client for C/C++ I see that there are UNR checks indicating unreachble operations in addition to regular checks in Gray color. What is the significance of UNR checks?
MATLAB: How is a UNR check different from other types of checks that are colored Gray in PolySpace Client for C/C++ 6.0 (R2009a)
codingcolorgraynivlpolyspacePolyspace Client for C/C++unr
Related Question
- Integer check
- Repetitive unreal orange checks
- Are the radio buttons for selecting languages for PolySpace grayed out
- Do I get an error message “Error: No PolySpace product found” when downloading some results in PolySpace R2008b
- Does PolySpace 5.1.1 (R2008a) show a red non-terminating loop (NTL) check in the code
- How to check MISRA AC AGC rules with Polyspace
Best Answer