[uecker]

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