19 ошибок в LLVM 19

[Aquinary]

GCC не проверяли?

[Andrey2008]

Проверяем, но реже.
Проверка компилятора GCC 13 с помощью PVS-Studio.
Проверка компилятора GCC 10 с помощью PVS-Studio.

[Mikhail_Borr]

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

[Andrey2008]

Возьмётесь? :)

[Refridgerator]

Когда меня в следующий раз спросят, почему я пишу парсеры с нуля, а не использую готовые решения общего назначения - буду отвечать ссылкой на эту статью.

[simplepersonru]

КМК под это определение

готовые решения общего назначения [для написания парсеров]

Подходит какой-нибудь antlr, но уж никак не LLVM

[Panzerschrek]

Ошибка 1 - типичное последствие дурного дизайна языка. Запятая по сути отбрасывает выражение до неё и возвращает то, что стоит после неё. При этом я не вижу случая, где это было бы реально полезно. Посему было бы неплохо, чтобы компиляторы предупреждение на её использование выдавали (если ещё этого не делают).

[Panzerschrek]

Ошибка 7 - не понятно, почему этот код компилируется. Сравнивать указатели на == и != с нулём ещё имеет смысл. Но зачем нужно сравнение на больше/меньше? Тут надо бы ошибку компиляции выдавать.

[sdore]

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

[Panzerschrek]

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

[redfox0]

Меня недавно удивило, что такой код не компилируется (хотя я считал, что должен):

void foo(int *out) {
    out = 0x01;
}

Да, я хочу записать единицу как адрес. Возможно, msvc компилятор поумнел.

[mayorovp]

С чего бы он должен-то? Используйте преобразование типов, они для подобных случаев и сделаны.

[Andrey2008]

Это компилируется в C (хотя и с варнингом, GCC: incompatible integer to pointer conversion assigning to 'int *' from 'int' [-Wint-conversion]).

И не компилируется в C++. И это замечательно.