Телеграмм чат группы ProCxx страница 15132

20:19пожаловаться #2

это первый мой вопрос. что я ничего не упускаю. Второй, это реально что такое бомбанет на gcc или clang?

20:19пожаловаться #3

это первый мой вопрос. что я ничего не упускаю. Второй, это реально что такое бомбанет на gcc или clang?

Ты уже разыменовал const int64_t*?

20:23пожаловаться #4

а реально может сегфолтнуть? а то меня убеждают что это все теория

Прочитай где угодно про strict aliasing, узнаешь.

Ты уже разыменовал const int64_t*?

нет еще, но возможно его разыменуют

Прочитай где угодно про strict aliasing, узнаешь.

я в курсе, как раз на cppreference читаю, хочу просто узнать это теоретическая возможность или реальная

20:27пожаловаться #7

я в курсе, как раз на cppreference читаю, хочу просто узнать это теоретическая возможность или реальная

Как уб может быть нереальным? Это же не разыменование нулл поинтер валуева. Кстати какое значение у тебя в uint8_t*?

20:28пожаловаться #8

а реально может сегфолтнуть? а то меня убеждают что это все теория

да, если операция над этим указателем требует выравненного (aligned) адреса

20:30пожаловаться #9

на уровне машинного кода

20:30пожаловаться #10

For example, on ARM, there is LDRD instruction, which needs aligned memory address.

20:31пожаловаться #11

Vlad Serebrennikov

For example, on ARM, there is LDRD instruction, which needs aligned memory address.

спасибо

20:32пожаловаться #12

причем сегфолтить будет в 87,5% случаев

20:33пожаловаться #13

Vlad Serebrennikov

For example, on ARM, there is LDRD instruction, which needs aligned memory address.

а что если было аллоцировано с помощью malloc? Тогда выравнивание годится для любого типа

20:33пожаловаться #14

именно по этой причине

20:33пожаловаться #15

magras in pro.cxx

vehlwn

Прочитай где угодно про strict aliasing, узнаешь.

Кажется в случае

static_assert(std::is_same_v<uint8_t, unsigned char>);

проблем с aliasing'ом нет. Я вижу только потенциальные проблемы со временем жизни.

20:34пожаловаться #16

magras

Кажется в случае

static_assert(std::is_same_v<uint8_t, unsigned char>);

проблем с aliasing'ом нет. Я вижу только потенциальные проблемы со временем жизни.

да но тут int64

20:34пожаловаться #17

magras

Кажется в случае

static_assert(std::is_same_v<uint8_t, unsigned char>);

проблем с aliasing'ом нет. Я вижу только потенциальные проблемы со временем жизни.

Да, но в вопросе автора не было никаких гарантий про uint8.

https://t.me/ProCxx/392913

20:34пожаловаться #18

magras in pro.cxx

vehlwn

Да, но в вопросе автора не было никаких гарантий про uint8.

Pepe 🐸 in pro.cxx

reinterpret_cast<const int64_t*>(ptr) где ptr это uint8_t* это УБ?

20:35пожаловаться #19

magras in pro.cxx

magras

Кажется в случае

static_assert(std::is_same_v<uint8_t, unsigned char>);

проблем с aliasing'ом нет. Я вижу только потенциальные проблемы со временем жизни.

Ну и с выравниванием в этом случае тоже не будет проблем.