diff options
| author | Sanjay Patel <spatel@rotateright.com> | 2018-02-08 14:52:40 +0000 |
|---|---|---|
| committer | Sanjay Patel <spatel@rotateright.com> | 2018-02-08 14:52:40 +0000 |
| commit | a60aec1ab72ab5df8c72d8c0cb37b823b0b28b7c (patch) | |
| tree | b43a4772b959ab175f41a54bbf4a4d5b6597e662 /lldb/packages/Python/lldbsuite/test/python_api/symbol-context | |
| parent | 2583976e81268250bd53aaaa5914242aaa267bc4 (diff) | |
| download | bcm5719-llvm-a60aec1ab72ab5df8c72d8c0cb37b823b0b28b7c.tar.gz bcm5719-llvm-a60aec1ab72ab5df8c72d8c0cb37b823b0b28b7c.zip | |
[ValueTracking] don't crash when assumptions conflict (PR36270)
The last assume in the test says that %B12 is 0.
The first assume says that %and1 is less than %B12.
Therefore, %and1 is unsigned less than 0...does not compute.
That means this line:
Known.Zero.setHighBits(RHSKnown.countMinLeadingZeros() + 1);
...tries to set more bits than exist.
Differential Revision: https://reviews.llvm.org/D43052
llvm-svn: 324610
Diffstat (limited to 'lldb/packages/Python/lldbsuite/test/python_api/symbol-context')
0 files changed, 0 insertions, 0 deletions
