Everytime Polyspace detects red and green cases for a loop, Polyspace wouldn't mark this loop as infinite (red error). I understand that, its the way Polyspace handles loops in general.
int main(void){ volatile LKuint16 rnd = 0; volatile LKuint16 par = 0; int res; if (rnd) res = UDS_u8GetDataIdLength(par); // call only with 0 return res;}
I have also run a new analysis with the option:
-prepare-automatic-tests
and I was able to start the Automatic Orange Tester. There's no orange warning either concerning the loop or concerning the input parameter of the function.
Best Answer