Comment by WalterBright

There's no way for a compiler to reliably determine that a loop is infinite, making it very difficult for the standard to require such determinations.