avr-libc и uint64_t арифметика, или баг, или я чего-то не понимаю... Опции

[ARV]

Код

volatile uint64_t v1;
volatile uint32_t v2;

int main(void)
{
    v2 = v1/v2;
    PORTD = 12;
    while(1);
}

этот тривиальный код компилируется для attiny2313 в 3940 байтов flash и 278 байт ОЗУ!!!! это как такое называется?! при этом если обе переменные v1 и v2 сделать uint32_t, то размер кода становится практически в 20 раз меньше: 200 байт flash !!! что там такое в libc понаделано, что получается такое разрастание кода?! ведь если руками написать функцию деления "в столбик" - получится код значительно меньше...

P.S. разумеется, оптимизация -Os

[IgorKossak]

ARV, Вы полагаете, что разработчики где-то здесь, чтобы Вам ответить?
Или это просто так, чтобы повозмущаться?

[ARV]

ARV, Вы полагаете, что разработчики где-то здесь, чтобы Вам ответить?
Или это просто так, чтобы повозмущаться?

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

кстати, -lm не помогает уменьшить размер кода.

А в attiny2313 стока есть?

в тини стока нет, но компилятору-то по барабану да и не в тини дело - для меги такой код тоже великоват как-то...