diff options
| author | Roman Lebedev <lebedev.ri@gmail.com> | 2019-12-20 00:10:07 +0300 |
|---|---|---|
| committer | Roman Lebedev <lebedev.ri@gmail.com> | 2019-12-20 01:47:57 +0300 |
| commit | 92083a295a02f46ecd168438d2145a0ca3c9b6ec (patch) | |
| tree | 08d4f9b3b037319f874a8afa60597710e3f7ff69 /llvm/lib/Support/CommandLine.cpp | |
| parent | ffcae008d74c2008697211e66a72ff9a20696bc9 (diff) | |
| download | llvm-92083a295a02f46ecd168438d2145a0ca3c9b6ec.zip llvm-92083a295a02f46ecd168438d2145a0ca3c9b6ec.tar.gz llvm-92083a295a02f46ecd168438d2145a0ca3c9b6ec.tar.bz2 | |
[ValueTracking] isValidAssumeForContext(): CxtI itself also must transfer execution to successor
This is a pretty rare case, when CxtI and assume are
in the same basic block, with assume being located later.
We were already checking that assumption was guaranteed to be
executed, but we omitted CxtI itself from consideration,
and as the test (miscompile) shows, that is incorrect.
As noted in D71660 review by @nikic.
Diffstat (limited to 'llvm/lib/Support/CommandLine.cpp')
0 files changed, 0 insertions, 0 deletions