People forget what determinism is.
Non-deterministic systems produce different output states given identical input states.
Even if a compiler's memory gets a one-in-a-million bitflip that produces a different output, it doesn't mean it's non-deterministic. It just means that the output state is different due to an external force changing the internal state.
An infinite loop will halt when the processor is powered off.