On: Escape analysis hates copy elision (2021)

[jenadine]

I don't understand what is defeated in your example.

[celrod → jenadine]

I edited to add a godbolt link, but repeating here: https://godbolt.org/z/7vre49xb1

In my example, even though `x` is a `const` local, the assembly still shows that it reloads `x` and adds `1` if we assign to it from a non-const local `y`.

[gameman144 → celrod]

Isn't that expected since 'y' is still non-const though? In your example, I'd expect 'x' to not escape, since a const-cast of it is undefined.

[celrod → gameman144]

Unfortunately, `x` does escape, merely because we initialized it via assigning to it from a non-const.