Народ, а можно ли как-то подсказать компилятору GCC и Clang

Question

Народ, а можно ли как-то подсказать компилятору GCC и Clang

что heap-аллокации (через вызов оператор new) не создают сайд-эффектов чтобы компилятор убрал их если он может это сделать?
То есть я хочу чтобы в этой демке https://godbolt.org/z/nfj8YheqE вариант с хип-аллокациями выдавал такой же ассемблерный код как и вариант с аллокациями на стеке

#c++ #embedded #programming #russian

0

12.11.2023

9 ответов

15 просмотров

Богдан Автор вопроса

Kelbon
attribute((malloc))

а где я должен написать этот аттрибут?

0

5 месяцев назад

Kelbon

как там может быть тот же самый код , если там даже delete нет при том что new есть?

0

5 месяцев назад

Богдан Автор вопроса

Kelbon
как там может быть тот же самый код , если там даж...

Если я добавляю delete то ничего не поменяется

0

5 месяцев назад

Богдан Автор вопроса

Kelbon
как там может быть тот же самый код , если там даж...

Я хочу чтобы компилятор рассматривал new как некую аллокацию которая не создает никаких сайд-эффектов и в случае когда компилятор может проанализировать и увидеть что объект больше нигде не используется и никуда не передается то чтобы в этом случае компилятор мог бы не аллоцировать этот объект в хипе

0

5 месяцев назад

Vlad

компиляторам и так разрешено это делать даже при наличии побочных эффектов http://eel.is/c++draft/expr.new#13.sentence-1

0

5 месяцев назад

Богдан Автор вопроса

отлично, тогда может есть возможность заставить Сlang и GCC с аллокацией в хипе выдавать такой же ассемблерный код как и с аллокацией на стеке в демке выше?

0

5 месяцев назад

Kelbon

Богдан
отлично, тогда может есть возможность заставить Сl...

напиши оптимизации в компилятор

0

5 месяцев назад

Vlad

Богдан
отлично, тогда может есть возможность заставить Сl...

я не знаю для этого надо знать проход оптимизации, который это делает. если таковой вообще есть

0

5 месяцев назад