C++23's [[assume]]

[lefticus]

https://en.cppreference.com/w/cpp/language/attributes/assume

[lefticus]

Here's an example https://compiler-explorer.com/z/jMh8fz7nK

[lefticus]

Coming in episode 412

[nandanvasudevan]

After defining a body for get_ptr() I am not able to see any improvement with [[assume]].
Why do you think that is?

https://compiler-explorer.com/z/vPWcoo5o6

[LB--]

@nandanvasudevan The link you posted seems to show proper optimized assembly output, but you left it on GCC trunk so the compiler has likely been updated since you posted the link. I suppose the answer to your question is that it was a GCC bug that has since been fixed.