diff options
author | Anna Thomas <anna@azul.com> | 2020-05-14 09:15:57 -0400 |
---|---|---|
committer | Anna Thomas <anna@azul.com> | 2020-05-14 10:03:30 -0400 |
commit | bb308b020522420413c7d3f2989a88f2fc423c56 (patch) | |
tree | 68c0ebcb71fbfc24edbf419417cec8606c075f7d /clang/lib/Basic/SourceManager.cpp | |
parent | eb50b643fe00171823e055f7801e6610ee7bdef7 (diff) | |
download | llvm-bb308b020522420413c7d3f2989a88f2fc423c56.zip llvm-bb308b020522420413c7d3f2989a88f2fc423c56.tar.gz llvm-bb308b020522420413c7d3f2989a88f2fc423c56.tar.bz2 |
[RS4GC] Fix algorithm to avoid setting vector BDV for scalar derived pointer
Summary:
This is a more general fix to 59029b9eef23 (D75704).
This patch does the following:
1. updates isKnownBaseValue to account for base pointer and
derived pointer having differing types.
2. This inturn allows us to populate the
lattice (States) for such derived pointers.
3. It also updates all states where the base and derived pointers have
differing types (vector versus scalar) and conservatively marks these
states as conflictcs.
Note that in 59029b9eef23, we were just fixing existing lattice values
and that too, only for uses of extractelement.
Reviewers: reames, skatkov, dantrushin
Reviewed By: skatkov
Subscribers: hiraditya, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D76305
Diffstat (limited to 'clang/lib/Basic/SourceManager.cpp')
0 files changed, 0 insertions, 0 deletions