diff options
| author | zGoldthorpe <zgoldtho@ualberta.ca> | 2025-05-28 04:29:34 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-05-28 12:29:34 +0200 |
| commit | 0291f495dbea64231212a8d51ecef653e10aed33 (patch) | |
| tree | 04756ce8769d26c83114a0d9d2098f57eb37acfc /clang/lib/Lex/ModuleMap.cpp | |
| parent | c4d0d95a4fb92d65594f3575814a027815b5182f (diff) | |
| download | llvm-0291f495dbea64231212a8d51ecef653e10aed33.zip llvm-0291f495dbea64231212a8d51ecef653e10aed33.tar.gz llvm-0291f495dbea64231212a8d51ecef653e10aed33.tar.bz2 | |
[EarlyCSE] Correcting assertion for DSE with invariant loads (#141495)
This patch corrects an assertion to handle an edge case where there is a
dead store into an `!invariant.load`'s pointer, but there is an
interleaving store to a different (non-aliasing) address.
In this case we know that the interleaved store cannot modify the
address even without MemorySSA, so the assert does not hold.
This bug was found through the AMD fuzzing project.
Diffstat (limited to 'clang/lib/Lex/ModuleMap.cpp')
0 files changed, 0 insertions, 0 deletions