Пока так и не понял, "--gc-sections" работает без "-ffunction-sections и -fdata-sections"?
Ну поместит компилятор при использовании ключей "-ffunction-sections и -fdata-sections" каждую функцию в ".text.имя_функции", и каждую переменную (глобальную или статическую) в ".data.имя_переменной" (".bss.имя_переменной") и что дальше?
Или линкер не может отбросить при оптимизации функции и просто переменные, которые не используются в программе, т. е., он может отбросить только секции, в которые компилятор и помещает функции/переменные при использовании ключей "-ffunction-sections и -fdata-sections"?

А фиг его знает. Либо меня подводит мой англицкий, либо там написана неправда.
Но по факту точка - это адрес в области, куда помещается секция. Может быть, дело в ">"? Там примеры без ">".

Да, линкер умеет отбрасывать только секции.

Вот и я сомневаюсь... предлагаю подождать Сергея



В итоге.
Секции, перечисленные в команде KEEP() не отбрасываются линкером при чистке мусора (актуально при компиляции с опциями “-ffunction-sections”, “-fdata-sections” и одновременной линковке с опцией “--gc-sections”). При компиляции с опциями “-ffunction-sections” и “-fdata-sections” компилятор помещает каждую функцию и переменную в отдельную секцию вида “.text.имя”, “.data.имя”, “.bss.имя”. Далее, при линковке с опцией “--gc-sections”, линкером отбрасываются все эти входные секции, на которые нет ссылок в программе (нет ссылок на функции и переменные, содержащиеся в них), кроме помеченых KEEP().
Правильно?

Да, всё так.

Я пас.

Да.

Мучает меня вопрос по секциям все-таки...

.init_array - конструкторы EABI.
.ctors - конструкторы не EABI.
Для совместимости лучше использовать в скрипте и то и другое?

.dtors
Деструкторы. EABI? Нет? Все?

Это зачем?
.comment
.line

Можно использовать. Насчёт "лучше" - не уверен. Зачем поддерживать такие старые компиляторы?


Деструкторы нам не нужны. Поэтому мы их игнорируем, где бы они не были размещены.


Не знаю, и знать не хочу!

Насколько старые?
Просто встречаю в других скриптах... видимо, авторы не особо задумывались над этим...



И деструкторы тоже встречаю в других скриптах...
Ну, да... по сути и не нужны деструкторы для глобальных и статических объектов.
Но вдруг у кого-то фантазия проснется и он решит вызвать деструктор?



А вот я хочу, это бодрит

Со счетчиком позиций вопрос пока открыт

Емнимс, уже года три-четыре как перешли на eabi.

Вызвать вручную -- без проблем. Та секция отвечает за автоматический вызов деструкторов при завершении программы.

Мне кажется, что вы уже достаточно прокачали свой уровень по скрипту и стартапу, и уже можно смело двигаться дальше

По факту всё работает как надо. Скорее всего либо мы что-то не так поняли в описании, либо там (в описании) ошибка.

Теперь все поддерживаемые (развиваемые) в данный момент компиляторы компиляторы стали EABI?



А, ну да...
Если хотим автоматом, то используем в скрипте входные секции ".dtors*" (мапим входные куда-нибудь в ".text", наверняка даже с KEEP()). Создаем символы, указывающие на начало и конец области размещения деструкторов в этих секциях, а потом в стартапе после вызова main() в цикле вызываем все деструкторы по указателю, используя выше определенные символы...

Кстати, в ".ctors" (для EABI ".init_array") помещаются только конструкторы по умолчанию, а остальные конструкторы попадают в ".text*"?
А деструкторы-то куда компилятор пихает? По аналогии с конструкторами в ".dtors*"?



Вот-вот... не понятно...

Кстати, зачем такой префикс жуткий "arm-none-eabi-"? И что вообще означает "none-eabi"? Похоже на "не EABI", но ведь компилятор мой однозначно EABI!
Читал, что такой префикс придумали, чтобы отличать от других компиляторов. Но неужели нельзя было придумать что-нибудь покороче и попроще, без двусмысленности?

Поскольку конструкторы являются кодом - они помещаются в .text В .init_array и .ctors в нужном порядке помещаются указатели на них. Собственно вот код их вызова, по нему все понятно:

Это два префикса. -none и -eabi. Гляньте сюда.

Понятно, спасибо.

А с деструкторами все-таки что? Аналогично?
Для EABI и не EABI одинаково?

Мы их не используем, потому и не разбирались. Вы можете сами провести такое исследование и огласить результат.

Судя по всему для EABI, по аналогии с конструкторами (".init_array"), для деструкторов используется ".fini_array".
Вот на эту тему: http://electronix.ru/forum/index.php?showt...=79902&st=0.

Что такое common-символы (секция COMMON)?
Из доки на линкер толком не понял.
Это к вопросу зачем нужно делать *(COMMON).



Но что такое "общие символы (common)" - не раскрывается

Сообщение отредактировал koluna - Jun 20 2013, 08:29