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?

Thanks
Dani

--

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

_______________________________________________
SG15 mailing list
SG15@lists.isocpp.org
https://lists.isocpp.org/mailman/listinfo.cgi/sg15