On Fri, Oct 17, 2025 at 8:53 AM Harald Achitz via SG15 <
sg15_at_[hidden]> 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