if(a && a->b) {...}

&& всегда слева направо выполняется, если a==0, то разыменование нулевого указателя не произойдет?