Смотрите какое веселье в GCC https://godbolt.org/z/PGY1osxsa Компилятор передаёт адрес стораджа для

Question

Смотрите какое веселье в GCC https://godbolt.org/z/PGY1osxsa Компилятор передаёт адрес стораджа для

NRVO x, а потом думает, что этот адрес алиасится с пользовательским параметром

Кто-нибудь знает, на основании какого пункта стандарта clang проводит оптимизацию?

#c++ #embedded #programming #russian

0

21.05.2021

10 ответов

23 просмотра

Egor Suvorov

Я бы ожидал что-то вроде «нельзя получить указатель на кусок памяти для automatic storage, пока там не появился объект» (нет операций, которые могут это сделать) + «указатель был создан до вызова функции => до локального объекта»

0

21.05.2021

Андрей Руссков

возможно (относительно) простая эвристика что адрес на переменную с automatic storage не мог существовать до создания переменной?

0

21.05.2021

🐙 Antony Polukhin Автор вопроса

Denis P
а где тут алиасинг?

если закоментить запись в data, то GCC начинает понимать что int внутри созданного типа не алиасится с data и равен 0

0

21.05.2021

Андрей Руссков