Вот именно! Я поначалу считал, что результат будет различным только для данного числа. Но потом мне указали на мое заблуждение. Результаты будут различными для любого отрицательного нечетного числа. Кстати, в GCC производится замена деления чисел со знаком операциями арифметического сдвига вправо, но там перед сдвигами число корректируется.