1. De estar bien construida, i apunta al final de la lista. Pero justo con este código i valdrá NULL.

2. Añade al final de la lista el nuevo dato.

3. i apunta al último elemento, justo antes de que la lista de una vuelta entera.

Es parecido a este

for(i=lista.inicio;(i->sig)->sig!=lista.inicio;i=i->sig);

Si cambias lista.inicio por NULL ¿qué crees que quiere decir?

En el segundo reseteas todos los nodos a `nuevo` excepto el inicial. En el tercer codigo te recorre toda la lista hasta el anteultimo valor inclusivemente ya que pregunta si el sig del sig es igual a lista—>inicio. Y el ultimo haria lo mismo y se usaria en una lista no ciclica, llegaria dentro del for hasta el anteultimo, y cuando sale i = anteultimo nodo; lo mismo para ambos casos