Имеется структура, которая используется в прерывании, поэтому объявляю ее volatile. Однако компилятор выкидывает обращение к полям этой структуры. То есть, к примеру, пишу

а компилятор считает, что Data[0] всегда не равно 1 и поэтому выкидывает содержимое скобок.
Оказывается, нужно еще и каждое поле структуры объявлять volatile! Это что, нормально? Я же саму переменную Command объявил volatile, этого мало? По стандарту так положено? Или глюк в Кейле?

Сообщение отредактировал 777777 - Aug 12 2011, 08:41

Но ведь решение найдено и известно. Как вариант - обратитесь в техподдержку Кайла, если и смогут объяснить квалифицировано, то только там, мне кажется.

Для этого надо как минимум иметь легальный Кейл.

И вообще, если вам нечего ответить - стоит ли засирать форум?

Фу, грубиян. Выложите как объявляли переменную и задавайте вопрос.

Значит в кале не соблюдают стандарты, по крайней мере ISO/IEC 9899:1999

6.5.2.3 Structure and union members



Сообщение отредактировал sasamy - Aug 12 2011, 09:09

Не исключено. Но также не исключено неверное объявление.

volatile struct x{
/*stuff*/
} volatile_x;

struct x non_volatile_x;

Сообщение отредактировал one_eight_seven - Aug 12 2011, 09:24

Не верю. Объявление структуры (и типа, и переменной) - в студию.

Я тоже в шоке.



Если Data[15] объявлено как u8, то не работает. Если Command без volatile, то тоже.

Хм. А вот так будет работать?

struct _CCommand
{
u8 Length;
u8 Cmd : 4;
u8 Addr : 4;
vu8 Data[15];
};

typedef volatile struct _CCommand VS_CCommand;

VS_CCommand Command;

P.S.: если vu8 - это volatile unsigned char, то вместо него просто u8.
P.P.S.: Но на деле похоже на

Сообщение отредактировал one_eight_seven - Aug 12 2011, 10:44

...

Сообщение отредактировал Genadi Zawidowski - Aug 12 2011, 10:40

volatile применяется к переменным, а не к объявлениям. Но я пробовал писать
typedef volatile struct _CCommand
{
...
u8 Data[15];
} CCommand;
- не помогает, хотя компилятор и не ругается.

Сообщение отредактировал 777777 - Aug 12 2011, 10:44

Бага в компиляторе. Стандарт языка (C99 - точно) говорит, что если переменную типа структура объявить как volatile, то все поля такой структуры тоже будут volatile (раздел 6.5.2.3 Structure and union members).
Update: проглядел, sasamy уже об этом сообщил.
Ну бага и бага. Значит, надо применить workaround, и он уже нашёлся, как я понял. А криворуким компиляторописателям выражаем протест.

Звучит почти невероятно. Всякое бывает, конечно, но не верится как-то, чтобы не всплыл такой косяк.

777777, можете озвучить версию компилятора?

Сдается мне, что там дело вовсе не в volatile. Просто тыкая volatile куда не поподя удалось сломать оптимизацию компилятору настолько, что изначально мутный код что-то начал делать.

Если использовать typedef struct {...}, то надо сразу писать typedef volatile struct {...} type_name; и далее type_name our_struct;
Или же ещё вариант: если у вас только одна такая структура, то объявите её сразу:
struct {
volatile ...
volatile ...
} our_struct;