diff options
author | Ivan A. Kosarev <ikosarev@accesssoftek.com> | 2017-12-18 20:05:20 +0000 |
---|---|---|
committer | Ivan A. Kosarev <ikosarev@accesssoftek.com> | 2017-12-18 20:05:20 +0000 |
commit | 7c48f0a7688e476533ea4e6bfef444e3af17ba3e (patch) | |
tree | 010acd8a799b3561fdecd43f9bf9fcddde13fa69 /utils | |
parent | 833c4754718c4f5326eda59926a8c06a271ebe76 (diff) |
[Analysis] Generate more precise TBAA tags when one access encloses the other
There are cases when two tags with different base types denote
accesses to the same direct or indirect member of a structure
type. Currently, merging of such tags results in a tag that
represents an access to an object that has the type of that
member. This patch changes this so that if one of the accesses
encloses the other, then the generic tag is the one of the
enclosed access.
Differential Revision: https://reviews.llvm.org/D39557
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@321019 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'utils')
0 files changed, 0 insertions, 0 deletions