Is this what you're looking for: http://www.playingwithpointers.com/check-widening-in-llvm.ht... ?