В данном алгоритме значение a будет заменено значением b, значение b не изменится. Если поменять операторы местами, значение b будет заменено значением a, значение a не изменится. Т.е. неверные результат будет всегда, если первоначально b не равно a.