Я знаю, что поведение>> целое число со знаком может зависеть от реализации (в частности, когда левый операнд отрицательный).

А как насчет других:~, >>, &, ^, |? When their operands are signed integers of built-in type (short, int, long, long long), гарантированно ли результаты будут такими же (с точки зрения битового содержимого), как если бы их тип был беззнаковым?