On Thu, Apr 28, 2011 at 12:27:07PM +0200, Enea Zaffanella wrote: > clang/llvm seems to be a bit inconsistent in this respect. No, it isn't. Just because it doesn't know the value of a pointer doesn't mean that the value pointed to is unknown. Joerg