Clepsydra throws NPE if loop is missing goto instruction
Status: Inactive
Brought to you by:
vocaro
Clepsydra will throw a NullPointerException if a loop node has no goto instruction. Here are some examples of loops without a goto:
while (val > 3)
if (b) return;
while (b)
{
if (val > 10)
b = true;
else
return -1;
}
while (b)
while (b);
Make sure that the WCET result is correct for these cases, as well. Add them as test cases.