Ciclo infinito
Un ciclo la cui condizione non diventa mai falsa: o è un grave bug, oppure è esattamente ciò che si voleva.
Quello accidentale nasce quando il contatore non raggiunge mai il limite, quando il test di uscita confronta la variabile sbagliata o quando gli arrotondamenti in virgola mobile mantengono i != 1.0 vero per sempre. Il sintomo è un thread che tiene un core al 100% mentre il resto del programma sembra vivo. Un deadlock appare simile dall'esterno, ma non consuma CPU, ed è il modo più rapido per distinguerli.
Quello voluto è più comune di quanto si pensi: while (true) con un break all'interno è la forma standard dei cicli di eventi, del ciclo di accept di un server e dei sistemi embedded che non devono mai terminare. Che nessuno strumento possa stabilire automaticamente di quale tipo si tratti non è una lacuna degli strumenti, ma un risultato dimostrato: si veda il problema della terminazione.