diff options
| author | Roman Lebedev <lebedev.ri@gmail.com> | 2019-12-20 00:04:31 +0300 |
|---|---|---|
| committer | Roman Lebedev <lebedev.ri@gmail.com> | 2019-12-20 01:47:56 +0300 |
| commit | ffcae008d74c2008697211e66a72ff9a20696bc9 (patch) | |
| tree | 1c30593c9d8ee74dcbbe2f53485dfc14338651f0 /llvm/lib/Analysis/ValueTracking.cpp | |
| parent | caaacb83995057b5226db97e5781b6f5f8d5c2b7 (diff) | |
| download | bcm5719-llvm-ffcae008d74c2008697211e66a72ff9a20696bc9.tar.gz bcm5719-llvm-ffcae008d74c2008697211e66a72ff9a20696bc9.zip | |
[NFC][InstCombine] Add a test for assume-induced miscompile
@escape() may throw here, we don't know that assumption, which is located
afterwards in the same block, is executed, therefore %load arg of
call to @escape() can not be marked as non-null.
As noted in D71660 review by @nikic.
Diffstat (limited to 'llvm/lib/Analysis/ValueTracking.cpp')
0 files changed, 0 insertions, 0 deletions
