ПК
который линкер зарезолвит
Size: a a a
2020 December 07
SS
ну я об этом и спрашивал: адрес должен быть одинаков только между теми TU, которые фактически выполняют операцию взятия адреса?
Ну это под as-if rule явно проходит
ПК
ну я об этом и спрашивал: адрес должен быть одинаков только между теми TU, которые фактически выполняют операцию взятия адреса?
Я не понимаю почему ты
только пишешьПК
Если функция не заинлайнилась, то будет вызов функции по тому же адресу
ПК
но если заинлайнилась, то адреса не будет вовсе, с моей точки зрения это выглядит как нарушение требования "same address"
Нет, даже если функция заинлайнилась у неё может быть адрес на самом деле
ПК
Мы не обязаны выпиливать саму функцию ведь
ПК
Мы просто что то там в месте вызова делаем вместо call, к адресу функции это не относится
DV
Мы просто что то там в месте вызова делаем вместо call, к адресу функции это не относится
Мне влом листинг генерить и смотреть, но вроде бы "Мы просто что то там в месте вызова делаем вместо call" есть ни что иное как "подстановка тела инлайновой функции вот прям там где её вызвали" (возможно даже с эпилогом и прологом).
ПК
Мне влом листинг генерить и смотреть, но вроде бы "Мы просто что то там в месте вызова делаем вместо call" есть ни что иное как "подстановка тела инлайновой функции вот прям там где её вызвали" (возможно даже с эпилогом и прологом).
На код непосредственно функции это прямо не влияет
DV
На код непосредственно функции это прямо не влияет
Это влияет на размер экзэшника ))
ПК
Это влияет на размер экзэшника ))
Разговор был о другом
DV
Разговор был о другом
сорян тогда
KO
Подскажите пожалуйста, где можно внятно посмотреть по поводу того, какие базовые типы type-compatible с точки зрения strict aliasing?
KO
char * и int* ведь type-compatible?
S
char * и int* ведь type-compatible?
Да. char со всем алиасится.
PK
Подскажите пожалуйста, где можно внятно посмотреть по поводу того, какие базовые типы type-compatible с точки зрения strict aliasing?