изменение требования к выравниванию при литье

Question

Я получаю предупреждение «увеличение литья требует выравнивания целевого типа» при компиляции следующего кода для ARM.

char data[2] = "aa"; 
int *ptr = (int *)(data); 

Я понимаю, что требование выравнивания для символа равно 1 байту, а значение int - 4 байта и, следовательно, предупреждение.

Я попытался изменить выравнивание символа с помощью выровненного атрибута.

char data[2] __attribute__((aligned (4))); 
memcpy(data, "aa", 2); 

int *ptr = (int *)(data); 

Но предупреждение не исчезает.

Мои вопросы

1. Почему не предупреждение уйти?

2. Поскольку ARM генерирует аппаратное исключение для неправильных доступов, я хочу убедиться, что проблемы выравнивания не возникают. Есть ли другой способ написать этот код, чтобы проблема выравнивания не возникла?

Кстати, при печати alignof (данные), он печатает 4, что означает, выравнивание данных изменяется.

Я использую gcc версию 4.4.1. Возможно ли, что gcc выдаст предупреждение, даже если выравнивание было изменено с помощью атрибута aligned?

Answer 1

Я не совсем понимаю, почему вы хотели бы это сделать ... но проблема в том, что строковый литерал «aa» не сохраняется по выровненному адресу. Компилятор, вероятно, полностью оптимизировал переменную data и поэтому видит код только как int* ptr = (int*)"aa";, а затем дает предупреждение о несоосности. Никакая ошибка в игре с переменной data не изменит, как выравнивается буква «аа».

Чтобы избежать распространения литерала по неверному адресу, вам нужно будет настроить, как строковые литералы хранятся в настройках компилятора, что, вероятно, не очень хорошая идея.

Также обратите внимание, что не имеет смысла иметь указатель на непостоянные данные, указывающие на строковый литерал.

Так что ваш код - это чушь. Если вы до сих пор по неизвестным причинам настаивают иметь в ИНТ указатель на строку буквального, я бы какую-то работу вокруг, например, как это:

typedef union 
{ 
    char arr[3]; 
    int dummy; 
} data_t; 

const data_t my_literal = { .arr="aa" }; 
const int* strange_pointer = (const int*)&my_literal;