Есть -1 ›› 5; неуказанное поведение в C?

Оба верны. Поведение, определяемое реализацией, - это особый тип неопределенного поведения.

Ссылаясь на раздел 3.4.1 стандарта C который определяет "поведение, определяемое реализацией":

1 поведение, определяемое реализацией

неуказанное поведение, где каждая реализация документирует, как сделан выбор

2 ПРИМЕР. Примером поведения, определяемого реализацией, является распространение старшего бита, когда целое число со знаком сдвигается вправо.

Из раздела 3.4.4, определяющего «неопределенное поведение»:

1 неопределенное поведение

использование неуказанного значения или другое поведение, когда настоящий международный стандарт предоставляет две или более возможности и не налагает дополнительных требований, что выбирается в любом случае

2 ПРИМЕР Примером неопределенного поведения является порядок, в котором оцениваются аргументы функции.

Что касается GCC, вы всегда получите один и тот же ответ, потому что операция определяется реализацией. Он реализует сдвиг вправо отрицательных чисел через расширение знака

Из документации GCC:

Результаты некоторых поразрядных операций с целыми числами со знаком (C90 6.3, C99 и C11 6.5).

Побитовые операторы воздействуют на представление значения, включая биты знака и значения, где бит знака считается непосредственно над битом значения самого высокого значения. Знаковый >> действует с отрицательными числами путем расширения знака.

Как расширение языка C, GCC не использует широту, указанную в C99 и C11, только для обработки определенных аспектов подписанного << как неопределенного. Однако -fsanitize=shift (и -fsanitize=undefined) диагностируют такие случаи. Также диагностируются там, где требуются постоянные выражения.

«Неопределенное поведение» и «определенная реализация» не противоречат друг другу. Это просто означает, что стандарт C не определяет, что должно происходить, и что различные реализации могут делать то, что они считают «правильным».

Запуск его несколько раз на одном компиляторе и получение одного и того же результата означает только то, что этот конкретный компилятор согласован. Вы можете получить разные результаты на другом компиляторе.

Поведение, определяемое реализацией, является подклассом неопределенного поведения, то есть поведения, которое не определено стандартом.

Отчет о дефектах № 154 - C89 спросил комитет, каковы ограничения для поведение, определяемое реализацией; комитет отвечает, что реализация может определять любое поведение, которое она хочет, и это не обязательно должно быть постоянным.

Что нужно сделать реализации, так это документировать как этот выбор, в отличие от другого класса неопределенного поведения, где соответствующая реализация не должна даже беспокоиться о том, чтобы как выбор сделан, возможно потому, что для этих большинства реализаций текст будет говорить «произвольно», или «в зависимости от уровня оптимизации компилятора», или «в зависимости от распределения регистров для локальных переменных».

Я не получил ни одного из ответов на данный момент. В стандарте C четко указано, что сдвиг отрицательного числа вправо - это поведение, определяемое реализацией. Это не неопределенное поведение, которое означает нечто иное. Как вы правильно цитируете (C17 6.5.7 §5):

Результат E1 >> E2 - E1 сдвинутые вправо битовые позиции E2. / - /
Если E1 имеет тип со знаком и отрицательное значение, результирующее значение определяется реализацией.

Это означает, что компилятор должен задокументировать его поведение. Период.

На практике: документ должен указывать, использует ли компилятор арифметический сдвиг вправо или логический сдвиг вправо.

Это противоположно неопределенному поведению, которое является специфическим для реализации поведением, которое не требуется документировать. Неопределенное поведение используется в двух случаях:

• Когда поведение компилятора может быть секретом реализации, который поставщик компилятора не должен раскрывать своим конкурентам.
• Когда компилятор не может документировать, как работают основные детали, такие как ячейки памяти ОС и ОЗУ.

Например, компилятору не нужно документировать порядок оценки в коде следующим образом:

a  = f1() + f2();
a += f1() + f2();

Документирование порядка, в котором оцениваются подвыражения, раскрыло бы детали того, как работают внутреннее дерево выражений компилятора и оптимизатор, что, в свою очередь, показало бы, почему компилятор производит лучший код или компилируется быстрее, чем у конкурентов. Это было большим событием, когда изначально был написан стандарт C. В наши дни, когда есть отличные компиляторы с открытым исходным кодом, все меньше, так что это уже не секрет.

Точно так же компилятору не нужно документировать то, что печатает этот код:

int a;
int ptr = &a;
printf("%d", *ptr);

a - неопределенное значение, и вывод не определен - на практике вывод зависит от того, что было сохранено в этой конкретной ячейке RAM раньше. То, что мы бы назвали «мусорной стоимостью». (Прежде чем кричать «UB», прочтите (Почему) используется неопределенное поведение неинициализированной переменной?).