malloc: elaborate on r334545 due to frequent questions
While here annotate the NULL check as probably true.