On 27/06/16 12:32, David Holmes wrote: > I wasn't aware that we have any reliance on gcc doing any kind of "null > pointer check" ?? Ah, right, I assumed you'd seen this before. If GCC sees something like a->foo(); if (a) { b(); } it will turn it into a->foo(); b(); This surprises some people, but is quite legal. Andrew.