[winebar]

Ricordate che parliamo di un bug che è venuto fuori SOLO dopo circa 48 ore di loop dello stesso medesimo codice. Quel codice è praticamente stato creato per sottolineare l'errore, quindi probabilmente i dati con cui la CPU aveva a che fare ad ogni loop erano sempre gli stessi. Di conseguenza dubito che questo bug sia riproducibile anche negli ambiti lavorativi più "spinti". Con codice non creato appositamente potrebbero volerci settimane, o addirittura mesi, per poter scovare il problema.
Di conseguenza non mi sembra che sia un bug così grave come sembra.