language-lawyer

Вопрос или проблема C23 §6.2.1(7) содержит новую формулировку, связанную с неопределенными объявлениями (выделено жирным шрифтом ниже): Теги структур, объединений и перечислений имеют область видимости, которая начинается сразу после появления тега в

Вопрос или проблема В разделе 3.4 Использование скобочных выражений справочного руководства GNU awk говорится Чтобы включить один из символов ‘\’, ‘]’, ‘-’ или ‘^’ в скобочное выражение, поставьте ‘\’ перед ним. Например:     [d\]]совпадает либо с ‘d’, либо с ‘]’.

Вопрос или проблема Этот фрагмент кода валиден (и поведение определено)? int &nullReference = *(int*)0; И g++, и clang++ компилируют его без каких-либо предупреждений, даже при использовании -Wall, -Wextra, -std=c++98, -pedantic, -Weffc++…

Вопрос или проблема Это в определенном смысле является продолжением Является ли это неопределенным поведением – доступ к подобъекту путем добавления смещения байтов к адресу охватывающего объекта? при предположении, что P1839 будет принят.

Вопрос или проблема [intro.races] стр. 16 говорит: Если вычисление значения A атомного объекта M происходит до вычисления значения B для M, и A получает свое значение из побочного эффекта X на M, то значение, вычисленное B, является либо значением, сохраненным

Вопрос или проблема GCC принимает этот код, а Clang и MSVC отклоняют его из-за неудачной статической проверки в assert. Что говорит стандарт? https://godbolt.org/z/PKMKzYGsc template<typename T> constexpr int assert() { static_assert(sizeof(T) == 1);