Ошибки компилятора

[zHz00]

Если программировать достаточно долго, то рано или поздно на них наткнёшься. Ошибки в компиляторах редкость, но иногда они всё же есть. Нахождение такой ошибки -- целое событие. А искать её можно очень долго. Это самые поганые ошибки, потому что компилятор -- последнее, на что думаешь, когда что-то идёт не так. Но сбрасывать его со счетов нельзя.

В одних компиляторах ошибок больше, в других меньше. Часто жалуются на ошибки в компиляторе для PIC32.

У меня было две ситуации.

Первая оказалась багом интерактивного отладчика, а не компилятора. Суть бага была в том, что я присваивал переменной значение, а оно при наведении мышкой не отображалось (отображалось старое или вообще постороннее). Всё работало правильно, но на ходу я не мог посмотреть значения переменных. ОКАЗАЛОСЬ, что отладчик иногда неверно находил адрес переменных. Он считал, что переменная расположена в регистре процессора, и отображал значение оттуда. А переменная на самом деле располагалась в памяти. Долго я думал, что дело в компиляторе, поэтому путём махинаций менял расположение переменных. После этого отладчик начинал воспринимать адреса правильно и всё показывать.

Вторая ситуация произошла недавно, и я так и не знаю, что это было и в чём причина. Функция математической обработки работала правильно год или два, но внезапно стала выдавать дичь. Несколько часов отладки выдали удивительный результат. ОКАЗАЛОСЬ, что float-значение, передающееся через параметр, не доходит до внутренностей функции. На входе никель, а на выходе -- пуговица. Конкретнее, я передаю, скажем, 5.0f, а в начале выполнения функции в переменной находится -3.2e19f. Это просто непостижимо. Я убрал все вычисления, все преобразования типов, стал просто передавать в функцию число -- но это не помогло. Я залез в дизассемблер, но увидел там фигу, потому что ассемблера PIC32 я как раз и не знаю (этот пробел надо восполнить; код вызова я сохранил). После некоторых колебаний я заменил аргумент с типа float на long double, тем более что все вычисления делались именно с long double. И... всё заработало.

Это однозначно указывает на ошибку компилятора, но что конкретно происходит, почему, и при каких условиях -- я пока не знаю.

Comments

[RetXiRT suiR@ttig@$]

Для такого нужен новый тэг - zHz Bizarre Programming Adventures.

[Xersareeth]

> компилятор -- последнее, на что думаешь
а как же ошибки в процессоре?)

[zHz00]

RetXiRT suiR@ttig@$, это повседневность.
Xersareeth, ошибки в процессоре должен учитывать компилятор. Если компилятор этого не делает, то это ошибка компилятора.

[Xersareeth]

zHz00, а ошибки в компиляторе должен учитывать... zHz! =P

[zHz00]

Xersareeth, именно! Увы, если в компиляторе ошибка, то либо переходить на другой (другую версию), либо использовать обходные пути.

[RetXiRT suiR@ttig@$]

Ну дык для Жожей это тоже повседневность. А для тех, кто не обладает такой силой (intended) - очень даже себе приключения.

[Стороной]

А что там в PIC32, MIPS стоит?

[zHz00]

Стороной, да.

[Стороной]

zHz00, м. Не считая слота задержки, ассемблер довольно классический...

[zHz00]

Стороной, чё почитать для введения? А не для введения?

[Стороной]

zHz00, а чёрт его знает... Я просто по работе знаком с архитектурой MIPS, так вышло. Применительно к микроконтроллерам, думаю, на самом сайте должно быть что-то из доков... Не MIPS architecture ж читать, там лишнего много....

[zHz00]

Стороной, ооо, можно будет к тебе с вопросом обратиться, если возникнет?

[Стороной]

zHz00, ага, конечно.