Non credo che il compilatore si metta a vedere quale sarà il valore run-time della variabile. Quindi non può sapere se una variabile sarà vera o falsa.
L'affermazione di Astro riguarda il fatto che se tu crei una funzione e poi questa non ha nessun richiamo nel codice viene scartata del compilatore.