Если документация на компилятор дублирует правила языка Си, это немного странно. Если она приводит другие правила, это вообще угар. Снова был неправ, вспылил. Стандарт языка говорит, что сдвиг вправо отрицательного числа "implementation-defined". Поэтому да, прекрасно, что это описано в доке на компилятор. И совсем ужасно, если не описано.
Кстати, gcc тоже пишет:
https://gcc.gnu.or …ntegers-implementation
Signed ‘>>’ acts on negative numbers by sign extension.