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.
Alex
