Баг EWARM 5.20.3 Опции

[MALLOY2]

EWARM 5.20.3 EVAL. Компилирую под STM32 ну это не важно...
Обнаружил баг, прошу проверить.

Баг проявляется при попытке выполнить условие с битовым полем.

Имеем:

Код

typedef struct my_struct_bit_tag
{
  unsigned int bit0:1;
  unsigned int bit1:1;
  unsigned int bit2:1;
  unsigned int bit3:1;
  unsigned int bit4:1;
  unsigned int bit5:1;
  unsigned int bit6:1;
  unsigned int bit7:1;
  unsigned int other:24;
}my_struct_bit_t;

typedef struct my_struct_tag
{
  volatile unsigned int A;
  volatile unsigned int B;
  union {volatile my_struct_bit_t Cbit; volatile unsigned int C;};
}my_struct_t;

Делаем такое условие:

Код

void main(void)
{
  my_struct_t *test;
  ....
  if (test->C){......}
}

Все нормально компилируеться

При таком условии

Код

void main(void)
{
  my_struct_t *test;
  ....
  if (test->Cbit.bit0){......}
}

имеем:
Internal Error: [symbol_lookup_M31]: symbol not found for mode 1 (backend generating) (P0: 0, P1: 0)
P.S. Чтение - запись битовых полей работает нормально.

[MALLOY2]

Тупым компилятором. Чтобы потом юзер в рантайме встал на эти грабли. Типа Data Abort. ИАР слишком умный для таких граблей. Если бы Вы хоть чуть умели писать компилеры и понимали методы оптимизации, а не только умели писать такие кривые проги, то не говорили бы что этот код 100% компилируемый.

1. Думаю вы точно не умеете их писать. Если вы умеете читать я писал что компилятор выдает честный варнинг на то что test не инициализирован ! он не имеет права запрещать мне так делать !

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

Если кто может послать баг репорт в IAR огромное спасибо, я его посылать не буду так как пишу по буржуйски токо "Привед медвед".

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

[GetSmart]

1. Думаю вы точно не умеете их писать. Если вы умеете читать я писал что компилятор выдает честный варнинг на то что test не инициализирован ! он не имеет права запрещать мне так делать !

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

1. Я не могу написать (сейчас) что-то подобное компилеру ИАРа. Нет богатого заказчика на этот проект. Но 10 лет назад написал компилер паскаля (уровня турбопаскаля) с более расширенным синтаксисом. Выдать варнинг в этой ситуации - мало! Это только ошибка первого этапа компиляции. Далее идёт оптимизатор, для которого эта ситуация должна быть фатальной и им должна быть выдана реальная ошибка, останавливающая компиляцию. И это не Internal Error (которую я назвал дурацкой). С другой стороны, компилер мог бы вообще откомпилить код по своему усмотрению. Хоть сразу выполнить условие, хоть просто пропустить его. И был бы прав в обоих случаях.

2. 1000 коммерческих строк сюда не нужно выкладывать, оставьте себе. Сюда выложить надо было только непокоцанную часть, хотя бы внутри IFа. Хотя вам видимо не дано разобраться где мухи, где котлеты. Так что если в будущем попросят выложить побольше, то не надо сразу посылать. Либо сами создайте минимальный проект с минимум строк, приводящих к аналогичной ошибке и уже весь проект выкладывайте на всеобщее обозрение.

1. А что же он, по-вашему, делает?После Error линковка не производится, ибо не создается объектный файл.

2. Если читать документацию внимательно, то в ней сказано (и из названия ошибки следует), что Internal Error - внутреняя ошибка (бага) компилятора. В этом случае надо отправлять баг-репорт в IAR:

1. Правильно делает. Я и говорю, что я за то, чтобы он так делал и впредь.

2. Именно из-за того, что компилятор недоработан, он выдаёт Internal Error, а не что-то внятное-понятное.