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

Программа собирается с -О1 и работает прекрасно. Однако стоит добавить

флаг -fdevirtualize и происходит SF. Подскажите, проблему точно стоит искать в виртуальных методах/их вызовах или же в силу подлой сущности UB проблема может быть где угодно?

28 ответов

10 просмотров

где угодно плюс-минус

Ну так берете отладчик и смотрите. Оно же падает в конкретном месте, вот и проверяйте что происходит именно там

d7d1cd- Автор вопроса
Boris Usievich
Ну так берете отладчик и смотрите. Оно же падает в...

Попробовал сначала запуск под valgrind. Он говорит: ==19389== Use of uninitialised value of size 8 ==19389== at 0x40BB08: ... Под ассемблером нашел этот адрес:: 40bb08: c3 retq И да, именно при попытке возврата исполнение попадет черт знает куда. Выяснил, что на фрейме этой функции есть две инструкции sub $8,%rsp и только одна add $8,%rsp. Как будто компилятор забыл это сделать...

Ну, размер 8, виртуальные функции... Вполне вероятно, что тебе затирает таблицу виртуальных методов какого то класса

d7d1cd- Автор вопроса
Ilya Zviagin
Ну, размер 8, виртуальные функции... Вполне вероя...

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

d7d1cd
Допустим, что это так. Но тогда почему в бинаре не...

Он должен быть там где константы вроде же

Не могу знать, А как это связано с твоей проблемой?

ну так берете этот TU и изучаете

d7d1cd
Допустим, что это так. Но тогда почему в бинаре не...

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

d7d1cd- Автор вопроса
Ilya Zviagin
Не могу знать, А как это связано с твоей проблемой...

Я предполагаю, что уже на этапе компиляции из-за UB компилятор понял, что печататься этот литерал не будет и выкинул его.

d7d1cd- Автор вопроса
Boris Usievich
ну так берете этот TU и изучаете

Я сократил проект до одной TU. Как ее изучать? Какие варианты накините?

d7d1cd- Автор вопроса
Denis
Выкиньте половину кода, проверьте, падает ли, и по...

Так и делаю. На текущем этапе небольшое изменение кода скрывает UB, хотя при этом проект все еще достаточно большой.

d7d1cd- Автор вопроса
Alex
gcc/clang ubsan не помогает?

Когда компилишь с UBsan-ом, UB сразу пропадает )

d7d1cd
Допустим, что это так. Но тогда почему в бинаре не...

посмотрите, во что превращается функция, в которой этот литерал используется

d7d1cd- Автор вопроса
Denis
посмотрите, во что превращается функция, в которой...

В этой функции 3 строки: печать до вызова виртуального метода, вызов этого метода и печать после вызова. Вот то, что до вызова - печатается, то что в самом виртуальном методе тоже. И все. Больше ничего не печается.

d7d1cd
В этой функции 3 строки: печать до вызова виртуаль...

Так может там в какой-нибудь printf что-то неправильно передаётся?

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

Там просто std::cout << "text" << std::endl;

d7d1cd
В этой функции 3 строки: печать до вызова виртуаль...

Видимо вы путаетесь вызвать виртуальную функцию, которой нет :)

d7d1cd- Автор вопроса
Boris Usievich
Видимо вы путаетесь вызвать виртуальную функцию, к...

Тогда как она вызывается в дебаг режиме? Если ее нет )

d7d1cd
Тогда как она вызывается в дебаг режиме? Если ее ...

Можно и ассемблер посмотреть куда джампаешь

d7d1cd- Автор вопроса
Vlad Doc
Можно и ассемблер посмотреть куда джампаешь

Уже смотрел. На инструкции ret мы улетаем в никуда, потому что адрес возврата хрен пойми какой.

d7d1cd
Уже смотрел. На инструкции ret мы улетаем в никуда...

Теперь найди что адрес возврата перезаписало

d7d1cd- Автор вопроса
Vlad Doc
Теперь найди что адрес возврата перезаписало

А его не перезаписало. Там просто... Вот тут описано.

d7d1cd
А его не перезаписало. Там просто... Вот тут описа...

Если у тебя -O1 работает сравни выхлоп

d7d1cd
Уже смотрел. На инструкции ret мы улетаем в никуда...

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

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

Обсуждают сегодня

А как старый хаскел с новым стыковать ? потому как тут работает https://play.haskell.org/saved/C3xpMzcd, а вот тут https://stepik.org/lesson/7602/step/9?unit=1473 нет ошибка C...
Fedor
131
что насчет пагинга? на осдеве непонятно(
Vi Chapmann 🪙
26
Вопрос я правильно понимаю что в коде newtype ArrowMap k v = ArrowMap { getArrowMap :: k -> Maybe v } getArrowMap есть функция типа k -> Maybe v, если да, то не понимаю задач...
Fedor
64
Ребят, что лучше для реверса: гидра или ида?
En Vind Av Sorg
26
Делаю велосипед логгер. К сообщению хочу прикрутить некоторую информацию, типа, кем отправлено, какой уровень, и всякое такое. И тут подумалось мне, почему бы не хранить весь...
Serjone
24
Как Вы считаете нормально ли в двадцатых годах 21 века в ВУЗах Российской Федерации обучать студентов работе с TASM? Не слишком ли это "архаично"? (Если оффтоп или флейм для э...
Spiker01
52
Комрады, хотел уточнить. Проперть в OnDestroy юнита-хозяина по-прежнему доступна? И еще уточнение: finalization юнита наступает раньше или позже OnDestroy?
Ed Doc
48
Продолжая диалог про свифт в проде – сейчас возник вопрос в активном наборе бекендеров. В основном в нашей компании мы фанаты Java Spring и полностью ей довольны. Однако найм ...
Guseyn
27
Читаю сейчас [нет, уже больше не читаю!] курсовую о Булгакове, написанную, похоже, с помощью ChatGPT. Это удивительный психоделический опыт. Текст в основном написан в стиле б...
✨ Uni [🌊 В отпуске]
1
если загрузчик efi? если сама PML4 PDPT PDT PT лежит в неудобном для меня месте?
Vi Chapmann 🪙
8
Карта сайта