diff options
author | Tom Stellard <thomas.stellard@amd.com> | 2016-10-28 15:32:28 +0000 |
---|---|---|
committer | Tom Stellard <thomas.stellard@amd.com> | 2016-10-28 15:32:28 +0000 |
commit | 13068995b9c397a6cfcc6243fa47d1e8edad0f21 (patch) | |
tree | 928bca7e7cae3859211f2d1bc31ea6ff01f59502 /llvm/lib/Analysis/Loads.cpp | |
parent | d01fcc71590c320b4c7d111876c81bd3adc3e230 (diff) | |
download | bcm5719-llvm-13068995b9c397a6cfcc6243fa47d1e8edad0f21.tar.gz bcm5719-llvm-13068995b9c397a6cfcc6243fa47d1e8edad0f21.zip |
[Loads] Fix crash in is isDereferenceableAndAlignedPointer()
Summary:
We were trying to add APInt values with different bit sizes after
visiting an addrspacecast instruction which changed the bit width
of the pointer.
Reviewers: majnemer, hfinkel
Subscribers: hfinkel, wdng, llvm-commits
Differential Revision: https://reviews.llvm.org/D24774
llvm-svn: 285407
Diffstat (limited to 'llvm/lib/Analysis/Loads.cpp')
-rw-r--r-- | llvm/lib/Analysis/Loads.cpp | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/llvm/lib/Analysis/Loads.cpp b/llvm/lib/Analysis/Loads.cpp index af7ccb9dfc9..e46541e6538 100644 --- a/llvm/lib/Analysis/Loads.cpp +++ b/llvm/lib/Analysis/Loads.cpp @@ -91,8 +91,11 @@ static bool isDereferenceableAndAlignedPointer( // then the GEP (== Base + Offset == k_0 * Align + k_1 * Align) is also // aligned to Align bytes. - return isDereferenceableAndAlignedPointer(Base, Align, Offset + Size, DL, - CtxI, DT, Visited); + // Offset and Size may have different bit widths if we have visited an + // addrspacecast, so we can't do arithmetic directly on the APInt values. + return isDereferenceableAndAlignedPointer( + Base, Align, Offset + Size.sextOrTrunc(Offset.getBitWidth()), + DL, CtxI, DT, Visited); } // For gc.relocate, look through relocations |