Polyspace Gray result UNP error type, what is UNP?

Hello all,

I have a gray result in Polyspace and the error type is UNP. I cannot find inside documentation in the result list what UNP stands for. I know that gray means unreachable or unused code, I am trying to decipher this UNP.

Thanks in advance.

Answer 1

[Alexandre De Barros]

Hi,

UNP means UNreachable Procedure. In the recent version, this check is now called Function Not Called, or FNC.

More information on this check here:

http://www.mathworks.com/help/codeprover/ref/functionnotcalled.html

Regards,

Alexandre