The example case is flagged by a number of static checkers, for example Coverity, as a likely error (pointer is dereferenced before it is tested for null).