È "sicura" solo la a, dato che in tutte le altre si ha come "sorgente" dell'assegnamento una variabile non inizializzata. L'unica eccezione si ha nel caso in cui b e i siano variabili globali, nel qual caso sono inizializzate automaticamente a 0 (quindi FALSE per b e 0 per i); in quest'ultimo caso, sono tutte istruzioni ben definite.