> The problem is the code unconditionally dereferences the pointer, which would be UB if it was a null pointer.
replyOnly when NDEBUG is defined, right?
No, the code that does this is always active
replyRight so strictly speaking C++ could do anything here when passed a null pointer, because even though assert terminates the program, the C++ compiler cannot see that, and there is then undefined behaviour in that case
reply