Всем привет.
Понимаю, что название темы кажется странным, но тем не менее...
Имеем такой код (синтетический тест воспроизводящий проблему)

#include <stdlib.h>
#include <stdio.h>

int main()
{
    unsigned int i = 0;
    unsigned char buf1 [13] = {0xAA, 0xAB,  0xAC, 0x01,  0x00, 0x02, 0x00, 0x03,  0x00, 0x04, 0x00, 0x05, 0x00 }; // (см *)

    for (i = 3; i < sizeof(buf1); ++i) {
        printf("%02x:", buf1[i]);
    }
    printf("\n");

    for (i = 3; i < sizeof(buf1); i+=2) {
        printf("%04x:", *(unsigned short *)&buf1[i]);
    }
    printf("\n");

    for (i = 0; i < 4; i++) {
        printf("%04x:", *(unsigned short *)&buf1[i]);
    }
    printf("\n");

    return 0;
}

Компилируем для платформы x86, получаем вполне ожидаемый вывод
Компилирую для arm (-mcpu=arm926ej-s -march=armv5te), получаю следущее


Как можно объяснить такой вывод, и, самое главное, как заставить именно этот код вести себя ожидаемо (как на x86)?

* Важный момент, что размер массива нечётный. При выравнивании 1, если сразу объявить еще один такой же массив и повторить для него те же действия, вывод для него будет отличаться, но всё равно не будет правильным (т.е. таким же как на x86).

Для выяснения берем и выводим на печать на обоих платформах sizeof(unsigned short).

Дело в выравнивании адресов на ARM. Т.е. каждый тип должен лежать по адресу, кратному его размеру. При невыровненном доступе будут ошибки чтения. При преобразовании char* к ushort* получается именно такая ситуация.
Если тебе действительно нужно такое преобразование, используй memcpy для копирования 2 байт во временную переменную, как бы странно это ни звучало.

Это я конечно же делал. sizeof(unsigned short) одинаков на обоих платформах и равен 2.

Ок, спасибо.
Просто получилась такая ситуация. Разработали некую железку для заказчика с arm'овским процессором на борту. У них есть некий код, который они давно используют и который, якобы (по их мнению), хорошо работает. А на нашей железке этот код не работает, из-за таких вот преобразований, показанных выше. Мне теперь нужно грамотно обосновать, из-за чего такое различие. Иначе считается, что наше оборудование не работает.
Если у тебя есть ссылка на какую-нибудь оф. документацию, где описано такое поведение, было бы очень здорово.

Ссылок, к сожалению, нет.
Быстрый Google-поиск по фразе "unaligned pointer ARM" дал в результате ссылку на оф.сайт ARM - Unaligned pointers. Надеюсь, поможет.

И на этом спасибо. На самом деле очень помог, что бы объяснить происходящее.

Я вот такую вот ссылочку (тык) нашел описывающую данную ситуацию.
Может еще кому-нибудь интересно будет.