Il compilatore avvisa sempre quando si tenta di assegnare ad un puntatore un'indirizzo corrispondente a qualcosa di differente dal tipo puntato.