Para evitar estos problemas, se recomienda que después de liberar un puntero siempre se establezca su valor a codice_9.