JuliaLang/julia — pull request #5651 by ivarne (2014-02-02 20:18:12+00:00)
Title: Fix Dereference after null check (coverty.com bug)

In at least two places in Julia, a pointer is checked for possible NULL value before it is passed to julia_type_of(). This indicates that the function should be able to handle NULL values.

According to the LLVM [docs](http://llvm.org/docs/ProgrammersManual.html#the-isa-cast-and-dyn-cast-templates), dyn_cast<> will dereference the pointer, and thus crash if the pointer is NULL. A few lines further down it mentions dyn_cast_or_null which will propagate a NULL value.