A simple tool to check which functions should be have the noreturn attribute.