On 9/1/2010 19:50, Ted Kremenek wrote: > Hi Sascha, > > I have file PR 8052 to track this issue: > > http://llvm.org/bugs/show_bug.cgi?id=8052 Thanks Ted, this fixes the issue here. Regards, Sascha