Re: NULL pointer arithmetic issues

[Martin Husemann <martin%duskware.de@localhost>]

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