The abort() function raises an exception, so this line would never be reached.