On Mon, Mar 09, 2020 at 01:34:23PM +0100, Kamil Rytarowski wrote: > We instruct a C compiler that pointer used in the pserialize macros is > never NULL, as the side effect of adding to it 0.
I question that side effect. The C++ standard disagrees with your interpration, I have not seen clear statements in any official C standard, and we have been discussing here tons of totally unrelated things. Untill proven otherwise I consider that ubsan behaviour a bug. Martin