Исходное сообщение
"Оптимизация кода компилятором может привести к появлению про..." Отправлено клоун Стаканчик, 30-Окт-13 18:31
1. компилятор исключил условие 2. на что вы "требуете" проверять? Не выделил ли malloc память, частично находящуюся за предел адресного пространства? Или что ACPI находится где-то в адресном пространстве (даже за пределами реальных адресов) памяти? Нет, не проверяю. Смысла нет. Вы должно быть удивитесь, но в моих "внутренних" (неэкспортируемых и не работающих с внешними данными) функциях нет проверки входных параметров, потому что я и так знаю какие параметры я передаю. 3. написал когда писал сообщение на этом форуме. Странный вопрос... 4. а вы читали код ядра? И вопрос не в том есть другое решение или нет, вопрос в том, на основании чего вы (я, он, компилятор) считаете данное решение неверным. И в этом же суть обсуждаемого вопроса. Напр. второй пример: sk = tun->sk; if(!tun)return; Если чтение адреса 0000:0000 возможно, то этот код верен. А возможно ли чтение или нет определяется ОС, а не стандартами ЯП. Для сравнения: c = a+b; if(!a)return; В обоих случаях можно изменить порядок следования операций, но нельзя исключать условие.