On Nov 1, 2009, at 2:11 AM, Duncan Sands wrote: > Hi Chris, > >> + if (Entry->hasAddressTaken()) { >> + Entry->removeDeadBlockAddress(); > > what, the verifier is modifying the bitcode?! This gives "verifying" > a whole new meaning! Fixed in r85722, -Chris