diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2021-01-16 21:47:01 +0100 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2021-01-17 10:34:35 +0100 |
| commit | b1c2f1282a237e9bc60f1b0020bc7535ca019739 (patch) | |
| tree | 9259102c34902ee52ab0ea72798a98f7ef00cbfb /clang/unittests/Format/FormatTestCSharp.cpp | |
| parent | 3809f4ebabde98bfdc1fdcdad2963a874151820b (diff) | |
| download | llvm-b1c2f1282a237e9bc60f1b0020bc7535ca019739.zip llvm-b1c2f1282a237e9bc60f1b0020bc7535ca019739.tar.gz llvm-b1c2f1282a237e9bc60f1b0020bc7535ca019739.tar.bz2 | |
[BasicAA] Move assumption tracking into AAQI
D91936 placed the tracking for the assumptions into BasicAA.
However, when recursing over phis, we may use fresh AAQI instances.
In this case AssumptionBasedResults from an inner AAQI can reesult
in a removal of an element from the outer AAQI.
To avoid this, move the tracking into AAQI. This generally makes
more sense, as the NoAlias assumptions themselves are also stored
in AAQI.
The test case only produces an assertion failure with D90094
reapplied. I think the issue exists independently of that change
as well, but I wasn't able to come up with a reproducer.
Diffstat (limited to 'clang/unittests/Format/FormatTestCSharp.cpp')
0 files changed, 0 insertions, 0 deletions