I think it is always a good idea to generate a warning when an empty loop is detected (whether or not it is eliminated), since this is either a timing loop, or it is likely a bug.