On Fri, Oct 17, 2025 at 8:53 AM Harald Achitz via SG15 <sg15@lists.isocpp.org> wrote:

Today's

void fun(Foo* ptr)  {
my_supper_assert_macro (ptr!=nullpter);
my_supper_assert_macro(ptr->hasData());
 }

should not have any problems, ever

AFAIU, if my_supper_assert_macro implements something equivalent to observe, that is still UB at present. Or is it EB now?

--

-- René Ferdinand Rivera Morell
-- Don't Assume Anything  -- No Supongas Nada
-- Robot Dreams - http://robot-dreams.net

On devices that keep you alive, one example where I have seen such super asserts in action, contracts are contracts They do not exist only sometimes. 

I am not even sure if contracts as specified would pass regulatory requirements, I think not. 

/Harald