Eine Endlosschleife würde es werden, wenn es while(1) heißen würde. Die Schleife wird ja nur so lange ausgeführt wie die while-Bedingung "wahr" ist. Das "0" ist ja nicht "wahr".