caxapa.ru :: Этих слов я и ждал. А если в функцию передаётся void* то внутри неё по ошибке арифметику могли сделать. Я вот о чём.

fk0^{легенда} (23.01.2013 12:12, просмотров: 214) ответил SciFi на Надоел уже. Нельзя делать арифметику с указателями на void:

Этих слов я и ждал. А если в функцию передаётся void* то внутри неё по ошибке арифметику могли сделать. Я вот о чём.

[ZX]

Ответить

- ... и получить на выходе компилера трехэтажный мат-перемат. - Codavr(23.01.2013 12:18)
  - Неа! В лучшем случае warning, а то и вовсе ничего. Я ж говорю, нарывался (особенно GCC хорош, он в таком случае (void*) как (char*) воспринимает и "маскирует" ошибки), когда в таком случае результат неадекватный. С тех пор ка всю жизнь запомнил. fk0(45 знак., 23.01.2013 14:31)
    - И что он в варнинге говорит? "есть опасность неправильно узнать расстояние между двумя объектами расположеными в разных разделах памяти, один в EEPROM, другой в ОЗУ, выберите предпочтительные единицы измерения (дюймы, миллиметры)" - Codavr(23.01.2013 15:31 - 15:34)
      - Оба в EEPROM или оба в ОЗУ. Не важно. Важно, что void *p, *q; size_t x=p-q -- здесь в x расстояние в условных sizeof(void), которое может не быть == sizeof(char) как у GCC. - fk0(23.01.2013 17:10)
        
        Ну не юли. Если одно там, а другое там? - Codavr(23.01.2013 17:18)
        
        Если одно там, а другое там, то очевидно, полнейший глюкодром. Намекаешь, что оба приводятся к void? А вот фиг, у hitech, например const void* и void* две разные вещи могут быть (24 бита адрес если). И (const void*)0 != NULL вообще из-за 20-го fk0(8 знак., 23.01.2013 17:35)
        
        Я намекаю, что такое компилер не может как варнинг обрабатывать, если это компилер, а не глюкодром. Это конкрентный еррор. Ну или "вовсе ничего" ушел в себя и не вернулся :) - Codavr(23.01.2013 19:26 - 19:35)
        
        GCC позволяет арифметику над (void*) без матов... и работает как будто там (char*) Это его "расширение языка C" такое. - fk0(23.01.2013 19:45)
        
        Ну и как оно интерпретирует мой пример? Какие адреса считает старше, EEPROM, флеш, ОЗУ? Там это как-то конфигурится? - Codavr(23.01.2013 23:53)
        
        Кстати, про NULL вспомнилась забавная история: SciFi(300 знак., 23.01.2013 17:58)
        
        Ха-ха три раза, а если вспомнить, что бывают разные модели памяти, и на процессорах с сегментной адресацией NULL короткого поинтера может указывать на реальный используемый адрес длинного поинтера, то вообще весело :-)) - =AlexD=(24.01.2013 07:40)
    - Видимо, нельзя полагаться на сообщения компилятора в деле защиты от говнокода. Кстати, есть линты всякие и прочие static code analysis tools. - SciFi(23.01.2013 14:46)
      - С ними тяжко. Его пока настроишь -- это практически как версия на очередную новую платформу, ну может чуть проще... Проще GCC с -Wall -Wundef -Wcast-qual -Wpointer-arith -Wcast-align -Wwrite-strings -Wsign-compare. Остальные варнинги как-то уже fk0(118 знак., 23.01.2013 17:21)

ARM, RISC-V контроллеры