Unsupported feature(recursion)
Error: line 8105: Unsupported feature (recursion): tmp___3 = check_sig(link); (ParallelAlgorithm.handleFutureResults, SEVERE)
for
test/programs/benchmarks/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--net--ethernet--smsc--smc91c92_cs.ko.cil.i
linux-4.0-rc1---drivers--net--ethernet--smsc--smc91c92_cs.ko.cil.i
Error: line 5051: Unsupported feature (recursion): tmp___0 = change_mode(pp, 1); (CallstackTransferRelation.getAbstractSuccessorsForEdge, SEVERE)
for
test/programs/benchmarks/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--usb--misc--uss720.ko.cil.i
in the table the status of this one says: timeout(error(recursion)