null pointer dereference detection in DMD

[Richard (Rikki) Andrew Cattermole]

Looks like the C folk are looking at adding nullability qualifier to the 
language to merge the different compiler support.

https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3422.pdf

Related an effect system: 
https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3317.htm

And if anyone is interested as to where you can find these documents: 
https://www.open-std.org/jtc1/sc22/wg14/www/wg14_document_log.htm