MATLAB: Polyspace: best practice for stubbing functions that exit

exitpolyspacePolyspace Client for C/C++stub

I'm not sure what the best practice is with respect to stubbing functions that exit/terminate the program. Consider a reboot() function rebooting the system. I can stub it as
void reboot(void)
{
   for (;;) {
      ;
   }
}
But that makes "for" a red NTC which I can't seem to make go away with "-known-NTC reboot". So I went with
#include <stdlib.h>
void reboot(void)
{
    exit(0);
}
This makes "exit" a dashed red underline, with a bubble comment saying "A problem occurs during the execution of call to function __polyspace__stdstubs.exit.".
How do I stub such a function without getting a red or other problematic statement?

Best Answer

Hi Tommy!
If a function exits the program, then by definition the call to this function will never return, and the program will not continue after this call. This is why Polyspace will flag an NTC check, indicating that if you call this function, your program will stop.
It is important to use this red check to understand for example why some code is unreachable:
 reboot(); // your function that exits the application. We have a red NTC here
 restart(); // problem: this function is not called !
If you stub your function without an NTC or NTL, then Polyspace will consider that, in the example above, the function restart() can be called, which is not true. So the results will not reflect the reality.
Please note also that Polyspace will propagate this check through the call tree and it is also very important to keep this NTC check.
Let's take another example with this function:
 int check(int status_code) {
  if (status_code > 10)
    reboot();
  else
    return 1;
 }
and later this code where we will suppose that my_status is set to an incorrect value:
 my_status = 11;  // oops, wrong value here!
 if (check(my_status)) {  
    ...
    // do something very important
 }
In the function check(), there will be an NTC on reboot(), but there will be another NTC on the call to check() because Polyspace knows that the function reboot() is going to be called since the parameter status_code is 11.
If reboot() was stubbed without an NTC, the call to check() with status_code equal to 11 would appear as ok. But in reality, this code will cause an unexpected reboot.
More information on this NTC check here.
Alex
Related Question