WinAVR-20080610, делимся впечатлениями Опции

[haker_fox]

Скачал. Установил.
Приятно удивил результат.
Проект скомпилированный на WinAVR-20070525 занимает 6452 байт. Работает. Проект скомпилированный новым компиляторм занимает 5396 байт. Полностью не работает. Детальный анализ пока не проводил. Серьезных багов не видел.
makefile используется один и тот же, только пути разные подставляются для вызова разных версий утилит.
Самое интересное, что при очистке проекта

Код

make clean

вылетает такая ошибка

Код

0 [main] rm 3292 handle_exceptions: Exception: STATUS_ACCESS_VIOLATION
111988 [main] rm 3292 open_stackdumpfile: Dumping stack trace to rm.exe.stackdump
make.exe: *** [clean] Error -1073741819

Компилирует на первый взгляд нормально, но при заливке кода в МК ничего не работает.
Вот...

P.S.
Версия WinAVR-20071221 полет нормальный. Только очистка вылетает с такой же ошибкой.

Свои makefile прикрепляю на всякий случай. Они абсолютно одинаковы, за исключением путей к утилитам пакетов WinAVR.

Прикрепленные файлы

 makefiles.zip ( 5.81 килобайт ) Кол-во скачиваний: 115

 

[timex]

mdmitry, да, спасиб.
при такой записи строки

Код

eeprom_write_block (current_sensor_code, (unsigned int*) EEPROM_SENSOR2_ADR, 8);

варнинг не выдаётся.


Вдогонку!

Обратил внимание, что в окне сообщений компилятора при Rebuld All выдаётся следующее (помечено "!!!!!!!!>"):

Код

Build started 25.9.2008 at 17:14:51
avr-gcc.exe -I"C:\AVRlib"  -mmcu=atmega16 -Wall -gdwarf-2 -std=gnu99 -fgnu89-inline                 -O2 -fsigned-char -MD -MP -MT main.o -MF dep/main.o.d  -c  ../main.c
!!!!!!!!> C:\WINDOWS\Temp/ccFQajf5.s: Assembler messages:
!!!!!!!!> C:\WINDOWS\Temp/ccFQajf5.s:2433: Warning: expression dangerous with linker stubs
!!!!!!!!> C:\WINDOWS\Temp/ccFQajf5.s:2434: Warning: expression dangerous with linker stubs
avr-gcc.exe -mmcu=atmega16  main.o     -o sensor_ibutton.elf
avr-objcopy -O ihex -R .eeprom  sensor_ibutton.elf sensor_ibutton.hex
avr-objcopy -j .eeprom --set-section-flags=.eeprom="alloc,load" --change-section-lma .eeprom=0 --no-change-warnings -O ihex sensor_ibutton.elf sensor_ibutton.eep || exit 0

AVR Memory Usage
----------------
Device: atmega16

Program:    4506 bytes (27.5% Full)
(.text + .data + .bootloader)
Data:        158 bytes (15.4% Full)
(.data + .bss + .noinit)

Build succeeded with 0 Warnings...

файлов таких в c:\windows\temp нету...
где копать?

Сообщение отредактировал timex - Sep 25 2008, 13:14

[_Pasha]

1. по поводу Linker Stubs - это глюки. Здесь уже была тема. Можно (по крайней мере, в предыдущей winavr 2007) не обращать внимания.
2. Вернемся к

Код

eeprom_write_block (current_sensor_code, (unsigned int*) EEPROM_SENSOR2_ADR, 8);

Вроде как правильно, но Вы уверены, что Вам нужен именно (unsigned int*) ? Имхо, бардака в голове только прибавилось.

[timex]

1. по поводу Linker Stubs - это глюки. Здесь уже была тема. Можно (по крайней мере, в предыдущей winavr 2007) не обращать внимания.

Сейчас проверил - появляется только при оптимизации -O1, -O2, -O3. При -Оs и -O0 такого нету... (WinAVR-20071221).

Обновил до 20080512 - глюк перестал проявлятся!

2. Вернемся к

Код

eeprom_write_block (current_sensor_code, (unsigned int*) EEPROM_SENSOR2_ADR, 8);

Вроде как правильно, но Вы уверены, что Вам нужен именно (unsigned int*) ? Имхо, бардака в голове только прибавилось.

Упс, от созерцания прекращения выдачи варнингов незаметил .
Переправил на "(unsigned char*)". Но в данном случае, думается, между int и char нет разницы, т.к. в описании функции стоит "void"...?

Сообщение отредактировал timex - Sep 25 2008, 13:57

[Сергей Борщ]

Переправил на "(unsigned char*)". Но в данном случае, думается, между int и char нет разницы, т.к. в описании функции стоит "void"...?

Если вы хотите писать понятно, то приведите к указателю на тот тип, данные которого записываете, т.е. к тому типу, на который у вас указывает current_sensor_code. Если хотите чтобы было "просто правильно", то приведите к тому типу, который ожидает функция, т.е. к void *. Если хотите через полгода-год, смотря в этот кусок кода, мучительно думать "а какого черта здесь приводится именно к unsigned char *, а не к unsigned int *?" - оставьте так, как есть.

P.S. параметр функции объявлен как void *, потому что к void * неявно приводится любой указатель.

[mdmitry]

Если вы хотите писать понятно, то приведите к указателю на тот тип, данные которого записываете, т.е. к тому типу, на который у вас указывает current_sensor_code. Если хотите чтобы было "просто правильно", то приведите к тому типу, который ожидает функция, т.е. к void *. Если хотите через полгода-год, смотря в этот кусок кода, мучительно думать "а какого черта здесь приводится именно к unsigned char *, а не к unsigned int *?" - оставьте так, как есть.

P.S. параметр функции объявлен как void *, потому что к void * неявно приводится любой указатель.

Сергей Борщ, в функциях типа

Код

memmove

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

[Сергей Борщ]

в функциях типа

Код

memmove

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

Здесь какое-то недопонимание. Внутри функции memmove, memset и т.п. переданный указатель типа void * действительно приводится к тому типу, единицами которого осуществляется копирование, стирание (чаще всего к байту). Но сам параметр функции имеет тип void * чтобы при вызове этой функции можно было использовать любой указатель, не делая явного приведения:

Код

int var1;
unsigned char var2;
struct struct_t
{
    unsigned int a;
    unsigned long b;
} var3;

void Test()
{
    memset(&var1, 0, sizeof(var1));
    memset(&var2, 0, sizeof(var2));
    memset(&var3, 0, sizeof(var3));
}

[mdmitry]

Здесь какое-то недопонимание. Внутри функции memmove, memset и т.п. переданный указатель типа void * действительно приводится к тому типу, единицами которого осуществляется копирование, стирание (чаще всего к байту). Но сам параметр функции имеет тип void * чтобы при вызове этой функции можно было использовать любой указатель, не делая явного приведения

Насколько я понимаю, в прототипе указатели на источник и приемник имеют тип void* с целью дать программисту возможность явного приведения типа указателей как для удобства (работа с конкретными типами данных), так и для контроля типов самим компилятором. Предполагаю, что приведение типа может улучшить как скорость работы функции, так и эффективность использования памяти (дырки и выравнивание). Исходный код этих функций я не смотрел (неверно, неплохо и ознакомиться ).