Перевожу проект с меги 128 на LPC23xx
Есть такой кусок на С:

линкер раскидал bin_buff[] с адреса 0x4000 01e4

этой строкой хочу взять 16 бит без знака из двух байт bin_buff[2]:bin_buff[1]

проверяю на симуляторе -все ок
в железе старший байт всегда равен 0, младший - правильный

в окне дизасма в симуляторе код получился такой



рылся-рылся в итоге чисто случайно обращаю внимание на сообщение loga:

Tue Feb 22 13:01:20 2011: Warning: The LDRH instruction at addr: 0x00000714 made an illegal unaligned access to 0x400001E5

Ну и сразу все стало на свои места.
Теперь вопрос собственно: какого %ера компилятор в купе с линкером не выдали хотя бы варнинг по этму поводу ? Все варнинги и ероры были включены. Или иначе, где я должен был почитать о такой ситуации чтоб ее не допустить ?

Это общепринятая практика: если в коде на языке Си программист применил явное приведение типа, то он сам понимает, что делает, и компилятору в это вмешиваться не нужно. В конце концов, легко можно себе представить намеренно сделанный невыравненный доступ с целью детектировать тип процессора.
Кстати, в компиляторе RealView есть __packed.

Fighting the Lemmings. Martin Husemann

Для начала нужно почитать чем отличается неявное преобразование типов от явного

Вот пример неявного преобразования со странностями.
В 4.хх ИАРе легко можно было написать

Никаких варнингов не было.
А в 5.хх уже вылазит зачем-то варнинг. Кто бы объяснил зачем его ввели?

Сообщение отредактировал GetSmart - Feb 22 2011, 12:30

Ну конечно. значит когда компилятору непонятно с какой переменной разгребать сравнение вдух волатайлов нате вам варнинг, делайте что хочете, а как компилить код который потенциально может привести к неправильной выборке памяти то нате вам ребус И еще ж ясным по белому написано bin_buff[1], т.е. явно попадаем на ошибку.
Ну а детектировать тип процессора это наверное можно и на уровень асма спуститься, там определять.
На счет __packet не понял, чем оно здесь поможет ?

Сообщение отредактировал grv - Feb 22 2011, 12:38

Каждый новичёк встаёт на эти грабли. Однако большинство понимают, что "сам дурак". На форуме уже наверное десяток аналогичных тем.

О __packet.
В ИАРе можно объявить структуру или юнион с побайтовой упаковкой. Тогда доступ ко всем полям будет побайтовый. Так можно считывать и 16 и 32 битные поля с невыравненных адресов.

Предполагается, что программист очень хорошо представляет зачем вставил явное приведение типа. И почему он, хорошо подумавший, должен при каждой компиляции безопасного (ибо продуманного) кода получать предупреждение, предназначенное сторонникам бездумного copy-paste, которые даже не знают что такое явное, а что неявное (см. название темы) приведение типа?

Виноват, не обратил внимание, что это не RealView, а IAR.
Совсем переносимо было бы явным образом составить short из двух char'ов.

Спасибо, так и сделал. Просто в авр-е совсем байтов не оставалось, пришлось извращаться.



Ну с граблями то понятно.
По __packet. Т.е. никакого выигрыша по сравнению с short=byteh<<8 | bytel на уровне кода получено все равно не будет , так ?

Скорее всего не будет. Только читабельность улучшится и удобство модификации текста.