search for: bcf5d8d2

...er metadata to become invalid. This is true. This is an area where LLVM's preference for practicality over absolute correctness may be observed. Dan -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20121026/bcf5d8d2/attachment.html>

On 10/25/2012 5:36 PM, Dan Gohman wrote: > > First, yes, it is wrong for AliasAnalysis implementations to trust LLVM > IR types, for the most part. There's nothing in LLVM IR which would > prevent you from having two myStruct instances which overlap here, > sharing 4 bytes. Because of that, next really could be equal to &prev. > > In theory, you could help this