В данном примере в условие попадёт уже новое значение 9, а затем будет 8, 7 и т.д. до -2147483648. После этого при декременте x перейдёт через границу диапазона и станет равным 2147483647, отчего цикл прекратится.