[jacquesm]

Indeed, at a minimum you should be able to enforce that check using a compiler flag.

[uecker]

You can add that check using -fsanitize=null (and you may want to turn the diagnostic into a run-time trap)