Keil Armclang с опцией LTO удаляет переменную

ElecDron

Добрый день.
При компиляции приложения возникла данная проблема:

Код:

.\Objects\Firmware.axf: Error: L6137E: Symbol abort was not preserved by the LTO codegen but is needed by the image.

Возникает она вот здесь:

Код:

void Core::run()
{
    while(true)
    {
        _isRunning = true;
        (this->*_handler)(); // вот тут ошибка
    }
}

Стоит только закомментировать данную строку, как компиляция проходит успешно. Переменная _handler содержит указатель на метод-член класса Core. Ее значение меняется в обработчике прерывания:

Код:

...
if(state)
{
    // ...
     this->_changeMode(&Core::_autoModeHandler);
}
else
{
    // ...
    this->_changeMode(&Core::_freeModeHandler);
}

Код:

void _changeMode(Handler handler)
{
    _isRunning = false;
    _handler = handler;
}

Может у кого была подобная ошибка, как ее исправить? Может на ассемблере это можно переписать, вдруг так сработает... Суть - хранить указатель на метод и иметь возможность его вызвать.

evsi

ElecDron писал(а):

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

Не сталкивался сам, но по уму должен быть какой-то способ сказать компилятору, что функция или переменная реально нужны. Для GCC это выглядит так:

Код:

void dummyFunction(void) __attribute__((used));

// Never called.
void dummyFunction(void) {
    vTaskSwitchContext();
}

Думаю, для кейла должно быть что-нибудь подобное.

ElecDron

Вот, удалось воспроизвести вне приложения. Keil 5.24a, компилятор ARM Compiler 6.7, режим С++14. Опция lto включена.

Код:

void test()
{
    volatile int* qqq = reinterpret_cast<int*>(0x100500);
    *qqq = 1;
}

void test2()
{
    volatile int* qqq = reinterpret_cast<int*>(0x100500);
    *qqq = 1;
}

bool dummy()
{
    volatile int* qqq = reinterpret_cast<int*>(0x100500);
    return *qqq > 0;
}

int main()
{
    using Handler = void (*)();
    Handler qwerty;
    if(dummy()) qwerty = &test;
    else qwerty = &test2;

    qwerty(); // а если закомментировать, то нормально...

    while(true);
}

Как тогда сохранить указатель на функцию/метод???

evsi

ElecDron писал(а):

Как тогда сохранить указатель на функцию/метод???

Добавление __attribute__((used)) к функциям помогает?

Нашел в кейловских доках (http://www.keil.com/appnotes/files/apnt_298.pdf):
...
Functions can be marked with the used attribute to prevent elimination. For example:

Код:

void foo2 (void) __attribute__((used)) {
 i = -1;
}

...

Reflector

ElecDron писал(а):

Вот, удалось воспроизвести вне приложения. Keil 5.24a, компилятор ARM Compiler 6.7, режим С++14. Опция lto включена.

Код:

void test()
{
    volatile int* qqq = reinterpret_cast<int*>(0x100500);
    *qqq = 1;
}

А что за адрес 0x100500? Это же не RAM и даже не флеш...

ElecDron

Нет, не помог атрибут used. И волатильность для переменной qwerty тоже не помогает.
Aдрес 0x100500 - это просто число. Чтобы что-нибудь было в теле функции.
А вы сами скопируйте тот код и попробуйте скомпилировать его. Зависимостей внешних нет.

dosikus_2

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

Easyelectronics.ru

Keil Armclang с опцией LTO удаляет переменную

Кто сейчас на конференции