News for hackers. Stuff that matters.

A comment on C++ Attribute: Likely, Unlikely. Parent comment

Re:C++ Attribute: Likely, Unlikely by pjmlp on Monday October 23, 2023 @02:17AM (#37982171)
That is also covered by new C++ attributes, namely [[assume(expr)]].

However better not give data to the function that contradicts the condition if you don't want to figth nasal daemons.

[ Parent | on HN ]
Re:C++ Attribute: Likely, Unlikely by JonChesterfield on Monday October 23, 2023 @06:27AM (#37983743)
Glad assume(expr) is available, if it maps onto builtin-expect but confused by the UB reference. Why would taking the less likely path be undefined behaviour?

Edit. It's because assume does not map to expect, it maps to builtin_assume. So that's just another way to write undefined c++.

[ Parent | on HN ]
Re:C++ Attribute: Likely, Unlikely by pjmlp on Monday October 23, 2023 @07:35AM (#37984220)
Ah, I thought it was the same, I spend most of my C++ coding time on VC++ anyway.
[ Parent | on HN ]