>2. на что вы "требуете" проверять? Не выделил ли malloc память, частично находящуюся за предел адресного пространства?

На оверфлоу указателя.
По поводу чего и был трэд пока вы не пришли (с темой "к указателям можно прибавлять". А то мы до вас не знали).

Ещё раз, крайний, если вы занимаетесь арифметикой указателей в цикле и каждая итерация потенциально вызывает оверфлоу, то ваш алгоритм не верен, а код — быдлoкoд.

Зыж
И да. Компилятор (вернее оптимизатор) исключил условие заслуженно. Сабж полезен по поводу локализации быдлoкoда.
И код ядра читал. Только что, и про dsdt, и про rsdt, и про xsdt,...
Всё аналогично и логично — вначале проверки, потом разбор (с циклами и тд.)
Единственная проверка — таблица может быть нулевая, но это явно не сабж.