Давно ищу причину UB в большом проекте. Минимальный пример сделать

Question

Давно ищу причину UB в большом проекте. Минимальный пример сделать

не удалось, но сделал не минимальный, в котором воспроизводится "плохое поведение" программы. Там, в частности, происходит виртуальный вызов метода и в этот момент происходит SF. Сборка проекта при этом должна происходить с флагами -fdevirtualize и -finline-small-functions. В противном случае все работает правильно.

Сегодня наткнулся на статью. Там говорится, что нужно избегать слова final, так это может привести к тому, что компилятор ошибется при оптимизации. А у меня тот самый виртуальный метод был как раз помечен как final. Я убрал его и программа отработала правильно 😳.

Кто-то сталкивался с подобным? Можете прокомментировать?

#c++ #embedded #programming #russian

0

25.10.2023

16 ответов

21 просмотр

Kelbon

Ну либо компилятор конкретно ваш плохой, либо внутри виртуальной функции меняется динамический тип объекта, либо его втейбл

0

25.10.2023

usernameak

звучит скорее как баг в компиляторе

0

25.10.2023

d7d1cd Автор вопроса

Alexander Karaev
> Там говорится, что нужно избегать слова final, т...

Сорри за введение в заблуждение. Действительно, такого там нет. Но тем не менее, не использование final, на первый взгляд, решило проблему...

0

25.10.2023

d7d1cd Автор вопроса

Kelbon
Ну либо компилятор конкретно ваш плохой, либо внут...

Внутри виртуальной функции просто std::cout

0

25.10.2023

Kelbon

d7d1cd
Внутри виртуальной функции просто std::cout

ну без кода непонятно

0

25.10.2023

Alexander Karaev

d7d1cd
Сорри за введение в заблуждение. Действительно, та...

Наличие final позволяет сделать чуть больше оптимизаций. Если оптимизации приводят к крашу, значит либо в коде UB (по везению не воспроизводится без оптимизаций), либо баг в компиляторе

0

25.10.2023

d7d1cd Автор вопроса

Kelbon
ну без кода непонятно

MRE, к сожалению, подготовить не удалось пока.

0

25.10.2023

Dmitry Sokolov

А уж не из конструктора/деструктора ли вызов делается?

0

25.10.2023

d7d1cd Автор вопроса

Dmitry Sokolov
А уж не из конструктора/деструктора ли вызов делае...

Нет

0

25.10.2023

Dmitry Sokolov

d7d1cd
Нет

А вызов делается через объект final или derived класса? Судя по флагам именно этот вызов должен быть заинлайнен чтобы поломалось. Может оно как то не кастует указатель из derived при инлайне, надо disasm смотреть

0

25.10.2023

d7d1cd Автор вопроса

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

0

25.10.2023

Alexander Karaev

d7d1cd
Вызов виртуального метода делается из базы, этот м...

И метод, вызывающий метод, вызывается не из конструктора базы? Просто уточняю, что запрещено вызывать из конструктора не только напрямую, но и с какими-то промежуточными вызовами

0

25.10.2023

Dmitry Sokolov

d7d1cd
Вызов виртуального метода делается из базы, этот м...

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

0

25.10.2023

d7d1cd Автор вопроса

Alexander Karaev
И метод, вызывающий метод, вызывается не из констр...

Нет. Создаётся объект на стеке. После этого у него вызывается метод.

0

25.10.2023

Dmitry Sokolov

d7d1cd
Нет. Создаётся объект на стеке. После этого у него...

Ага, то есть фактически компилятор знает тип и этот вызов может таки быть девиртуализирован.

0

25.10.2023

Alexander Karaev · Accepted Answer

Alexander Karaev

> Там говорится, что нужно избегать слова final, так это может привести к тому, что компилятор ошибется при оптимизации Где конкретно это написано? Не смог найти

0

25.10.2023

170 похожих чатов

Давно ищу причину UB в большом проекте. Минимальный пример сделать

16 ответов

Похожие вопросы