Почему компиляторы не предупреждают об этом нулевом дреферинге, даже когда они его обнаруживают? ⇐ C++

[Anonymous]

Рассмотрим следующую программу: < /p>

Код: Выделить всё

int main() {
int* ptr = nullptr;
return *ptr + 1;
}
< /code>
(также на Godbolt) < /p>
Как это, это с «приличными» предупреждениями-Wall

-wextra ), оба популярных компилятора

Код: Выделить всё

clang++

20.1.0, g ++ 15.1 - Заправить меня, чтобы предупредить меня о нулевом указателе? Тем более, что они понимают, что им не нужно беспокоиться о добавлении 1?>

Подробнее здесь: https://stackoverflow.com/questions/796 ... y-detect-i