On 2025-10-17 16:00, René Ferdinand Rivera Morell wrote:
> 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


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