On Fri, Dec 02, 2011 at 10:37:03PM +0100, Jan Engelhardt wrote: > None. There is no way to say with absolute confidence that t->root is > always NULL or never NULL. It complains because it sees that you are trying to check the pointer for NULLness, but it can't prove that the branch has a check for it. Joerg