Почему компилятор IAR застревает?

Question

В моем внедренного проекта, используя IAR EWARM Dev инструменты (v7.10.3), я следующий кусок кода:

/* 1 */ uint32_t packet_sync = 0; 
/* 2 */ uint32_t synced  = 0; 
/* 3 */ uint32_t gpio  = 0; 

/* 4 */ while (1) { 
/* 5 */  if ((packet_sync != 0) && ((packet_sync = gpio) == 0)) { 
/* 6 */  if (synced < 2) { 
/* 7 */   synced++; 
/* 8 */  } 
/* 9 */  } 
/* 10 */ }; 

С какой-то причине, когда я компиляции кода, компилятор застревает в в середине компиляции. Я попытался поиграть с различными конструкциями, и, похоже, любые незначительные изменения, которые я делаю, устраняет проблему (но может также сделать код неправильным). Например, добавление NOP в # 6а, а код делает компиляции успешно:

/* 6 */  if (synced < 2) { 
/* 6a */   __NOP(); 
/* 7 */   synced++; 
/* 8 */  } 

Другие примеры успешных изменений удаления строки # 7 или изменение линии № 5, как:

/* 5 */  if ((packet_sync != 0) && ((gpio) == 0)) { 

и еще несколько вариантов.

Я не вижу нарушения правила C в проблемном коде, и он просто компилируется в Visual Studio 2013. Я что-то пропустил? Почему этот код не компилируется?

^{* Примечание: представленный код является выпиской из фактического кода и является логически бессмысленным.}

---

Update: код компилируется с "High"/"Сбалансированный" уровень оптимизации. При более низких уровнях оптимизации компиляция заканчивается просто отлично.

Он также застревает при использовании «Высокого» уровня, но удаляет параметры оптимизации в поле «Включенные преобразования:». Также застрял для опций «Скорость» и «Размер».

Answer 1

Если компилятор буквально «застревает», т. Е. Замерзает, поэтому вам нужно убить процесс, тогда это, конечно, ошибка компилятора.

Выяснение причин, почему кусок кода (= компилятор) мы не видели перерывов для конкретного ввода очень сложно.

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

Answer 2

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

Answer 3

Оптимизация - самая сложная часть любого компилятора и, следовательно, наиболее вероятное место для компилятора - особенно для компилятора «узкого рынка» с небольшой командой разработчиков и меньшего числа, если пользователи используют компилятор настольных систем.

Применение оптимизации имеет два последствия, о которых вам следует относиться с осторожностью; Сам компилятор может быть ошибкой (как представляется, в этом случае), и любая область «неопределенного поведения» в вашем собственном коде может изменить поведение при оптимизации. Если вам нужно использовать оптимизацию, вам нужно быть готовым к проверке широко - сгенерированный код не обязательно эквивалентен сборке отладки/разработки.

В этом случае вы должны обязательно сообщить об этом поставщику, в идеале, с действительно составленным примером и конфигурацией проекта.Чтобы решить вашу непосредственную проблему, разумное использование ключевого слова volatile может решить проблему - оптимизатор будет работать, чтобы устранить переменные, которые, как представляется, не имеют никакого эффекта, - если вы можете избежать того, что оптимизатор использует тот же путь, вы можете избежать ошибки. Если вы не используете volatile правильно, your code may well exhibit bugs в любом случае при оптимизации. В вашем примере некоторые переменные, безусловно, должны быть объявлены нестабильными, но поскольку этот пример не является «реальным», а «иллюстративным», это невозможно сообщить.

Другая возможность в качестве обходного пути - выборочно отключать оптимизацию для этого раздела кода или исходного файла. Вам действительно нужна оптимизация, чтобы ваш код работал вообще? Если нет, я бы посоветовал избежать этого в любом случае - не используя оптимизацию, избегает изменений в поведении между отладочным и выпущенным кодом и упрощает отладку в первом случае. Я бы посоветовал использовать оптимизацию в качестве решения проблемы с размером кода или проблемами, связанными с производительностью, когда и если они возникают, а не как само собой разумеющееся.